03-XX

Mathematics Subject Classification: Abschnitte der Ebene 1

03-XX ist der Code, der den Abschnitt der Ebene 1 der Systematik MSC, mathematische Logik und Grundlagen der Mathematik gewidmet.

Auf dieser Seite finden Sie den Baum der Unterkategorien von Zwischen- und detaillierte dieses Abschnitts.


03-XX

  • 03-00 Allgemeine Nachschlagewerke
  • 1.3 Lehrausstellung
  • 02.03 Präsentation von Forschungs
  • Funktioniert 3.3 Historische {! Muss auch zugeordnet werden mindestens eine Klassifizierungsnummer aus dem Abschnitt 01-XX}
  • 4.3 Explizite Maschine Berechnung und Programme
  • 6.3 Handlungen, Konferenzen, Sammlungen etc.


03Axx

  • 03A05 philosophische Werke und Kritiker {für die Philosophie der Mathematik finden 00A30}
  • 03A10 Logik in der Philosophie der Wissenschaft
  • Andere als die oben genannten, aber in diesem Abschnitt 00a99 Themen

03Bxx

  • 03B05 klassischen Aussagenlogik
  • 03B10 klassischen Logik der ersten Ordnung
  • 03B15 Logik höherer Ordnung und Typentheorie
  • 03B20 Subsysteme der klassischen Logik
  • 03B22 abstrakten deduktiven Systeme
  • 03B25 Entscheidbarkeit von Theorien und Sätze der Sätze
  • 03B30 Grundlagen der klassischen Theorien
  • 03B35 Mechanisierung Demonstrationen und logische Operationen
  • 03B40 Logik und Lambda-Kalkül
  • 03B42 Logik des Wissens und Meinungen?
  • 03B44 temporale Logik
  • {03B45 Modallogik nach Wissen und Meinungen finden 03B42; für temporale Logik finden 03B44; für die Logik der Beweisbarkeit auch 03F45}
  • 03B47 Substruktur-Logik {für Aspekte der Beweistheorie finden 03F52}
  • 03B48 Wahrscheinlichkeit und induktiven Logik
  • 03B50 logisch, viele Werte
  • 03B52 Fuzzy-Logik; Logik der Vagheit
  • 03B53 parakonsistenten Logik
  • 03B55 logische Zwischen
  • 03B60 anderen nicht-klassische Logiken
  • 03B62 logische Kombination
  • 03B65 Logik der natürlichen Sprachen
  • 03B70 Logik in der Informatik
  • 03B80 andere Anwendungen der Logik
  • Andere als die oben genannten, aber in diesem Abschnitt 03B99 Themen

03Cxx

  • 03C05 Klassen equational, universelle Algebra
  • 03C07 grundlegenden Eigenschaften von Sprachen und Strukturen der ersten Ordnung
  • 03C10 Quantorenelimination, Modell Vollständigkeit und verwandte Themen
  • 03C13 fertig Strukturen
  • 03C15 Strukturen abzählbar
  • 03C20 ultraproducts und verwandte Konstruktionen
  • Erzwingen 03C25? Erzwingen der Modelltheorie
  • 03C30 anderen Konstruktionen von Modellen
  • 03C35 kategorische und Vollständigkeit der Theorien
  • 03C40 Interpolation, Konservierung, Definierbarkeit
  • 03C45 Theorie der Klassifizierung, Stabilität und verwandte Konzepte
  • 03C48 abstrakte Klassen Elementar und verwandte Themen
  • 03C50 Modelle mit besonderen Eigenschaften
  • 03C52 Eigenschaften Modell-Klassen
  • 03C55 Modelltheorie? über Mengenlehre
  • 03C57 Modelltheorie effektiv und auf der Grundlage der Theorie der Rekursion
  • 03C60 Algebra basierend auf der Theorie von Modellen
  • 03C62 Modelle der Arithmetik und Mengenlehre
  • 03C64 Modell Theorie der geordneten Strukturen; o-Minimalität
  • 03C65 Modelle von anderen mathematischen Theorien
  • 03C68 anderen Themen der Theorie der klassischen Modellen der ersten Ordnung
  • 03C70 Logik der zulässigen Sätze
  • 03C75 anderen Fragen der Logik infinitärer
  • 03C80 Logik mit extra Quantoren und Betreiber? Zusatz
  • 03C85 Modelltheorie zweiter und höherer Ordnung
  • 03C90 Modelle nichtklassische
  • 03C95 Modelltheorie Zusammenfassung
  • 03C98 Anwendungen der Theorie von Modellen
  • Andere als die oben genannten, aber in diesem Abschnitt 03C99 Themen

