Sztuczna inteligencja/SI Moduł 2 - Od logiki do wnioskowania

Z Studia Informatyczne
< Sztuczna inteligencja
Wersja z dnia 14:37, 27 cze 2006 autorstwa Jarabas (dyskusja | edycje) (Dodatkowe tematy)
(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)
Przejdź do nawigacjiPrzejdź do wyszukiwania
  • Zadanie wnioskowania
  • Składnia języka logiki
  • Semantyka języka logiki
  • System wnioskowania
  • Podstawienia i unifikacja
  • Postaci normalne formuł
Źródło: „https://wazniak.mimuw.edu.pl/index.php?title=Sztuczna_inteligencja/SI_Moduł_2_-_Od_logiki_do_wnioskowania&oldid=2547”

Menu nawigacyjne

Działania na stronie

  • Strona
  • Dyskusja
  • Czytaj
  • Kod źródłowy
  • Historia

Opcje strony

  • Strona
  • Dyskusja
  • Więcej
  • Narzędzia

Narzędzia osobiste

  • Zaloguj się

Nawigacja

  • Strona główna
  • Przedmioty
  • Uczelnie
  • O nas
  • MIMINF
  • MIMMAT

Narzędzia

  • Linkujące
  • Zmiany w linkowanych
  • Strony specjalne
  • Wersja do druku
  • Link do tej wersji
  • Informacje o tej stronie
Powered by MediaWiki
  • Tę stronę ostatnio edytowano 27 cze 2006, 14:37.
  • Polityka prywatności
  • O Studia Informatyczne
  • Informacje prawne