Wyniki wyszukiwania
Przejdź do nawigacji
Przejdź do wyszukiwania
- …wodzenia twierdzeń]] opartych na rezolucji – dzięki niej zamiast mieć bazę twierdzeń w rosnącym stopniu zapełnioną przez twierdzenia szczegółowe, w miarę postęp [[Kategoria:Automatyczne dowodzenie twierdzeń]] …853 bajtów (121 słów) - 01:00, 16 cze 2023
- …'') – system [[Automatyczne dowodzenie twierdzeń|automatycznego dowodzenia twierdzeń]] [[Kategoria:Automatyczne dowodzenie twierdzeń]] …1 KB (197 słów) - 18:10, 20 maj 2019
- …wolny system [[automatyczne dowodzenie twierdzeń|automatycznego dowodzenia twierdzeń]], w którym występuje pewien [[zbiór]] [[aksjomat]]ów i '''reguł dowodzenia [[Kategoria:Automatyczne dowodzenie twierdzeń]] …2 KB (342 słowa) - 18:31, 10 sty 2023
- …i generujący dowody [[automatyczne dowodzenie twierdzeń|system dowodzenia twierdzeń]], bazujący na [[system Hilberta|systemach Hilberta]]. [[Kategoria:Automatyczne dowodzenie twierdzeń]] …2 KB (248 słów) - 09:23, 10 mar 2023
- …rtowych]] do [[Automatyczne dowodzenie twierdzeń|automatycznego dowodzenia twierdzeń]]. …1 KB (176 słów) - 13:19, 30 lip 2024
- …owo, systemy [[automatyczne dowodzenie twierdzeń|automatycznego dowodzenia twierdzeń]] z równością używają [[paramodulacja|paramodulacji]] obok (lub zamiast) zw …2 KB (280 słów) - 19:24, 20 maj 2024
- …to algorytm [[automatyczne dowodzenie twierdzeń|automatycznego dowodzenia twierdzeń]] w systemach z [[równość (matematyka)|równością]]. …2 KB (382 słowa) - 12:40, 1 kwi 2023
- Forma preneksowa jest bardzo wygodna dla [[automatyczne dowodzenie twierdzeń|komputera]], w mniejszym zaś stopniu dla ludzi. …2 KB (297 słów) - 01:49, 9 sty 2023
- * [[automatyczne dowodzenie twierdzeń]] …3 KB (489 słów) - 20:49, 10 kwi 2023
- …j rozumowania używany w dowodach, że nie istnieje pewien obiekt. Przykłady twierdzeń, które można udowodnić w ten sposób: [[Liczby rzeczywiste|zbiór liczb rzecz …''' (pozwala uporządkować różne wyniki zgodnie z systemem głównych pojęć i twierdzeń)<ref name="ant" />; …9 KB (1447 słów) - 22:28, 29 gru 2024
- [[Kategoria:Automatyczne dowodzenie twierdzeń]] …6 KB (1000 słów) - 22:21, 18 kwi 2024
- …''' – metoda [[automatyczne dowodzenie twierdzeń|automatycznego dowodzenia twierdzeń]] oparta na generowaniu nowych [[klauzula (matematyka)|klauzul]], aż dojdzi Rezolucja jest podstawą wielu praktycznych systemów dowodzenia twierdzeń [[rachunek predykatów pierwszego rzędu|rachunku predykatów pierwszego rzędu …11 KB (1862 słowa) - 14:13, 15 lut 2023
- …yjnie przeliczalny''), ale jeszcze nadaje się do [[Automatyczne dowodzenie twierdzeń|komputerowej analizy]] (co już niekoniecznie można powiedzieć o rachunku pr …28 KB (4695 słów) - 22:07, 7 mar 2024
- …tórych hipotez – co czasem kończyło się ich obaleniem – oraz na dowodzenie automatyczne. Postępy matematyki nasilały się przy zawiązywaniu instytucji jak szkoły,… …i trygonometryczne]]. W XVI wieku [[Jyeshtadeva]] zebrał wiele osiągnięć i twierdzeń Szkoły Kerala w ''Yuktibhasa'', pierwszym w historii opracowaniu [[rachunek …72 KB (10 418 słów) - 10:51, 18 lut 2025