Del i serien Hochschultext
Modelltheorie
Eine Einführung in die mathematische Logik und Grundlagentheorie
669 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Produktinformation
- Utgivningsdatum1972-06-23
- Mått178 x 254 x 17 mm
- Vikt561 g
- FormatHäftad
- SpråkTyska
- SerieHochschultext
- Antal sidor278
- FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN9783540056546
- ÖversättareJoachim Jung
Tillhör följande kategorier
- 0 - Vorbereitungen. Definitionsschemata.- 1 - Aussagenkalkül.- Aufgaben.- 2 - Prädikatenkalkül.- Aufgaben.- 3 - Prädikatenkalkül mit Gleichheit.- Aufgaben.- 4 - Quantorenelimination.- Dichte Ordnungen mit erstem und letztem Element.- Diskrete Ordnungen ohne erstes und letztes Element.- Gewisse kommutative Gruppen mit diskreter Totalordnung.- Algebraisch abgeschlossene Körper.- Reell abgeschlossene Körper.- Atomare Boolesche Ringe.- Aufgaben.- 5 - Prädikatenkalkül mit mehreren Objektsorten.- Prädikatenkalkül mit k Objektsorten und Gleichheit.- Sprachen mit k Objektsorten, Gleichheit und Funktionszeichen.- Die Theorie der endlichen Typen.- Aufgaben.- 6 - Maximale Modelle, Modelle unendlicher Formeln.- Reduktion einer Klasse von Formeln zweiter Stufe.- Unendliche Formeln, die endlichstellige Relationen definieren.- Abzählbare Sprachen: Abz&hlbare Mengen von unendlichen Formeln.- Aufgaben.- 7 - Definierbarkeit.- Aufgaben.- ANHANG I - Die Axiomatische Methode.- ANHANG II - Grundlagen der Mathematik.- Die formalistisch-positivistische Doktrin der mathematischen Präzision.- Die Doktrin formaler Präzision.- Grundlegende Unterscheidungen.- Beispiele informaler Präzision.- Mängel der formalistischen Präzisionsdoktrin.- Der pragmatische Wert der formalistischen Doktrin.- Pädagogisches zur Grundlagenforschung.- A - Mengentheoretisch-semantische Grundlagen.- Zusammenfassung.- 1. Wie analysiert man intuitive Mathematik mit diesen Grundbegriffen.- Endliche Mengen: Verallgemeinerte Realisierungen. Der intuitive Ordinalzahlbegriff.- 2. Wie findet man Axiome für die mengentheoretischen Grundbegriffe?.- 3. Wie kann man die bisherige Theorie A*[A] verstärken?.- 4. Historische Bemerkungen. Weitere Informationen über den intuitiven Gültigkeitsbegriff.- B -Kombinatorische Grundlagen.- Zusammenfassung.- 0 - Kombinatorisches Schließen.- (a) Kombinatorische Sprachen und Realisierungen.- (b) Kombinatorische Realisierung einer Formel: Kombinatorische Giiltigkeit.- (c) Mengentheoretische Übersetzungen kombinatorischer Identitäten; nicht-kombinatorische Beweise dieser Übersetzungen.- 1 - Wie analysiert man intuitive Mathematik mit den kombinatorischen Grundbegriffen?.- (a) Repräsentation (Beschreibung) des mathe matischen Schließens mittels formaler Systeme.- (b) Reduktion intuitiver Prinzipien auf kombinatorische Prinzipien (Hilbertsches Widerspruchsfreiheitsproblem.- (c) Positive Lösungen zum Hilbertschen Problem.- 2 - Wie findet man Axiome für die kombinatorischen Grundbegriffe?.- (a).- (c) Ein formales System.- Konsequenzen für das Hilbertsche Programm.- 3 - Ausbau der Theorie.- 4 - Kritische Zusammenfassung.- (a) Vergleich zwischen mengentheoretischen und kombinatorischen Grundlagen.- (b) Doktrinäre Grundlagen.- (c) Grober Formalismus.- 5 - Aktuelle Forschungsaufgaben.- C - Vergleich zwischen der semantischen und syntaktischen (kombinatorischen) Einführung in die mathematische Logik.
Du kanske också är intresserad av
- Nyhet
- Nyhet
Omvårdnadens grunder - paket
Sofia Almerud, Annica Backman, Anna-Karin Edberg, Anna Ehrenberg, My Engström, Katarina Göransson, Lena Marmstål Hammar, Stefan Nilsson, Lars Wallin, Helle Wijk, Joakim Öhlén, Lilas Ali, Anette Alvariza, Ann-Christine Andersson, Pia Andersson, Anna Anåker, Charlotta van Eggermont Arwidson, Margareta Asp, Åsa Audulv, Malin Axelsson, Mariette Bengtsson, Eva Benzein, Lena Berg, Monica Bergqvist, Eva-Karin Bergström, Ida Björkman, Catrin Björvell, Angela Bång, Carina Bååth, Josefin Bäckström, Karin Bölenius, David Edvardsson, Rakel Eklund, Inger Ekman, Mirjam Ekstedt, Ann Catrine Eldh, Karin Enskär, Sofia Erestam, Anneli Eriksson, Henrik Eriksson, Marie Ernsth Bravell, Jan Florin, Anna Forsberg, Henrietta Forsman, Anette Forss, Mio Fredriksson, Febe Friberg, Maria Grandahl, Tanja Gustafsson, Agneta Gånemo, Elizabeth Hanson, Malin Hansson, Amanda Hellström, Ingela Henoch, Inger Jansson, Maria Jirwe, Lena Johansson, Pauline Johansson, Unn-Britt Johansson, Birgitta Kerstis, Ann-Sofie Källberg, Ulrika Källman, Anita Kärner Köhler, Cecilia Larsdotter, Margret Lepp, Maria Lindström Nilsson, Mikael Lundmark, Anneli Löf, Lennart Magnusson, Catharina Melander, Jenny Milton, Beata Molin, Annika Nordin, Maria Norinder, Sepideh Olausson, Carina Persson, Kerstin Prignitz Sluys, Josefin Rahmqvist, Birgit Holritz Rasmussen, Anneli Ringblom, Karin C. Ringsberg, Ann Rudman, Ann-Marie Rydholm Hedman, Silje Rysst, Lars Sandman, Regina Santamäki Fischer, Britt-Inger Saveman, Johanna Sjömar, Karin Stenzelius, Anna Strömberg, Annelie J. Sundler, Märtha Sund Levander, Kristina Svantesson, Anna Swall, Susanne Syrén, Pia Tingström, Johanna Ulfvarson, Sara Wallström, Albert Westergren, Lena Wiklund Gustin, Ulrika Winblad
Häftad, 2025
1 569 kr