| 1 |
Mantığa giriş, argümanlar, sabitler, mantıksal sistemler |
|
|
|
| 2 |
Önermeli mantık |
|
|
|
| 3 |
Birinci-dereceli mantık: cümleler, niceleyiciler, formüller, kümeler |
|
|
|
| 4 |
Birinci-dereceli mantığın anlamı, ilişkiler, fonksiyon sembolleri |
|
|
|
| 5 |
Argümanlar, anlamsal çıkarım ilişkileri |
|
|
|
| 6 |
Tümdengelim, doğruluk ve bütünlülük |
|
|
|
| 7 |
Mantıksal programlamaya giriş, gerçekler, sorgular, değişkenler, yerine-koyma işlemleri, örnekler, kurallar. |
|
|
|
| 8 |
Arasınav |
|
|
|
| 9 |
Prolog programlamaya giriş |
|
|
|
| 10 |
Aritmetik, birleşik terimler |
|
|
|
| 11 |
Üst-mantıksal yüklemler |
|
|
|
| 12 |
Kesmeler ve değililik, kuyruk özyineleme |
|
|
|
| 13 |
Giriş/çıkış, etkileşimli programlar |
|
|
|
| 14 |
Belirleyici olmayan programlama |
|
|
|
| 15 |
Final Sınavı |
|
|
|
