Logika v računalništvu
Predavanja, zapiski, skripte
| Algoritem | ||
| Boolova algebra | ||
| Curry-Howardov izomorfizem | ||
| Naravna dedukcija | ||
| Predikatni račun | ||
| SAT | ||
Izpostavljene vsebine
Odkrij svojo prihodnost na Fakulteti za varnostne vede v Ljubljani
Najnovejša gradiva
- Fakulteta za matematiko in fiziko: 3. kolokvij, april 2015 [02] - rešitve
- Fakulteta za matematiko in fiziko: 2. kolokvij, januar 2017
- Zdravstvena fakulteta: 1. kolokvij - vprašanja in odgovori
- Fakulteta za računalništvo in informatiko: Avditorne vaje 2004/2005 [03] - rešitve
- Fakulteta za računalništvo in informatiko: Pisni izpit, junij 2002