I smer, 4. godina - školska 2020/2021. godina - letnji semestar

Nastavnik: Filip Marić Asistenti: Sana Stojanović-Đurđević, Milena Stojic

Nastava u 2022. godini

Nastava će se održavati onlajn sredom od 11:15 do 13h putem platforme Cisco Webex (link za pristup predavanjima je https://matf.webex.com/meet/filip).

Neki primeri sa predavanja: 2021. godina

• Kantorova teorema
• Rad sa brojevima
• Kriterijum deljivosti brojem 11
• Binarna pretraga - primer verifikacije algoritma
• Najmanji broj koji nije zbir nekog podskupa datog skupa - primer verifikacije algoritma

Video snimci:

• Proces formalizacije: osnovni pregled
• Dva pristupa dokazivanju: Isar i prirodna dedukcija
• Prirodna dedukcija: klasična pravila
• Prirodna dedukcija: logika prvog reda
• Prirodna dedukcija: logika prvog reda - vežbanje
• Isar: logika
• Isar: skupovi, funkcije
• Isar: brojevi
• Isar: indukcija
• Zasnivanje prirodnih brojeva (1), Zasnivanje prirodnih brojeva (2)
• Liste
• Binarna drveta
• Opšta rekurzija: Pow, Opšta rekurzija: NZD

Predavanja: 2020. godina

Studenti zainteresovani za onlajn konsultacije se mogu javiti mejlom.

• Čas 2
• Čas 3
• Čas 4
• Čas 5
• Čas 6
• Čas 7 (Video 1, Video 2)
• Čas 8 (Video 1, Video 2, Video 3)
• Čas 9 (Video 1)
• Čas 10 (Video 1)
• Čas 11 (Video 1, Video 2)
• Čas 12 (Video 1)

Literatura

• Tema 1 - iskazna i predikatska logika u jeziku Isar (thy)
• Tema 2 - iskazna i predikatska logika - prirodna dedukcija (thy)
• Tema 3 - skupovi, funkcije (thy)
• Tema 4 - algebarski tipovi podataka - primer binarnih drveta (thy)
• Tema 5 - funkcionalno programiranje (thy)
• Tema 6 - verifikacija algoritama (thy)
• Tema 7 - neke moguće teme za seminarske radove (thy)