Materijal iz predikatske logike i online predavanja

U prilogu je materijal iz predikatske logike. Mole se studenti da pročitaju dio vazan za predstavljanje znanja u predikatskoj logici, do Zaključivanje u predikatskoj logici, i da pripreme eventualna pitanja za predavanje koje će biti održano u srijedu, 15.04. sa početkom u 17:00 časova. Link na predavanje je https://zoom.us/j/91023909153?pwd=N3lWV1c5R2FXUExhWkhsdWVRaDFDQT09. Šifra za pristup predavanju je 012254.