Logika v računalništvu
Predavanja, zapiski, skripte
Algoritem | ||
Boolova algebra | ||
Curry-Howardov izomorfizem | ||
Naravna dedukcija | ||
Predikatni račun | ||
SAT |
Izpostavljene vsebine
HEY: izobraževanje na temo medijske in informacijske pismenosti
Najnovejša gradiva
- Fakulteta za matematiko in fiziko: 3. kolokvij, marec 2016
- Naravoslovnotehniška fakulteta: Geologija kvartarja [02]
- Naravoslovnotehniška fakulteta: Zbitost in vodoprepustnost tal
- Fakulteta za elektrotehniko: Newton-Raphsonova metoda za iskanje minimumov funkcij
- Zdravstvena fakulteta: 1. kolokvij - vprašanja in odgovori