Logika v računalništvu
Predavanja, zapiski, skripte
Algoritem | ||
Boolova algebra | ||
Curry-Howardov izomorfizem | ||
Naravna dedukcija | ||
Predikatni račun | ||
SAT |
Izpostavljene vsebine
Solidarnost med mladimi: projekt Ni nam ravno
Najnovejša gradiva
- Fakulteta za matematiko in fiziko: Pisni izpit, september 2015 [01]
- Fakulteta za matematiko in fiziko: 4. kolokvij, april 2015
- Fakulteta za matematiko in fiziko: 1. kolokvij, november 2016
- Naravoslovnotehniška fakulteta: Filtracija vode skozi tla
- Fakulteta za elektrotehniko: Vprašanja in odgovori [02]