Geri Dön

Modal lojik ve uygulamaları

Modal logic and its applications

  1. Tez No: 169629
  2. Yazar: BERNİS ÖZGÖNÜL
  3. Danışmanlar: PROF.DR. MEHMET TERZİLER
  4. Tez Türü: Yüksek Lisans
  5. Konular: Matematik, Mathematics
  6. Anahtar Kelimeler: Bisimülasyon, izomorfîzma, ayrık birleşim, doğurulmuş altmodel, sınırlı morfizmalar, modal benzerlik tipi, model, Bisimulations, isomorphism, disjoint union, generated submodel, bounded morphisms, modal similarity type, model
  7. Yıl: 2005
  8. Dil: Türkçe
  9. Üniversite: Ege Üniversitesi
  10. Enstitü: Fen Bilimleri Enstitüsü
  11. Ana Bilim Dalı: Matematik Ana Bilim Dalı
  12. Bilim Dalı: Belirtilmemiş.
  13. Sayfa Sayısı: 74

Özet

ÖZET MODAL LO JİK VE UYGULAMALARI ÖZGÖNÜL, Bernis Yüksek Lisans Tezi, Matematik Bölümü Tez Yöneticisi: Prof. Dr. Mehmet TERZİLER 22 Kasım 2005, 63 sayfa Giriş ve Ön Bilgiler bölümleri dışında bu tez esas olarak bir bölümden oluşmaktadır. Tezde esas geçen sonuçlan (Blackburn, 2001)de bulunabilir. Sonuçlar örneklerle zenginleştirilmiştir. 3. Kesimde bisimülasyonlann tanımı önce temel modal dil için verilmiştir ve tanım örnekle desteklenmiştir. Daha sonra bisimülasyon tanımı genellenmiştir. Modal formüllerin, bisimülasyon altında invaryant olduğu gösterilmiştir ve örnekle peMştMlmiştir. Son olarak bisimülasyonlann temel temporal dil için yorumu ve bisimülasyohlar cebiri incelenmiştir.

Özet (Çeviri)

VII ABSTRACT MODAL LOGIC AND ITS APPLICATIONS ÖZGÖNÜL, Bemis MSc in Mathematics Department Supervisor: Prof. Dr. Mehmet TERZİLER November 22, 2005, 63 pages In addition to Introduction and Preliminaries, the thesis consists essentially of one sections. Almost all results that occur in the thesis can be found in (Blackburn, 2001), those results are illustrated by examples. In Section 3, bisimulations are firstly defined for modal language and the definition is illustrated by examples. Then the definition of bisimulations are generalized. It is proved mat modal formulas are invariant under bisimulations. The definition of being image-finite, Hennessy-Milner theorem, and its proof are given. Finally, bisimulations for the Basic Temporal language and the algebra of bisimulations are researched.

Benzer Tezler

  1. Fuzzy lojik ve uygulamaları

    Başlık çevirisi yok

    NECDET TAŞKIN

    Yüksek Lisans

    Türkçe

    Türkçe

    1992

    Elektrik ve Elektronik MühendisliğiKaradeniz Teknik Üniversitesi

    Elektrik-Elektronik Mühendisliği Ana Bilim Dalı

    YRD. DOÇ. DR. RIFAT YAZICI

  2. Probalistic argumentation systems entity-transitive relation-implication model and document ranking as an efficient application

    Olasılıksal muhakeme (argümanlama) sistemleri nesne-geçişsel ilişki-gerektirme modeli ve verimli uygulamaları

    BURAK ÇETİN

    Yüksek Lisans

    İngilizce

    İngilizce

    2005

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolBoğaziçi Üniversitesi

    Bilgisayar Mühendisliği Ana Bilim Dalı

    DR. HALUK BİNGÖL

  3. Implementations of novel cellular nonlinear and cellular logic networks and their applications

    Yeni hücresel doğrusal olmayan ve hücresel lojik ağların gerçeklemeleri ve uygulamaları

    RAMAZAN YENİÇERİ

    Doktora

    İngilizce

    İngilizce

    2015

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik Üniversitesi

    Elektronik ve Haberleşme Mühendisliği Ana Bilim Dalı

    PROF. DR. MÜŞTAK ERHAN YALÇIN

  4. VHDL ile lojik devre tasarımı ve DSP uygulamaları için çarpma bloklarının modellenmesi

    Başlık çevirisi yok

    SIDDIKA BERNA ÖRS

    Yüksek Lisans

    Türkçe

    Türkçe

    1998

    Elektrik ve Elektronik Mühendisliğiİstanbul Teknik Üniversitesi

    Elektronik ve Haberleşme Mühendisliği Ana Bilim Dalı

    PROF. DR. AHMET DERVİŞOĞLU

  5. Simulation of fpga-based image processing system for quality control and palletization applications

    Kalıte kontrol ve paletleme uygulamaları ıçın fpga tabanlı görüntü ışleme sıstemı sımülasyonu

    ABUBAKAR ASHİR

    Yüksek Lisans

    İngilizce

    İngilizce

    2014

    Elektrik ve Elektronik MühendisliğiMevlana Üniversitesi

    Elektrik-Elektronik Mühendisliği Ana Bilim Dalı

    YRD. DOÇ. DR. MOHAMMAD SHUKRI SALMAN

    PROF. DR. ATEF ABDELMONEIM ATA