Ders Kitabı:
|
1) |
Grünberg, T., Sembolik Mantık El Kitabı, Cilt 1, ODTÜ Yayıncılık, Ankara, 2001 |
Konular:
|
1) |
Önermeler mantığı: Alıştırmalar |
|
2) |
Değişkenler, Niceleyiciler, Niceleme mantığının dili: Alıştırmalar |
|
3) |
Formüllerin informel anlamları, Basit
sembolleştirme ve çeviriler:
Alıştırmalar |
|
4) |
Serbest ve bağlı değişkenler, Yerdeğiştirim, Çözümleyici çizelge kuralları, Basit teoremler: Alıştırmalar 1, Alıştırmalar 2 |
|
5) |
Çözümleyici çizelge yöntemi (devam)
Alıştırmalar |
|
6) |
Çoklu yüklemler mantığı:
Alıştırmalar |