Logika v računalništvu
Predavanja, zapiski, skripte
| Algoritem | ||
| Boolova algebra | ||
| Curry-Howardov izomorfizem | ||
| Naravna dedukcija | ||
| Predikatni račun | ||
| SAT | ||
Izpostavljene vsebine
To izpitno obdobje lahko z lahko premagaš in #zmagaš
Najnovejša gradiva
- Fakulteta za matematiko in fiziko: 1. kolokvij, december 2014 [01]
- Naravoslovnotehniška fakulteta: Geologija kvartarja [01]
- Naravoslovnotehniška fakulteta: Konsolidacija
- Fakulteta za strojništvo: Inkonel - zlitine na osnovi niklja
- Fakulteta za računalništvo in informatiko: Avditorne vaje 2004/2005 [03] - rešitve