- Logikkalkül
- Lo|gik|kal|külder; -s, -e<zu ↑Logik>formalisiertes Zeichen, das als logische Konstante, Variable, Aussage usw. gedeutet wird (Informatik).
Das große Fremdwörterbuch. 2013.
Logikkalkül
Schlagen Sie auch in anderen Wörterbüchern nach:
Logikkalkül — Logikkalkül, ein Verfahren, die Sätze und Schlußweisen der Logik mit Hilfe einiger weniger Zeichen durch mathematische Formeln auszudrücken. Man wird auf diese Weise in den Stand gesetzt, mit Begriffen und Urteilen zu rechnen, und wird dadurch… … Meyers Großes Konversations-Lexikon
Logikkalkül — Logikkalkül, mathematische Behandlung der Logik auf Grund besonderer Zeichensprachen. Literatur: Schröder, E., Vorlesungen über die Algebra der Logik, 1–3, Leipzig 1890–95 … Lexikon der gesamten Technik
Logikkalkül — Die Artikel Formale Sprache, Formales System, Formales System (Logik) und Kalkül überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese… … Deutsch Wikipedia
Boole — George Boole, etwa 1860 George Boole [ˌdʒɔːdʒ ˈbuːl] (* 2. November 1815 in Lincoln, England; † 8. Dezember 1864 in Ballintemple, in der Grafschaft Cork, Irland) war ein englischer … Deutsch Wikipedia
George Boole — [ˌdʒɔːdʒ ˈbuːl] (* 2. November 1815 in Lincoln, England; † 8. Dezember 1864 in Ballintemple, in der Grafschaft Cork, Irland) war ein englischer Mathematiker (Autodidakt), Logiker und Philosoph … 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
Joseph Maria Bochenski — Joseph Maria Bocheński (* 30. August 1902 in Czuszów, Polen; † 8. Februar 1995 in Freiburg im Üchtland, Schweiz), meist kurz I. M. Bocheński, war ein polnischer Philosoph und Logiker. Bochenski im Dezember 1991 in seiner Wohnung im… … Deutsch Wikipedia
Kalkül — Als Kalkül (der, das, fr. calcul „Rechnung“; von lat. calculus „Rechenstein, Spielstein“) versteht man in den formalen Wissenschaften wie Logik und Mathematik ein System von Regeln, mit denen sich aus gegebenen Aussagen (Axiomen) weitere Aussagen … Deutsch Wikipedia
Systeme natürlichen Schließens — Systeme (oder Kalküle) natürlichen Schließens bezeichnen in der mathematischen und philosophischen Logik einen Kalkültyp, der 1934 von Gerhard Gentzen und etwa zeitgleich von Stanisław Jaśkowski, einem Vertreter der Lemberg Warschau Schule,… … Deutsch Wikipedia
Boole — I Boole [buːl], George, britischer Mathematiker und Logiker, * Lincoln 2. 11. 1815, ✝ Ballintemple (bei Cork, Irland) 8. 12. 1864. Boole erwarb seine Kenntnisse der Mathematik auf autodidaktischen Weg und wurde 1849 Professor für Mathematik in… … Universal-Lexikon
