Κατηγορία:Μαθηματική λογική

Α

• Άλγεβρα Μπουλ‎ (7 Σ)
• Αναδρομή‎ (1 Σ)

Θ

• Θεωρία αποδείξεων‎ (3 Σ)
• Θεωρία μοντέλων‎ (4 Σ)
• Θεωρία συνόλων‎ (38 Σ)
• Θεωρία υπολογισμού‎ (2 Κ, 26 Σ)

Λ

• Λ-λογισμός‎ (11 Σ)

Π

• Προτασιακός λογισμός‎ (3 Σ)

• Μαθηματική λογική

Α

• Αλγόριθμος
• Αλγεβρική σημασιολογία
• Αν και μόνο αν
• Αναδρομή
• Αναδρομικό σύνολο
• Αξίωμα
• Αξιώματα Πεάνο
• Αρίθμηση Γκέντελ

Ε

• Εις άτοπον απαγωγή

Η

• Ημι-υπολογίσιμη συνάρτηση

Θ

• Θεμέλια των μαθηματικών
• Θεωρήματα μη πληρότητας του Γκέντελ
• Θεωρία (μαθηματική λογική)
• Θεωρία συνόλων

Ι

• Ισότητα (μαθηματικά)

Λ

• Λήμμα του Τσορν
• Λογικές πράξεις
• Λογικές συναρτήσεις
• Λογική ανώτερου βαθμού
• Λογική δευτέρου βαθμού
• Λογική διάζευξη
• Λογική με πολλούς τύπους
• Λογική πρώτου βαθμού
• Λογική Σχεδίαση

Μ

• Μέθοδος διάψευσης
• Μαθηματική απόδειξη
• Μαθηματική επαγωγή

Π

• Πράξη (μαθηματικά)
• Προτασιακός λογισμός

Σ

• Συμβολική λογική
• Συμπερασματικό σύστημα
• Συμπερασματικός κανόνας

Τ

• Ταύτιση
• Ταυτότητα (μαθηματικά)
• Τυπική γλώσσα
• Τυπικό σύστημα

Υ

• Υπολογισμός