Logika v računalništvu
Predavanja, zapiski, skripte
Algoritem | ||
Boolova algebra | ||
Curry-Howardov izomorfizem | ||
Naravna dedukcija | ||
Predikatni račun | ||
SAT |
Izpostavljene vsebine
Ministrstvo povečuje število štipendij za študente pedagogike
Najnovejša gradiva
- Fakulteta za matematiko in fiziko: 2. kolokvij, januar 2015 [02] - rešitve
- Fakulteta za matematiko in fiziko: Pisni izpit, avgust 2015 [01]
- Fakulteta za matematiko in fiziko: 5. kolokvij, maj 2015
- Naravoslovnotehniška fakulteta: Geologija kvartarja [04]
- Fakulteta za računalništvo in informatiko: Pisni izpit, junij 2002