General information
UML 25/26
Čist predikatski jezik: [pdf]
UML beleške (Teorija skupova - drugi deo): [pdf]
Ispitna pitanja 2025/26: [pdf]
TEST 2
Gradivo: Čist predikatski jezik; Osnovna pravila prirodne dedukcije za predikatsku logiku; Skupovne operacije (partitivni skup, unija, presek, razlika, Dekartov proizvod); Relacije; Funkcije.
1o1 i 1o2 - četvrtak 5. 2. 2026, 13.15-14.00 u učionici 821.
Uvid u radove u petak 6.2.2026. u 14.00 u kabinetu 812.
1o1 - utorak 23. 12. 2025, na prvom času predavanja 12.15-13.00
1o2 - četvrtak 25. 12. 2025, na prvom času predavanja 9.15-10.00
Uvid u radove na pauzi između časova u narednom terminu predavanja.
OSNOVNE INFORMACIJE
Vežbe: Stefan Mitrović
Literatura:
- N. Ikodinović, Uvod u matematičku logiku, Matematički fakultet, Beograd, 2023
- S. Moconja, Uvod u matematičku logiku, zbirka zadataka, Matematički fakultet, Beograd, 2024
Udžbenik se može kupiti u prostoriji 709 (Dekanat, Studentski trg)
https://knjizara.matf.bg.ac.rs/
Ispit
- Pismeni ispit - maksimalno 50 poena; minimalno 26 poena; termini polaganja su određeni rasporedom ispita u ispitnim rokovima koji se objavljuje na sajtu fakulteta;
- Usmeni ispit - 50 poena; termini usmenih ispita se objavljuju na ovoj stranici u odeljku Vesti .
Ispitna pitanja za polaganje usmenog dela ispita biće objavljena na kraju 1. semestra.
Nastava
- Test 1 (sredinom semestra) - maks. 5 poena
- Test 2 (krajem semestra) - maks. 5 poena
Testovi nisu obavezni. Granica za položen pismeni (koja je standardno min. 26 poen od ukupno 50 poena) biće smanjena za zbir poena sa ova dva testa; dodatno, zbir poena sa testova uticaće i na visinu zaključne ocene.
UML 2024/25
Konsultacije iz Uvoda u matematičku logiku biće održavane četvrtkom u 16.00h, u kabinetu 812 tokom avgusta, septembra i oktobra školske 2024/25. godine. Dan pre dolaska na konsultacije treba posetiti Vesti ove veb prezentacije, gde će blagovremeno biti postavljane informacije o eventualnom pomeranju termina za konsultacije.
Ispitna pitanja 2024/25 [pdf]
UML beleške za drugi deo kursa (od početka obustave nastave) [pdf]
Čist predikatski jezik (15.11.2024): [pdf]
TEST 1 (maks. 5 poena) - sreda, 27. novembar 2024. godine, na prvom času predavanja (1o1 -- 10.15-11.00; 1o2 -- 12.15-13.00)
Uvid u radove na pauzi između časova u sredu, 4. 12. 2024.
OSNOVNE INFORMACIJE
Vežbe: Stefan Mitrović
Literatura:
- N. Ikodinović, Uvod u matematičku logiku, Matematički fakultet, Beograd, 2023
- S. Moconja, Uvod u matematičku logiku, zbirka zadataka, Matematički fakultet, Beograd, 2024
Udžbenik se može kupiti u prostoriji 709 (Dekanat, Studentski trg)
https://knjizara.matf.bg.ac.rs/
Ispit
- Pismeni ispit - maksimalno 50 poena; minimalno 26 poena; termini polaganja su određeni rasporedom ispita u ispitnim rokovima koji se objavljuje na sajtu fakulteta;
- Usmeni ispit - 50 poena; termini usmenih ispita se objavljuju na ovoj stranici u odeljku Vesti .
Ispitna pitanja - 2024/25
Nastava
- Test 1 (sredinom semestra) - maks. 5 poena
- Test 2 (krajem semestra) - maks. 5 poena
Testovi nisu obavezni. Granica za položen pismeni (koja je standardno min. 26 poen od ukupno 50 poena) biće smanjena za zbir poena sa ova dva testa; dodatno, zbir poena sa testova uticaće i na visinu zaključne ocene.
Konsultacije
Termin će naknadno biti objavljen.
UML 2023/24
Ispitna pitanja - 2023/24
Termini usmenih ispita se objavljuju u odeljku Vesti .
TEST 2 (maks. 5 poena)- ponedeljak, 25. decembar 2023. godine, na prvom času predavanja (1o2 -- 8.15-9.00; 1o1 -- 10.15-11.00)
Uvid u radove - četvrtak, 28. decembar 2023. godine, u 14.00 (za 1o2) i 15.00 (za 1o1) u zbornici 710.
grupa 1o1 - TEST1o1 Rezultati1o1
grupa 1o2 - TEST1o2 Rezultati1o2
TEST 1 (maks. 5 poena) - ponedeljak, 13. novembar 2023. godine, na prvom času predavanja (1o2 -- 8.15-9.00; 1o1 -- 10.15-11.00)
Uvid u radove - ponedeljak, 20. novembar 2023, na pauzi između časova predavanja
grupa 1o1 - TEST1o1
grupa 1o2 - TEST1o2
Testovi nisu obavezni. Granica za položen pismeni (koja je standardno min. 31 poen od ukupno 60 poena) biće smanjena za zbir poena sa ova dva testa; dodatno, zbir poena sa testova uticaće i na visinu zaključne ocene.
Udžbenik: N. Ikodinović, Uvod u matematičku logiku, Matematički fakultet, Beograd, 2023
Udžbenik se može kupiti u prostoriji 709 (Dekanat, Studentski trg)
https://knjizara.matf.bg.ac.rs/
UML 2022/23
UML-sveska (prazne sve neparne strane, osim prve)
Izmene i dopune:
Predikatske formule - ukratko + vežbanje
Strukture - ukratko (prezentacija)
TEST 2 (maks. 5 poena)
grupa 1o3 - TEST2 1o3 Rezultati1o3
grupa 1o4 - TEST2 1o4 Rezultati1o4
Uvid u radove: 26. 12. 2022.
TEST 1 (maks. 5 poena):
grupa 1o3 - TEST1o3
grupa 1o4 - TEST1o4
Testovi nisu obavezni. Granica za položen pismeni (koja je standardno min. 31 poen od ukupno 60 poena) biće smanjena za zbir poena sa ova dva testa; dodatno, zbir poena sa testova uticaće i na visinu zaključne ocene. TEST 1 biće zasnovan na predavanjima koja mu prethode (UML-beleške, strane 1 - 49; Predikatske formule - ukratko + vežbanje).
UML 2021/22
Prošireni spisak pravila prirodne dedukcije koji se može koristiti na pismenom delu ispita. Studenti će dobiti spisak pravila zajedno sa zadacima.
UML 2020/21
Predavanja - sređene beleške (ažurirano 11.1.2021.)
Spisak aksioma i pravila koji se može koristiti na pismenom ispitu tokom 2020/21
Pismeni deo ispita vredi maksimalno 60 poena. Prag za polaganje pismenog dela ispita određen je prema broju poena dobijenih na domaćim zadacima i naveden je u dokumentu ispod. Kada položi pismeni deo ispita, student može izaći na usmeni u tačno jednom terminu nekog od redovnih ispitnih rokova tokom 2020/21. godine, po sopstvenom izboru.
Usmeni deo ispita vredi najviše 40 poena. Na usmenom delu ispita, pored odgovora na tri slučajno izabrana pitanja, treba uspešno odgovoriti i na pitanja u vezi sa domaćim zadacima (bez obzira da li su predata rešenja domaćih zadataka tokom semestra). Bez obzira na osvojen broj poena na pismenom ispitu, usmeni deo ispita je obavezan i neophodno je dati zadovoljavajuće odgovore na sva pitanja. Nakon neuspešnog polaganja usmenog dela ispita, student ponovo polaže pismeni deo.
Neophodno je da student prijavi ispit u svakom ispitnom roku u kome planira polaganje nekog dela ispita (pismenog, odn. usmenog).
UML 2019/20
Studenti koji pismeni deo ispita iz Uvoda u matematičku logiku polože u Januaru 1, usmeni mogu polagati u jednom od termina zakazanih za januar 1 ili januar 2, ali ne u oba.
Položen pismeni u rokovima januar 1 ili januar 2 ne važi u junu ili septembru.