Sprachsituation einzelner Gebiete Mathematik Wissenschaft Sozialwissenschaft Unternehmen Ingenieurwissenschaft Geisteswissenschaft Geschichte
  1. Mathematik
  2. Didaktik der Mathematik
  3. Logik
Folien zur Vorlesung - IMN/HTWK
Folien zur Vorlesung - IMN/HTWK
Einführung in Prolog und logische Programmierung
Einführung in Prolog und logische Programmierung
ein saturiertes Tableau
ein saturiertes Tableau
Dreiwertige Logik I - Universität Magdeburg
Dreiwertige Logik I - Universität Magdeburg
Mathematische Grundlagen der Computerlinguistik
Mathematische Grundlagen der Computerlinguistik
Lösungen 1 zum Mathematik-Brückenkurs
Lösungen 1 zum Mathematik-Brückenkurs
Logik Vorlesung 7: Grundlagen Prädikatenlogik
Logik Vorlesung 7: Grundlagen Prädikatenlogik
philosophische die
philosophische die
Nähere Informationen finden Sie hier.
Nähere Informationen finden Sie hier.
∑ ∏ - Erklärungen in Mathematik, Physik und Physikalischer Chemie
∑ ∏ - Erklärungen in Mathematik, Physik und Physikalischer Chemie
„Logik“ + „Vernunft“
„Logik“ + „Vernunft“
„Kompetenz im Feld der Ernährung hat den Rang einer Kulturtechnik“
„Kompetenz im Feld der Ernährung hat den Rang einer Kulturtechnik“
“Theorie der Informatik” (CS206) Organisation, Motivation mathem
“Theorie der Informatik” (CS206) Organisation, Motivation mathem
“Theorie der Informatik” (CS206) Aussagenlogik
“Theorie der Informatik” (CS206) Aussagenlogik
“Mathematische Logik”
“Mathematische Logik”
“Lehrsatz der Woche” vom 3.10.2016 Satz: Besitzt eine
“Lehrsatz der Woche” vom 3.10.2016 Satz: Besitzt eine
“GRUNDBEGRIFFE DER MATHEMATISCHEN LOGIK” 2011SS
“GRUNDBEGRIFFE DER MATHEMATISCHEN LOGIK” 2011SS
– mArachna – Eine semantische Analyse der mathematischen
– mArachna – Eine semantische Analyse der mathematischen
ω, die Menge der unendlichen 0-1-Wörter. Ein Flip
ω, die Menge der unendlichen 0-1-Wörter. Ein Flip
ϕppq p ‚ ∆
ϕppq p ‚ ∆
ϕ ϕ ϕ ϕ ϕ ϕ ψ ϕ ψ ϕ ψ ϕ ψ ϕ
ϕ ϕ ϕ ϕ ϕ ϕ ψ ϕ ψ ϕ ψ ϕ ψ ϕ