Logika v računalništvu
Predavanja, zapiski, skripte
Algoritem | ||
Boolova algebra | ||
Curry-Howardov izomorfizem | ||
Naravna dedukcija | ||
Predikatni račun | ||
SAT |
Izpostavljene vsebine
Čas je za oddajo prošnje za bivanje v študentskih domovih
Najnovejša gradiva
- Fakulteta za matematiko in fiziko: Pisni izpit, september 2015 [02] - rešitve
- Fakulteta za matematiko in fiziko: 3. kolokvij, marec 2016
- Fakulteta za strojništvo: Inkonel - zlitine na osnovi niklja
- Fakulteta za računalništvo in informatiko: Avditorne vaje 2004/2005 [03] - rešitve
- Fakulteta za računalništvo in informatiko: Pisni izpit, junij 2002