Wkład użytkownika Rbiedrzy
Z Studia Informatyczne
Wyniki dla użytkownika Rbiedrzy dyskusja blokady przesłane pliki rejestry
Użytkownik(-czka) wykonał(a) 43 edycje. Konto utworzone 24 lip 2006.
6 paź 2006
- 13:3513:35, 6 paź 2006 różn. hist. −281 Sztuczna inteligencja/SI Moduł 3 - Wnioskowanie w PROLOG-u →Mechanizm odcięcia. Uproszczenie member
- 13:3013:30, 6 paź 2006 różn. hist. −72 Sztuczna inteligencja/SI Moduł 3 - Wnioskowanie w PROLOG-u →Rezolucja i unifikacja w PROLOGu. Uproszczenie member
- 13:1213:12, 6 paź 2006 różn. hist. +332 Sztuczna inteligencja/SI Moduł 3 - Wnioskowanie w PROLOG-u →Predykat member. Uproszeczenie predykatu, wprowadzenie _
- 12:4512:45, 6 paź 2006 różn. hist. +1 m Sztuczna inteligencja/SI Moduł 5 - Wnioskowanie jako metoda przeszukiwania →Wprowadzenie ostatnia
- 12:4412:44, 6 paź 2006 różn. hist. +1 m Sztuczna inteligencja/SI Moduł 3 - Wnioskowanie w PROLOG-u →Predykaty użytkownika
28 wrz 2006
- 12:0412:04, 28 wrz 2006 różn. hist. −247 Sztuczna inteligencja/SI Moduł 5 - Wnioskowanie jako metoda przeszukiwania →Sterowanie wnioskowaniem w przód
- 11:5911:59, 28 wrz 2006 różn. hist. +83 m Sztuczna inteligencja/SI Moduł 5 - Wnioskowanie jako metoda przeszukiwania →Wprowadzenie
- 11:5311:53, 28 wrz 2006 różn. hist. +125 Sztuczna inteligencja/SI Moduł 3 - Wnioskowanie w PROLOG-u →Mechanizm odcięcia
- 11:4611:46, 28 wrz 2006 różn. hist. +24 m Sztuczna inteligencja/SI Moduł 3 - Wnioskowanie w PROLOG-u →Rezolucja i unifikacja w PROLOGu więcia
- 11:4411:44, 28 wrz 2006 różn. hist. +12 Sztuczna inteligencja/SI Moduł 3 - Wnioskowanie w PROLOG-u →Rezolucja i unifikacja w PROLOGu zmiana <> w member
- 11:3811:38, 28 wrz 2006 różn. hist. −44 Sztuczna inteligencja/SI Moduł 3 - Wnioskowanie w PROLOG-u →Predykat member zmiana definicji
- 11:3511:35, 28 wrz 2006 różn. hist. +32 m Sztuczna inteligencja/SI Moduł 3 - Wnioskowanie w PROLOG-u →Predykaty użytkownika
25 lip 2006
- 12:5712:57, 25 lip 2006 różn. hist. −3 Sztuczna inteligencja/SI Moduł 5 - Wnioskowanie jako metoda przeszukiwania →Metoda wszerz
- 12:5612:56, 25 lip 2006 różn. hist. −3 Sztuczna inteligencja/SI Moduł 5 - Wnioskowanie jako metoda przeszukiwania →Metoda w głąb
- 11:4311:43, 25 lip 2006 różn. hist. 0 Sztuczna inteligencja/SI Moduł 12 →Wpływ wag perceptronu na jakość aproksymacji, poprawka mojej poprawki-'e' było dobrze
- 11:2411:24, 25 lip 2006 różn. hist. 0 Sztuczna inteligencja/SI Moduł 12 →Wpływ wag perceptronu na jakość aproksymacji, ujednolicenie zamiast e r(ja jest w nowszej wersji)
- 11:1811:18, 25 lip 2006 różn. hist. 0 Sztuczna inteligencja/SI Moduł 12 →Definicja perceptronu wielowarstwowego, zamiast y x
- 11:1211:12, 25 lip 2006 różn. hist. +2 Sztuczna inteligencja/SI Moduł 5 - Wnioskowanie jako metoda przeszukiwania →Dyskusja, zmiana znaczenia
- 11:1111:11, 25 lip 2006 różn. hist. −35 Sztuczna inteligencja/SI Moduł 5 - Wnioskowanie jako metoda przeszukiwania →Rozwiązywanie problemów przez przeszukiwanie przestrzeni, usunięty komentarz
- 11:0811:08, 25 lip 2006 różn. hist. −9 m Sztuczna inteligencja/SI Moduł 5 - Wnioskowanie jako metoda przeszukiwania →Wprowadzenie literówki
- 11:0611:06, 25 lip 2006 różn. hist. +6 m Sztuczna inteligencja/SI Moduł 3 - Wnioskowanie w PROLOG-u →Mechanizm odcięcia wcięcia
- 11:0511:05, 25 lip 2006 różn. hist. −17 Sztuczna inteligencja/SI Moduł 3 - Wnioskowanie w PROLOG-u →Rezolucja i unifikacja w PROLOGu poprawki we wnioskowaniu,literówki
- 11:0011:00, 25 lip 2006 różn. hist. −2 m Sztuczna inteligencja/SI Moduł 3 - Wnioskowanie w PROLOG-u →Listy literówka
- 10:5810:58, 25 lip 2006 różn. hist. +4 m Sztuczna inteligencja/SI Moduł 3 - Wnioskowanie w PROLOG-u →Predykaty użytkownika literówka
- 10:5710:57, 25 lip 2006 różn. hist. −4 m Sztuczna inteligencja/SI Moduł 3 - Wnioskowanie w PROLOG-u →Predykaty użytkownika literówka
- 09:5709:57, 25 lip 2006 różn. hist. +1 m Sztuczna inteligencja/SI Ćwiczenia 2 →Zadanie 8 literówka
- 09:5609:56, 25 lip 2006 różn. hist. −2 Sztuczna inteligencja/SI Ćwiczenia 2 →Zadanie 6 nawiasy
- 09:5509:55, 25 lip 2006 różn. hist. +1 m Sztuczna inteligencja/SI Ćwiczenia 2 →Zadanie 5 nawias
- 09:5309:53, 25 lip 2006 różn. hist. +1 m Sztuczna inteligencja/SI Ćwiczenia 2 →Zadanie 1 literówka
- 09:5209:52, 25 lip 2006 różn. hist. +2 m Sztuczna inteligencja/SI Moduł 2 - Od logiki do wnioskowania →Baza wiedzy jako zbiór klauzul literówka
- 09:5009:50, 25 lip 2006 różn. hist. +30 Sztuczna inteligencja/SI Moduł 2 - Od logiki do wnioskowania →Postać standardowa Skolema zmiany we wzorach, zmiana znaczenia, litrówka
- 09:4509:45, 25 lip 2006 różn. hist. +11 Sztuczna inteligencja/SI Moduł 2 - Od logiki do wnioskowania →Koniunkcyjna postać normalna Zmiany we wzorach-nawias i negacje
- 09:4109:41, 25 lip 2006 różn. hist. +1 m Sztuczna inteligencja/SI Moduł 2 - Od logiki do wnioskowania →Klauzule literówka
- 09:4109:41, 25 lip 2006 różn. hist. 0 m Sztuczna inteligencja/SI Moduł 2 - Od logiki do wnioskowania →Podstawienia literówka: */
- 09:4009:40, 25 lip 2006 różn. hist. 0 m Sztuczna inteligencja/SI Moduł 2 - Od logiki do wnioskowania →Poprawny i pełny system wnioskowania literówka: */
- 09:3809:38, 25 lip 2006 różn. hist. +1 m Sztuczna inteligencja/SI Moduł 2 - Od logiki do wnioskowania →Konsekwencja syntaktyczna literówka
- 09:3409:34, 25 lip 2006 różn. hist. −4 m Sztuczna inteligencja/SI Moduł 2 - Od logiki do wnioskowania →Dowód literówka
- 09:2809:28, 25 lip 2006 różn. hist. +4 m Sztuczna inteligencja/SI Moduł 2 - Od logiki do wnioskowania →Spełnialność i prawdziwość literówka
- 09:2509:25, 25 lip 2006 różn. hist. +3 m Sztuczna inteligencja/SI Moduł 2 - Od logiki do wnioskowania →Interpretacja formuł literówka
- 09:2309:23, 25 lip 2006 różn. hist. +1 m Sztuczna inteligencja/SI Moduł 2 - Od logiki do wnioskowania →Interpretacja termów literówka
- 09:2209:22, 25 lip 2006 różn. hist. −40 Sztuczna inteligencja/SI Moduł 2 - Od logiki do wnioskowania →Interpretacja symboli, literówka i przebudowa 2 zdań
- 09:1309:13, 25 lip 2006 różn. hist. 0 m Sztuczna inteligencja/SI Moduł 2 - Od logiki do wnioskowania →Alfabet literówka
- 09:1109:11, 25 lip 2006 różn. hist. +1 m Sztuczna inteligencja/SI Moduł 2 - Od logiki do wnioskowania literówka