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 nawigacji
Przejdź do wyszukiwania
Zadanie wnioskowania
Składnia języka logiki
Semantyka języka logiki
System wnioskowania
Podstawienia i unifikacja
Postaci normalne formuł
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
Szukaj
Narzędzia
Linkujące
Zmiany w linkowanych
Strony specjalne
Wersja do druku
Link do tej wersji
Informacje o tej stronie