Aussagenkalkül

См. также в других словарях:

• 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

• Минимальная логика —         логическая система, являющаяся ослаблением интуиционистской логики (См. Интуиционистская логика) и конструктивной логики (См. Конструктивная логика) за счёт исключения из числа постулатов формулы ⌉А ⊃ (А ⊃ В) (интерпретируемой как «из… …   Большая советская энциклопедия