University of Belgrade
Faculty of Mathematics
Department of Algebra and Logic
e-mail: x@y where x=slavko and y=matf.bg.ac.rs
office: 812
Grčki alfabet
Matematička indukcija [UML i DS1]
Iskazna logika [UML i DS1]
Skupovi [UML i DS1]
Binarne relacije [UML i DS1]
Funkcije [UML i DS1]
Poređenje kardinalnosti [UML i DS1]
Elementarna aritmetika [DS1]
Nebojša Ikodinović: Uvod u matematičku logiku (preporučeni udžbenik)
Slavko Moconja: Uvod u matematičku logiku (zbirka zadataka)
Sadržaj zbirke
Nebojša Ikodinović: Uvod u matematičku logiku (skripta)
Zoran Petrić: Uvod u matematičku logiku (skripta)
Nebojša Ikodinović, Slavko Moconja: Logika (radna verzija knjige)
Nebojša Ikodinović: Matematička logika u računarstvu (skripta)
Slajdovi
Zadaci za pismeni - deo iskazna logika
Zadaci za pismeni - deo elementarna teorija brojeva
Po dogovoru putem mejla.