Wstęp do teorii modeli.
towar niedostępny
dodaj do przechowalniOpis
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.
Szczegóły
ISBN | 9788372424839 |
Autor | Piękosz Artur |
Oprawa | br |
Rok wydania | 2008 |
Format | b5 |
Stron | 80 |