Logika v računalništvu
Predavanja, zapiski, skripte
| Algoritem | ||
| Boolova algebra | ||
| Curry-Howardov izomorfizem | ||
| Naravna dedukcija | ||
| Predikatni račun | ||
| SAT | ||
Izpostavljene vsebine
Ne zamudite roka: prijava v študentski dom je možna do 18. avgusta
Najnovejša gradiva
- Fakulteta za matematiko in fiziko: Pisni izpit, junij 2015 [01]
- Fakulteta za matematiko in fiziko: Pisni izpit, september 2015 [01]
- Fakulteta za matematiko in fiziko: Pisni izpit, september 2015 [02] - rešitve
- Naravoslovnotehniška fakulteta: Fizikalno mehanske lastnosti zemljin
- Fakulteta za strojništvo: Inkonel - zlitine na osnovi niklja