- Aussagenkalkül
-
m лог.пропозициональное исчисление
Большой немецко-русский и русско-немецкий словарь. 2003.
Большой немецко-русский и русско-немецкий словарь. 2003.
Aussagenkalkül — Ein Aussagenkalkül ist ein Kalkül für die Aussagenlogik. Er leitet aus einer gegebenen Menge von Aussagen neue Aussagen her, die aus den gegebenen Aussagen aussagenlogisch folgen. Allgemein werden die Aussagen, aus denen hergeleitet wird,… … Deutsch Wikipedia
Iwan Iwanowitsch Schegalkin — (Иван Иванович Жегалкин; wiss. Transliteration Ivan Ivanovič Žegalkin) (* 22. Julijul./ 3. August 1869greg. in Mzensk; † 28. März 1947 in Moskau ) war ein russischer Logiker und Mathematiker. Schegalkin war von 1902 bis 1911 Dozent … Deutsch Wikipedia
Berechnungsmodell — Dieser Artikel wurde auf der Qualitätssicherungsseite des Portals Mathematik eingetragen. Dies geschieht, um die Qualität der Artikel aus dem Themengebiet Mathematik auf ein akzeptables Niveau zu bringen. Dabei werden Artikel gelöscht, die nicht… … Deutsch Wikipedia
Folgerungsregel — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung … Deutsch Wikipedia
Inferenzregel — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung … Deutsch Wikipedia
Inferenzregeln — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung … Deutsch Wikipedia
Kalküle — Dieser Artikel wurde auf der Qualitätssicherungsseite des Portals Mathematik eingetragen. Dies geschieht, um die Qualität der Artikel aus dem Themengebiet Mathematik auf ein akzeptables Niveau zu bringen. Dabei werden Artikel gelöscht, die nicht… … Deutsch Wikipedia
Liste von Mathematikern — Diese Liste bedeutender Mathematiker stellt eine Auswahl von Mathematikern von der Antike bis zu Gegenwart dar. Die Auswahl der Mathematiker richtet sich dabei nach ihren wissenschaftlichen Leistungen oder ihrem Bekanntheitsgrad, aufgrund deren… … Deutsch Wikipedia
Kurt Gödel — Para el lenguaje de programación, véase Gödel (lenguaje de programación). Kurt Gödel Kurt Gödel Nacimiento 28 de abril … Wikipedia Español
Kalkül — längerfristig ausgerichtetes Handeln; Masterplan; Plan; Strategie; Schlachtplan (umgangssprachlich); Überlegung; Berechnung * * * Kal|kül I 〈m. 1 oder n … Universal-Lexikon
Минимальная логика — логическая система, являющаяся ослаблением интуиционистской логики (См. Интуиционистская логика) и конструктивной логики (См. Конструктивная логика) за счёт исключения из числа постулатов формулы ⌉А ⊃ (А ⊃ В) (интерпретируемой как «из… … Большая советская энциклопедия