Opis
Autor: Piękosz Artur
ISBN/ISSN: 978-83-7242-483-9
Wydawnictwo: Wydawnictwo Politechniki Krakowskiej
Rok wydania: 2008
Język publikacji: polski
Ilość stron: 80
Format: B5
Wymiary: 24×17 cm
Rodzaj okładki: miękka
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.