Lucka Žoltá


  • 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...

Poděkovat za vypracované materily
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í 
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?
  • *
  • -

Vytvořeno pomocí Joomla!®