Automated Development of Fundamental Mathematical Theories - 9780792320210
Nowość: Nowa, nieprzeczytana, nieużywana książka w idealnym stanie, bez brakujących i uszkodzonych stron. Zobacz ... Czytaj więcejo stanieNowość: Książka nowa, nieczytana, nieużywana, w idealnym stanie, bez brakujących i uszkodzonych stron. Aby uzyskać szczegółowe informacje, zobacz listę sprzedającego. Zobacz wszystkie definicje warunkówotwiera się w nowym oknie lub nowej karcie
Autor wprowadza do wnioskowania automatycznego, a w szczególności do dowodzenia twierdzeń o rozdzielczości za pomocą dowódcy OTTER. Przedstawia nową klauzulową wersję teorii mnogości von Neumanna-Bernaysa-Godla i wymienia ponad 400 twierdzeń udowodnionych półautomatycznie w elementarnej teorii mnogości. Przedstawia półautomatyczny dowód na to, że złożenie homomorfizmów jest homomorfizmem, rozwiązując w ten sposób wyzwanie. Następnie autor rozwija arytmetykę Peano i podaje ponad 1200 definicji i twierdzeń z elementarnej teorii liczb. Podaje część dowodu podstawowego twierdzenia arytmetyki (unikalna faktoryzacja) i podaje wygenerowany przez OTTER dowód uogólnienia twierdzenia Fermata przez Eulera. Następnie rozwija geometrię Tarskiego w ramach OTTER. Uzyskuje dowody większości problemów pojawiających się w literaturze i proponuje dalsze wyzwania. Następnie formalizuje rachunek logiki modalnej K4 w celu uzyskania zautomatyzowanych dowodów bardzo wysokiego poziomu na twierdzenie Loba i dwa twierdzenia Godla o niezupełności. Na koniec przedstawia trzydzieści jeden nierozwiązanych problemów elementarnej teorii liczb jako problemy stanowiące wyzwanie.
Stan dobry-Książka, która była czytana, ale jest w dobrym stanie. Minimalne uszkodzenia okładki książki. Większość stron jest nieuszkodzona, mogą posiadać zagięcia lub zagięcia oraz podkreślenia tekstu ołówkiem. Żadnych zapisków na marginesach, żadnych brakujących stron.
Stan dobry-Książka, która była czytana, ale jest w dobrym stanie. Minimalne uszkodzenia okładki książki. Większość stron jest nieuszkodzona, mogą posiadać zagięcia lub zagięcia oraz podkreślenia tekstu ołówkiem. Żadnych zapisków na marginesach, żadnych brakujących stron.
Stan dobry-Książka, która była czytana, ale jest w dobrym stanie. Minimalne uszkodzenia okładki książki. Większość stron jest nieuszkodzona, mogą posiadać zagięcia lub zagięcia oraz podkreślenia tekstu ołówkiem. Żadnych zapisków na marginesach, żadnych brakujących stron.
Stan dobry-Książka, która była czytana, ale jest w dobrym stanie. Minimalne uszkodzenia okładki książki. Większość stron jest nieuszkodzona, mogą posiadać zagięcia lub zagięcia oraz podkreślenia tekstu ołówkiem. Żadnych zapisków na marginesach, żadnych brakujących stron.
Stan bardzo dobry-Książka, która była czytana i nie wygląda na nową, ale jest w doskonałym stanie. Nie ma widocznych uszkodzeń okładki książki. Żadnych brakujących lub uszkodzonych stron, żadnych zagięć ani rozdarć, żadnych podkreśleń lub podkreśleń tekstu i żadnych zapisków na marginesach.
Stan dobry-Książka, która była czytana, ale jest w dobrym stanie. Minimalne uszkodzenia okładki książki. Większość stron jest nieuszkodzona, mogą posiadać zagięcia lub zagięcia oraz podkreślenia tekstu ołówkiem. Żadnych zapisków na marginesach, żadnych brakujących stron.
Stan dobry-Książka, która była czytana, ale jest w dobrym stanie. Minimalne uszkodzenia okładki książki. Większość stron jest nieuszkodzona, mogą posiadać zagięcia lub zagięcia oraz podkreślenia tekstu ołówkiem. Żadnych zapisków na marginesach, żadnych brakujących stron.
Stan dobry-Książka, która była czytana, ale jest w dobrym stanie. Minimalne uszkodzenia okładki książki. Większość stron jest nieuszkodzona, mogą posiadać zagięcia lub zagięcia oraz podkreślenia tekstu ołówkiem. Żadnych zapisków na marginesach, żadnych brakujących stron.
Stan dobry-Książka, która była czytana, ale jest w dobrym stanie. Minimalne uszkodzenia okładki książki. Większość stron jest nieuszkodzona, mogą posiadać zagięcia lub zagięcia oraz podkreślenia tekstu ołówkiem. Żadnych zapisków na marginesach, żadnych brakujących stron.
Stan dobry-Książka, która była czytana, ale jest w dobrym stanie. Minimalne uszkodzenia okładki książki. Większość stron jest nieuszkodzona, mogą posiadać zagięcia lub zagięcia oraz podkreślenia tekstu ołówkiem. Żadnych zapisków na marginesach, żadnych brakujących stron.
Stan dobry-Książka, która była czytana, ale jest w dobrym stanie. Minimalne uszkodzenia okładki książki. Większość stron jest nieuszkodzona, mogą posiadać zagięcia lub zagięcia oraz podkreślenia tekstu ołówkiem. Żadnych zapisków na marginesach, żadnych brakujących stron.
Stan dobry-Książka, która była czytana, ale jest w dobrym stanie. Minimalne uszkodzenia okładki książki. Większość stron jest nieuszkodzona, mogą posiadać zagięcia lub zagięcia oraz podkreślenia tekstu ołówkiem. Żadnych zapisków na marginesach, żadnych brakujących stron.
Stan dobry-Książka, która była czytana, ale jest w dobrym stanie. Minimalne uszkodzenia okładki książki. Większość stron jest nieuszkodzona, mogą posiadać zagięcia lub zagięcia oraz podkreślenia tekstu ołówkiem. Żadnych zapisków na marginesach, żadnych brakujących stron.
Stan bardzo dobry-Książka, która była czytana i nie wygląda na nową, ale jest w doskonałym stanie. Nie ma widocznych uszkodzeń okładki książki. Żadnych brakujących lub uszkodzonych stron, żadnych zagięć ani rozdarć, żadnych podkreśleń lub podkreśleń tekstu i żadnych zapisków na marginesach.
Stan dobry-Książka, która była czytana, ale jest w dobrym stanie. Minimalne uszkodzenia okładki książki. Większość stron jest nieuszkodzona, mogą posiadać zagięcia lub zagięcia oraz podkreślenia tekstu ołówkiem. Żadnych zapisków na marginesach, żadnych brakujących stron.
Stan dobry-Książka, która była czytana, ale jest w dobrym stanie. Minimalne uszkodzenia okładki książki. Większość stron jest nieuszkodzona, mogą posiadać zagięcia lub zagięcia oraz podkreślenia tekstu ołówkiem. Żadnych zapisków na marginesach, żadnych brakujących stron.
17,97 €
Nowość: Nowa, nieprzeczytana, nieużywana książka w idealnym stanie, bez brakujących i uszkodzonych stron. Zobacz ... Czytaj więcejo stanieNowość: Książka nowa, nieczytana, nieużywana, w idealnym stanie, bez brakujących i uszkodzonych stron. Aby uzyskać szczegółowe informacje, zobacz listę sprzedającego. Zobacz wszystkie definicje warunkówotwiera się w nowym oknie lub nowej karcie
