• SKRIPTA ZA PREDAVANJA
• SKRIPTA ZA VJEŽBE - skripta je tijekom semestra kontinuirano u izradi i svaki tjedan će biti ažurirana materijalima za taj tjedan. U nastavku je popis izmjena:​​​​​​
  • (3.10.2024.) Logički veznici, Predikati i kvantifikatori

Prezentacije s predavanja M. Bombardelli

• 1. predavanje: Osnove matematičke logike

Prezentacije s vježbi

• 1. vježbe: Matematička logika