Logikkalkül

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.



http://www.zeno.org/Lueger-1904.

Игры ⚽ Поможем написать курсовую

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 — 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

  • Logikkalkül — Lo|gik|kal|kül der; s, e <zu ↑Logik> formalisiertes Zeichen, das als logische Konstante, Variable, Aussage usw. gedeutet wird (Informatik) …   Das große Fremdwörterbuch

  • 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

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”