03Dxx

  • 03D03 Thue Systemen, Systemen usw. Post.
  • 03D05 Automaten und formale Grammatiken in Verbindung mit logischen Fragen
  • 03D10 Turingmaschinen und verwandten Begriffen
  • 03D15 Komplexität der Berechnung
  • 03D20 Funktionen und rekursive Beziehungen, Hierarchien subricorsive
  • 03D25 rekursiv aufzählbar Sets und Grad
  • 03D28 anderen Strukturen, die Turing
  • 03D30 weiteren Grade und Reduzierbarkeit
  • 03D32 algorithmische Zufälligkeit und Größe algorithmischen
  • 03D35 Unentschlossenheit und Grade der Sätze der Sätze
  • 03D40 Textaufgaben usw.
  • 03D45 Theorie der Zahlen, Strukturen effettivemente vorgestellt {für Intuitionisten und ähnliche Ansätze finden 03F55}
  • 03D50 Rekursive Gleichwertigkeit Arten von Sätzen und Strukturen Islands?
  • 03D55 Hierarchien
  • 03D60 Berechenbarkeitstheorie und Rekursion auf Ordinalzahlen, zulässige Sätze und so weiter.
  • 03D65 Rekursionstheorie überlegener Art und an den Sets
  • 03D70 Definierbarkeit induktive
  • 03D75 Berechenbarkeitstheorie und Rekursion abstrakt und axiomatischen
  • 03D78 Berechnungen auf reale {für die Bau- Gesichtspunkte siehe 03Fxx}
  • 03D80 Anwendungen Berechenbarkeit und Rekursionstheorie
  • Andere als die oben genannten, aber in diesem Abschnitt 03D99 Themen

03Exx

  • 03E02 Beziehungen Partition
  • 03E04 geordneten Mengen und deren Konfinalität; pcf Theorie
  • 03E05 andere Probleme der kombinatorischen Mengenlehre
  • 03E10 ordinals und Kardinäle
  • 03E15 beschreibende Mengenlehre
  • 03E17 Kardinalmerkmale contimuo
  • 03E20 andere Themen der klassischen Mengenlehre
  • 03E25 Auswahlaxiom und verwandte Vorschläge
  • 03E30 Axiome der klassischen Mengenlehre und die Fragmente
  • 03E35 Ergebnisse der Konsistenz und Unabhängigkeit
  • 03E40 Andere Aspekte zwingen? und Modelle, um Boolesche Werte
  • 03E45 interne Modelle, einschließlich Konstruierbarkeit, Ordnungs Definierbarkeit und Modelle der Core?
  • 03E47 andere Vorstellungen von Definierbarkeit in der Mengenlehre
  • 03E50 Kontinuumshypothese und Axiom der Martin
  • 03E55 große Kardinäle
  • 03E57 Generika Absolutheit und zwingt Axiomen?
  • 03E60 Grundsätze der Sicherheit
  • 03E65 anderen Annahmen und Axiome
  • 03E70 Mengenlehre und nicht klassischen zweiter Ordnung
  • 03E72 Fuzzy Set Theorie
  • 03E75 Anwendungen der Mengenlehre
  • Andere als die oben genannten, aber in diesem Abschnitt 03E99 Themen

03Fxx

  • 03F03 Beweistheorie, allgemeine
  • 03F05 Beseitigung der Senkungen? und Theoreme Normalform
  • 03F07 Struktur der Demonstrationen
  • 03F10 Funktions in Beweistheorie
  • 03F15 Rekursive Ordnungszahlen und Ordnungs Notationen
  • 03F20 Komplexität der Demonstrationen
  • 03F25 relative Größe und Interpretationen
  • 03F30 Arithmetik der ersten Ordnung und seine Fragmente
  • 03F35 Arithmetik zweiter Ordnung und höherer Ordnung und seine Fragmente
  • 03F40 Gödel Nummerierung in Beweistheorie
  • 03F45 Logik der Beweiskraft und Algebren verbunden
  • 03F50 Metamathematik von Bausystemen
  • 03F52 lineare Logik und andere Substruktur-Logiken
  • 03F55 intuitionistischen Mathematik
  • 03F60 konstruktive Analyse und rekursive
  • 03F65 andere mathematische Konstruktion
  • Andere als die oben genannten, aber in diesem Abschnitt 03F99 Themen

03Gxx

  • 03G05 Boolesche Algebren
  • 03G10 Netze und verwandte Strukturen
  • 03G12 Quantenlogik
  • 03G15 Algebren zylindrischen poliadiche; relationalen Algebra
  • 03G20 Algebren Lukasiewicz und Post
  • 03G25 anderen Algebren zur Logik verbunden
  • 03G27 abstrakte algebraische Logik
  • 03G30 kategorische Logik Topos
  • Andere als die oben genannten, aber in diesem Abschnitt 03G99 Themen

03Hxx

  • 03H05 nichtstandardisierte Modelle in der Mathematik
  • 03H10 andere Anwendungen von Nicht-Standard-Modelle
  • 03H15 nichtstandardisierte Modelle der Arithmetik
  • Andere als die oben genannten, aber in diesem Abschnitt 03H99 Themen
  0   0
Vorherige Artikel Red Leaps
Nächster Artikel Mirco Paganelli

In Verbindung Stehende Artikel

Kommentare - 0

Keine Kommentare

Fügen Sie einen Kommentar

smile smile smile smile smile smile smile smile
smile smile smile smile smile smile smile smile
smile smile smile smile smile smile smile smile
smile smile smile smile
Zeichen übrig: 3000
captcha