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
• (9.10.2024.) Tehnike dokazivanja. Skupovne operacije
• (17.10.2024.) Kartezijev produkt. Svojstva relacija
• (24.10.2024.) Relacije ekvivalencije i parcijalni uređaji
• (8.11.2024.) Matematička indukcija (dopuna 15.11.2024)

Prezentacije s predavanja M. Bombardelli

• 1. predavanje: Osnove matematičke logike

Prezentacije s vježbi

• 1. Matematička logika
• 2. Tehnike dokazivanja i skupovne operacije
• 3. Kartezijev produkt i pojam relacije
• 4. Relacije ekvivalencije
• 5. Relacije parcijalnog uređaja
• 6. Matematička indukcija I