Lucka
Žoltá
Vyhledávání...
Přejít k obsahu
Přejít na hlavní navigaci a přihlášení
Zobrazit ve vyhledávání navigaci
Navigace
Vyhledávání
Novinky na webu
Pokud ti přišly vhod materiály ke státnicím,
máš možnost mi...
Jste zde:
Home
Základy teoretické informatiky
Rezoluční metoda a logické programování
Hlavní nabídka
Home
Vědnice
Kroužky
Škola hrou
FRI Žilina - DIS
VŠB Ostrava (státnice)
VŠB - FEI
Základy teoretické informatiky
Softwarové inženýrství
Iformační systémy (databaze)
Počítačová grafika
Počítače a sítě
Okruhy SZZ - povinné
Okruhy SZZ - volitelné
Nalezené chyby sem
Ostatní
Poznámky
Android
Rezoluční metoda a logické programování
Počet zobrazení
5
10
15
20
25
30
50
100
Všichni
Titulek
Zobrazení
Obecná rezoluční metoda a logické programování
11434
Matematická logika
3387
Výroková logika (VL)
8752
Logické zákony
4778
Rezoluční pravidlo a algoritmus unifikace v predikátové logice 1. řádu
9958
Predikátová logika I.řádu
8528
Kam dál?