Piękosz Artur
Wstęp do teorii modeli

ISBN/ISSN: 978-83-7242-483-9
Wydawnictwo: Wydawnictwo Politechniki Krakowskiej
Rok wydania: 2008
Język publikacji: polski
Ilość stron: 80
Format: B5
Wymiary: 24x17 cm
Rodzaj okładki: miękka

 Dodaj do koszyka

Celem niniejszego podręcznika jest zaznajomienie czytelnika z podstawami teorii modeli, jednej z głównych gałęzi współczesnej logiki matematycznej. Rozwinięcie znalazły następujące zagadnienia: struktur matematycznych, semantyki i teorii matematycznych, a także w ramach teorii modeli: ultraprodukty, kwestia teorio-modelowej zawartości, diagramy, eliminacja kwantyfikatorów, modelowa zupełność i indywidualność, pojęcia typu i przestrzeni typów. Całość zamyka prezentacja, jak język modeli umożliwia wprowadzenie analizy niestandardowej.  

© 2013 Wydawnictwo Politechniki Krakowskiej.
UWAGA: Ta strona wykorzystuje cookies w celu umożliwienia złożenia zamówienia oraz w celach statystycznych. Jeżeli nie zgadzasz się z tym wyłącz obsługę cookies lub opuść stronę.