Logika v računalništvu
Predavanja, zapiski, skripte
| Algoritem | ||
| Boolova algebra | ||
| Curry-Howardov izomorfizem | ||
| Naravna dedukcija | ||
| Predikatni račun | ||
| SAT | ||
Izpostavljene vsebine
Subvencionirano bivanje v študentski hiši Srce
Najnovejša gradiva
- Visoka šola za storitve Ljubljana: Lipodetoks, body wrapping
- Fakulteta za matematiko in fiziko: 2. kolokvij, januar 2016
- Naravoslovnotehniška fakulteta: Fizikalno mehanske lastnosti zemljin
- Naravoslovnotehniška fakulteta: Zbitost in vodoprepustnost tal
- Fakulteta za elektrotehniko: Newton-Raphsonova metoda za iskanje minimumov funkcij