Dersin Adı Dersin Seviyesi Dersin Kodu Dersin Tipi Dersin Dönemi Yerel Kredi AKTS Kredisi Ders Bilgileri
FORMAL METHODS & SPECIFICATIONS Birinci Düzey YZ 308 Zorunlu 6 5.00 5.00 Yazdır
   
Dersin Tanımı
Ön Koşul Dersleri
Eğitimin Dili
Koordinatör DR. ÖĞR. ÜYESİ BİLGE KAĞAN DEDETÜRK
Dersi Veren Öğretim Eleman(lar)ı
Yardımcı Öğretim Eleman(lar)ı
Dersin Veriliş Şekli Formal education
Dersin Amacı The objective of this course is to provide students with the mathematical foundations of computer science and the practical skills through the study of automata theory, formal languages, logic, formal modeling and verification. It aims to bridge mathematical logic and automata theory with modern engineering practices by combining theoretical analysis with hands-on laboratory applications.
Dersin Tanımı This course explores the theoretical limits of computation and the practical application of formal verification methods. Key topics include theoretical study of Finite Automata, Regular Expressions, Context-Free Grammars, Pushdown Automata, and Turing Machines, alongside temporal logic and model checking methodologies. By combining manual proof techniques with experimental analysis in a laboratory setting, students learn to navigate the complexities of system design while ensuring functional correctness and reliability.

Dersin İçeriği
1 Basic Information and Propositional Logic
2 Finite Automata (DFA & NFA) and Transition Graphs
3 Regular Expressions and Klenee''s Theorem
4 Application-(DFA/NFA Transformation and Complex RE Writing)
5 Finite Automata with Output, Regular Languages ​​and Nonregular Languages
6 Trees, Regular Grammars and Context-Free Grammars
7 Normal Forms and Predicate Logic
8 Application-CNF Transformation and Parse Tree
9 Pushdown Automata, CFG and PDA Equivalence
10 Context-Free Languages and Non-Context-Free Languages
11 Application-(PDA Design and "Non-CFL" Proof Practice with Pumping Lemma)
12 Turing Machines
13 Temporal Logic
14 Model Checking and Verification
15 Application-(Writing LTL/CTL Formulas and Validating Protocols with Model Checker)
16
17
18
19
20

Dersin Öğrenme Çıktıları
1 Applies mathematical logic and set theory to solve problems in propositional and predicate logic.
2 Designs and transforms Finite Automata (DFA/NFA) and formulates equivalent Regular Expressions using simulation software.
3 Constructs Context-Free Grammars and applies Chomsky Normal Form (CNF) transformations and parse tree analyses using modern informatics tools.
4 Develops Pushdown Automata (PDA) and conducts applied proofs (Pumping Lemma) via experimental simulation environments.
5 Models complex computational processes using Turing Machines to evaluate the boundaries of computability.
6 Formulates system specifications using Temporal Logic (LTL/CTL) for formal verification.
7 Validates the correctness of system protocols and LTL/CTL formulas using model checking techniques and tools.
8 Solves complex engineering problems independently by selecting and applying appropriate software tools for formal methods.
9
10

*Dersin Program Yeterliliklerine Katkı Seviyesi
1 Applies engineering knowledge related to mathematics, science, basic engineering, and computer-based calculations to solve engineering problems.
2 Gains the ability to develop engineering solutions using discipline-specific knowledge and methods.
3 Defines complex engineering problems and formulates them using fundamental science and engineering knowledge.
4 Defines and analyzes solutions to problems, taking into account the UN Sustainable Development Goals.
5 Designs creative solutions to complex engineering problems.
6 Gains the ability to design complex systems, processes, devices, or products by considering realistic constraints in the engineering problem-solving process.
7 For the analysis and solution of complex engineering problems, selects and effectively applies appropriate methods, techniques, resources, and modern engineering and computing tools, including estimation and modeling.
8 Aware of the limitations of the methods, techniques, and IT tools used, it produces and implements appropriate solutions.
9 Conducts literature research to examine complex engineering problems and collects data within the scope of these studies.
10 Using research methods, the student designs and conducts experimental or applied studies, analyze and evaluate the results.
11 Within the scope of the UN Sustainable Development Goals, the student is knowledgeable about the impacts of engineering solutions on society, health and safety, the economy, sustainability, and the environment, and analyze these impacts.
12 Gains awareness of the legal consequences of engineering solutions.
13 The student acts in accordance with professional principles and legal regulations in engineering practice and acquires knowledge about ethical responsibilities.
14 Gains awareness about non-discrimination, impartiality, and inclusiveness of diversity.
15 Gains the ability to work effectively as an individual, team member, or team leader in intra-disciplinary or multi-disciplinary team projects.
16 Gains the ability to communicate effectively in technical matters, both verbally and in writing by taking into account the differences in the target audience''s education, language, and profession.
17 Gains the ability to apply project management principles, perform time and resource planning, and conduct economic feasibility analysis.
18 Gains awareness about entrepreneurship and innovation.
19 Gains the ability to adapt to new and emerging technologies and to evaluate technological changes with a questioning and critical perspective.
20 Gains the ability to independently and continuously learn new knowledge and skills.
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
Yıldızların sayısı 1’den (en az) 5’e (en fazla) kadar katkı seviyesini ifade eder

Planlanan Öğretim Faaliyetleri, Öğretme Metodları ve AKTS İş Yükü
  Sayısı Süresi (saat) Sayı*Süre (saat)
Yüz yüze eğitim 0 0 0
Sınıf dışı ders çalışma süresi (ön çalışma, pekiştirme) 0 0 0
Ödevler 0 0 0
Sunum / Seminer hazırlama 0 0 0
Kısa sınavlar 0 0 0
Ara sınavlara hazırlık 0 0 0
Ara sınavlar 0 0 0
Proje (Yarıyıl ödevi) 0 0 0
Laboratuvar 0 0 0
Arazi çalışması 0 0 0
Yarıyıl sonu sınavına hazırlık 0 0 0
Yarıyıl sonu sınavı 0 0 0
Araştırma 0 0 0
Toplam iş yükü     0
AKTS     0.00

Değerlendirme yöntemleri ve kriterler
Yarıyıl içi değerlendirme Sayısı Katkı Yüzdesi
Ara sınav 0 0
Kısa sınav 0 0
Ödev 0 0
Yarıyıl içi toplam   0
Yarıyıl içi değerlendirmelerin başarıya katkı oranı   0
Yarıyıl sonu sınavının başarıya katkı oranı   0
Genel toplam   0

Önerilen Veya Zorunlu Okuma Materyalleri
Ders kitabı
Yardımcı Kaynaklar

Ders İle İlgili Dosyalar