Uvod u matematičku logiku

Nebojša Ikodinović: Uvod u matematičku logiku (preporučeni udžbenik)
Slavko Moconja: Uvod u matematičku logiku (zbirka zadataka)

Nebojša Ikodinović: Uvod u matematičku logiku (skripta)
Zoran Petrić: Uvod u matematičku logiku (skripta)

Predavanja
Neprebrojivost realnih brojeva
Ekvivalenti aksiome izbora

Obaveze na kursu

Zadaci za vežbe (dokument će biti dopunjavan u toku semestra)
Spisak pravila prirodne dedukcije (studenti mogu da imaju ovaj ili ekvivalentan spisak na pismenom ispitu)

Asistent: Aleksandar Maksimović

Termini provera temeljnih znanja:

• prva provera, grupa 1o3: 26. novembar u 9h, učionica 840;
• prva provera, grupa 1o4: 23. novembar u 13h, učionica N251;
• druga provera, grupa 1o3: 21. januar u 9h, učionica 840;
• druga provera, grupa 1o4: 18. januar u 13h, učionica N251.