BİL132

School of Engineering \ Computer Engineering

3

6

Compulsory

Turkish

-

Computer Engineering
Artificial Intelligence Engineering

Fundamentals of logic, propositional logic, first-order logic, logical inference, proof techniques, set theory, induction and recursion, number theory, modular arithmetic, relations and functions.

1. Ayrık Matematik ve Uygulamaları, Discrete Mathematics and its applications 7. Baskıdan çeviri. : Ömer Akın, Murat Özbayoğlu, Palme Yayıncılık, 2015
2. Discrete Mathematics and its applications, 5th, 6th veya 7th ed. : Kenneth H. Rosen, McGraw Hill, 2011
3. Logic in Computer Science Modelling and Reasoning about Systems, Michael Huth, Mark Ryan (Chapter 1-Chapter 2.1-2.3)

Learn the fundamentals of logic and logical inference, the fundamentals of sets and functions, mathematical reasoning and the fundamentals of mathematical induction, the fundamentals of relations and their properties, and study counting problems.

1. Learn fundamentals of logic and logical inference.
2. Learn mathematical thinking,the ability to establish cause-and-effect relationships, and the foundations of induction.
3. Learn the fundamentals and properties of set theory, functions, number theory, and relations.

Week 1: Foundations of set theory
Week 2: Foundations of logic
Week 3: Propositional logic
Week 4: Predicate logic
Week 5: Logical inference
Week 6: Proof techniques
Week 7: Functions, induction
Week 8: Induction, strong induction
Week 9: Introduction to number theory, modular arithmetic
Week 10: Pigeonhole principle
Week 11: Relations
Week 12: Recursive relations