Wstęp do teorii modeli

Wydawnictwo: Wydawnictwo Politechniki Krakowskiej
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.