Logika v računalništvu
Predavanja, zapiski, skripte
| Algoritem | ||
| Boolova algebra | ||
| Curry-Howardov izomorfizem | ||
| Naravna dedukcija | ||
| Predikatni račun | ||
| SAT | ||
Izpostavljene vsebine
Podaljšan rok za prijavo na Fulbright raziskovalno gostovanje v ZDA
Najnovejša gradiva
- Fakulteta za matematiko in fiziko: 2. kolokvij, december 2014
- Fakulteta za matematiko in fiziko: 1. kolokvij, november 2014
- Naravoslovnotehniška fakulteta: Geologija kvartarja [01]
- Fakulteta za elektrotehniko: Vprašanja in odgovori [02]
- Fakulteta za elektrotehniko: Newton-Raphsonova metoda za iskanje minimumov funkcij