Опште информације
УМЛ 25/26
Чист предикатски језик: [pdf]
УМЛ белешке (Теорија скупова - други део): [pdf]
Испитна питања 2025/26: [pdf]
ТЕСТ 2
Градиво: Чист предикатски језик; Основна правила природне дедукције за предикатску логику; Скуповне операције (партитивни скуп, унија, пресек, разлика, Декартов производ); Релације; Функције.
1о1 и 1о2 - четвртак 5. 2. 2026, 13.15-14.00 у учионици 821.
Увид у радове у петак 6.2.2026. у 14.00 у кабинету 812.
1о1 - уторак 23. 12. 2025, на првом часу предавања 12.15-13.00
1о2 - четвртак 25. 12. 2025, на првом часу предавања 9.15-10.00
Увид у радове на паузи између часова у наредном термину предавања.
ОСНОВНЕ ИНФОРМАЦИЈЕ
Вежбе: Стефан Митровић
Литература:
- Н. Икодиновић, Увод у математичку логику, Математички факултет, Београд, 2023
- С. Моцоња, Увод у математичку логику, збирка задатака, Математички факултет, Београд, 2024
Уџбеник се може купити у просторији 709 (Деканат, Студентски трг)
https://knjizara.matf.bg.ac.rs/
Испит
- Писмени испит - максимално 50 поена; минимално 26 поена; термини полагања су одређени распоредом испита у испитним роковима који се објављује на сајту факултета;
- Усмени испит - 50 поена; термини усмених испита се објављују на овој страници у одељку Vesti .
Испитна питања за полагање усменог дела испита биће објављена на крају 1. семестра.
Настава
- Тест 1 (средином семестра) - макс. 5 поена
- Тест 2 (крајем семестра) - макс. 5 поена
Тестови нису обавезни. Граница за положен писмени (која је стандардно мин. 26 поен од укупно 50 поена) биће смањена за збир поена са ова два теста; додатно, збир поена са тестова утицаће и на висину закључне оцене.
УМЛ 2024/25
Консултације из Увода у математичку логику биће одржаване четвртком у 16.00h, у кабинету 812 током августа, септембра и октобра школске 2024/25. године. Дан пре доласка на консултације треба посетити Вести ове веб презентације, где ће благовремено бити постављане информације о евентуалном померању термина за консултације.
Испитна питања 2024/25 [pdf]
УМЛ белешке за други део курса (од почетка обуставе наставе) [pdf]
Чист предикатски језик (15.11.2024): [pdf]
ТЕСТ 1 (макс. 5 поена) - среда, 27. новембар 2024. године, на првом часу предавања (1о1 -- 10.15-11.00; 1о2 -- 12.15-13.00)
Увид у радове на паузи између часова у среду, 4. 12. 2024.
ОСНОВНЕ ИНФОРМАЦИЈЕ
Вежбе: Стефан Митровић
Литература:
- Н. Икодиновић, Увод у математичку логику, Математички факултет, Београд, 2023
- С. Моцоња, Увод у математичку логику, збирка задатака, Математички факултет, Београд, 2024
Уџбеник се може купити у просторији 709 (Деканат, Студентски трг)
https://knjizara.matf.bg.ac.rs/
Испит
- Писмени испит - максимално 50 поена; минимално 26 поена; термини полагања су одређени распоредом испита у испитним роковима који се објављује на сајту факултета;
- Усмени испит - 50 поена; термини усмених испита се објављују на овој страници у одељку Vesti .
Испитна питања - 2024/25
Настава
- Тест 1 (средином семестра) - макс. 5 поена
- Тест 2 (крајем семестра) - макс. 5 поена
Тестови нису обавезни. Граница за положен писмени (која је стандардно мин. 26 поен од укупно 50 поена) биће смањена за збир поена са ова два теста; додатно, збир поена са тестова утицаће и на висину закључне оцене.
Консултације
Термин ће накнадно бити објављен.
УМЛ 2023/24
Испитна питања - 2023/24
Термини усмених испита се објављују у одељку Vesti .
ТЕСТ 2 (макс. 5 поена)- понедељак, 25. децембар 2023. године, на првом часу предавања (1о2 -- 8.15-9.00; 1о1 -- 10.15-11.00)
Увид у радове - четвртак, 28. децембар 2023. године, у 14.00 (за 1о2) и 15.00 (за 1о1) у зборници 710.
група 1о1 - ТЕСТ1о1 Резултати1о1
група 1о2 - ТЕСТ1о2 Резултати1о2
ТЕСТ 1 (макс. 5 поена) - понедељак, 13. новембар 2023. године, на првом часу предавања (1о2 -- 8.15-9.00; 1о1 -- 10.15-11.00)
Увид у радове - понедељак, 20. новембар 2023, на паузи између часова предавања
група 1о1 - ТЕСТ1о1
група 1о2 - ТЕСТ1о2
Тестови нису обавезни. Граница за положен писмени (која је стандардно мин. 31 поен од укупно 60 поена) биће смањена за збир поена са ова два теста; додатно, збир поена са тестова утицаће и на висину закључне оцене.
Уџбеник: Н. Икодиновић, Увод у математичку логику, Математички факултет, Београд, 2023
Уџбеник се може купити у просторији 709 (Деканат, Студентски трг)
https://knjizara.matf.bg.ac.rs/
УМЛ 2022/23
УМЛ-свеска (празне све непарне стране, осим прве)
Измене и допуне:
Предикатске формуле - укратко + вежбање
Структуре - укратко (презентација)
ТЕСТ 2 (макс. 5 поена)
група 1о3 - ТЕСТ2 1о3 Резултати1о3
група 1о4 - ТЕСТ2 1о4 Резултати1о4
Увид у радове: 26. 12. 2022.
ТЕСТ 1 (макс. 5 поена):
група 1о3 - ТЕСТ1о3
група 1о4 - ТЕСТ1о4
Тестови нису обавезни. Граница за положен писмени (која је стандардно мин. 31 поен од укупно 60 поена) биће смањена за збир поена са ова два теста; додатно, збир поена са тестова утицаће и на висину закључне оцене. ТЕСТ 1 биће заснован на предавањима која му претходе (УМЛ-белешке, стране 1 - 49; Предикатске формуле - укратко + вежбање).
УМЛ 2021/22
Проширени списак правила природне дедукције који се може користити на писменом делу испита. Студенти ће добити списак правила заједно са задацима.
УМЛ 2020/21
Предавања - сређене белешке (ажурирано 11.1.2021.)
Списак аксиома и правила који се може користити на писменом испиту током 2020/21
Писмени део испита вреди максимално 60 поена. Праг за полагање писменог дела испита одређен је према броју поена добијених на домаћим задацима и наведен је у документу испод. Када положи писмени део испита, студент може изаћи на усмени у тачно једном термину неког од редовних испитних рокова током 2020/21. године, по сопственом избору.
Усмени део испита вреди највише 40 поена. На усменом делу испита, поред одговора на три случајно изабрана питања, треба успешно одговорити и на питања у вези са домаћим задацима (без обзира да ли су предата решења домаћих задатака током семестра). Без обзира на освојен број поена на писменом испиту, усмени део испита је обавезан и неопходно је дати задовољавајуће одговоре на сва питања. Након неуспешног полагања усменог дела испита, студент поново полаже писмени део.
Неопходно је да студент пријави испит у сваком испитном року у коме планира полагање неког дела испита (писменог, одн. усменог).
UML 2019/20
Студенти који писмени део испита из Увода у математичку логику положе у Јануару 1, усмени могу полагати у једном од термина заказаних за јануар 1 или јануар 2, али не у оба.
Положен писмени у роковима јануар 1 или јануар 2 не важи у јуну или септембру.