34 Beziehungen: Allan Marquand, Alonzo Church, Argument, Aristoteles, Aussage, Aussage (Logik), Aussagenlogik, Begriff (Philosophie), Begriffslogik, Belegung (Logik), Brute-Force-Methode, Burroughs Corporation, Charles Sanders Peirce, Erfüllbarkeit, Ferranti, Friedrich L. Bauer, Infixnotation, Informatik, LRR1, Martha Kneale, Martin Gardner, Normalform, Polnische Notation, Prämisse, Ramon Llull, Rechenmaschine, Rechenschieber, Syllogismus, Taschenrechner, The National Museum of Computing, Wahrheitstabelle, Willard Van Orman Quine, William Kneale, William Stanley Jevons.
Allan Marquand
Allan Marquand (* 1853; † 1924) lehrte erst Logik und später Kunstgeschichte an der Princeton University.
Neu!!: Logische Maschine und Allan Marquand · Mehr sehen »
Alonzo Church
Alonzo Church (* 14. Juni 1903 in Washington, D.C.; † 11. August 1995 in Hudson, Ohio) war ein US-amerikanischer Mathematiker, Logiker und Philosoph und einer der Begründer der theoretischen Informatik.
Neu!!: Logische Maschine und Alonzo Church · Mehr sehen »
Argument
Wesentliche Bestandteile eines Arguments: Prämissen, Konklusion, Schluss Ein Argument (von) wird typischerweise dazu verwendet, etwas zu begründen oder jemanden zu überzeugen.
Neu!!: Logische Maschine und Argument · Mehr sehen »
Aristoteles
Aristoteles (Betonung lateinisch und deutsch: Aristóteles; * 384 v. Chr. in Stageira; † 322 v. Chr. in Chalkis auf Euböa) war ein griechischer Universalgelehrter.
Neu!!: Logische Maschine und Aristoteles · Mehr sehen »
Aussage
Der Ausdruck Aussage ist mehrdeutig.
Neu!!: Logische Maschine und Aussage · Mehr sehen »
Aussage (Logik)
Eine Aussage im Sinn der aristotelischen Logik ist ein sprachliches Gebilde, von dem es sinnvoll ist, zu fragen, ob es wahr oder falsch ist (so genanntes Aristotelisches Zweiwertigkeitsprinzip).
Neu!!: Logische Maschine und Aussage (Logik) · Mehr sehen »
Aussagenlogik
Die Aussagenlogik ist ein Teilgebiet der Logik, das sich mit Aussagen und deren Verknüpfung durch Junktoren befasst, ausgehend von strukturlosen Elementaraussagen (Atomen), denen ein Wahrheitswert zugeordnet wird.
Neu!!: Logische Maschine und Aussagenlogik · Mehr sehen »
Begriff (Philosophie)
Im weiteren Sinne bezeichnet das Wort Begriff in der Philosophie, wie ein Wort zu verstehen ist (im Sinne von „zu begreifen“).
Neu!!: Logische Maschine und Begriff (Philosophie) · Mehr sehen »
Begriffslogik
Begriffslogik oder terministische bzw.
Neu!!: Logische Maschine und Begriffslogik · Mehr sehen »
Belegung (Logik)
Im Rahmen der Interpretation formaler Systeme ist eine Belegung.
Neu!!: Logische Maschine und Belegung (Logik) · Mehr sehen »
Brute-Force-Methode
Die Brute-Force-Methode (von ‚rohe Gewalt‘) bzw.
Neu!!: Logische Maschine und Brute-Force-Methode · Mehr sehen »
Burroughs Corporation
Burroughs-Additionsmaschine Burroughs-Addiermaschine Die Burroughs Corporation war ein US-amerikanischer Bürogerätehersteller.
Neu!!: Logische Maschine und Burroughs Corporation · Mehr sehen »
Charles Sanders Peirce
zentriert Charles Santiago Sanders Peirce (ausgesprochen: /'pɜrs/ wie: pörs) (* 10. September 1839 in Cambridge, Massachusetts; † 19. April 1914 in Milford, Pennsylvania) war ein US-amerikanischer Mathematiker, Philosoph, Logiker und Semiotiker.
Neu!!: Logische Maschine und Charles Sanders Peirce · Mehr sehen »
Erfüllbarkeit
Erfüllbarkeit ist in der Logik und Mathematik ein metasprachliches Prädikat für die Eigenschaft von logischen Aussagen und Aussageformen.
Neu!!: Logische Maschine und Erfüllbarkeit · Mehr sehen »
Ferranti
ZN414, ein integrierter Geradeausempfänger für Mittelwelle Ferranti Limited war ein 1885 von Sebastian Ziani de Ferranti gegründetes britisches Unternehmen der Elektroindustrie.
Neu!!: Logische Maschine und Ferranti · Mehr sehen »
Friedrich L. Bauer
Friedrich L. Bauer (2004) Friedrich Ludwig Bauer (* 10. Juni 1924 in Regensburg; † 26. März 2015) war ein deutscher Pionier der Informatik.
Neu!!: Logische Maschine und Friedrich L. Bauer · Mehr sehen »
Infixnotation
Die Infixnotation ist die allgemein gebräuchliche Form der mathematischen Notation, bei der die Operatoren zwischen die Operanden gesetzt werden.
Neu!!: Logische Maschine und Infixnotation · Mehr sehen »
Informatik
Lambda lc.svg Sorting quicksort anim frame.svg Utah teapot simple 2.png 3-Tasten-Maus Microsoft.jpg Bei der Informatik handelt es sich um die Wissenschaft von der systematischen Darstellung, Speicherung, Verarbeitung und Übertragung von Daten, wobei besonders die automatische Verarbeitung mit Computern betrachtet wird.
Neu!!: Logische Maschine und Informatik · Mehr sehen »
LRR1
Die Logistische Relaisrechenmaschine 1 (LRR1), eine aussagenlogische Maschine, wurde 1954 von Johann Weipoltshammer im Rahmen seiner vom jungen Heinz Zemanek betreuten Diplomarbeit entwickelt.
Neu!!: Logische Maschine und LRR1 · Mehr sehen »
Martha Kneale
Martha Kneale (geborene Hurst; * 1909; † 2. Dezember 2001) war eine britische Philosophin und Logikhistorikerin.
Neu!!: Logische Maschine und Martha Kneale · Mehr sehen »
Martin Gardner
Martin Gardner 300px Martin Gardner (* 21. Oktober 1914 in Tulsa, Oklahoma; † 22. Mai 2010 in Norman, Oklahoma) war ein US-amerikanischer Wissenschaftsjournalist.
Neu!!: Logische Maschine und Martin Gardner · Mehr sehen »
Normalform
Eine Normalform (auch kanonische Form) ist eine mathematische Darstellung mit bestimmten von der Art der Normalform vorgegebenen Eigenschaften.
Neu!!: Logische Maschine und Normalform · Mehr sehen »
Polnische Notation
Polnische Notation (PN), auch Normale Polnische Notation (NPN), Präfixnotation, Łukasiewicz-Notation oder Warschauer Normalform genannt, ist (in der Informatik und mathematischen Logik) eine klammerfreie Schreibweise für Formeln bzw.
Neu!!: Logische Maschine und Polnische Notation · Mehr sehen »
Prämisse
Beispiel aus Syllogismus Als Prämisse (lat. praemissa „das Vorausgeschickte“) oder Vordersatz bezeichnet man in der Logik eine Voraussetzung oder Annahme.
Neu!!: Logische Maschine und Prämisse · Mehr sehen »
Ramon Llull
Ramon Llull (deutsch Raimund Lull, Vorname auch in der Schreibweise Raymund oder Ramund; latinisiert Raimundus Lullus, auch Raymundus Lull(i)us; * um 1232 in Palma de Mallorca; † Anfang 1316 auf einer Fahrt von Tunis nach Mallorca) war ein mallorquinischer Philosoph, Logiker, Grammatiker und franziskanischer Theologe.
Neu!!: Logische Maschine und Ramon Llull · Mehr sehen »
Rechenmaschine
Rechenmaschine ''Resulta BS 7'' Mechanische Rechenmaschine mit Ausdruck Rechenmaschine Walther WSR 160 Eine Rechenmaschine, veraltet auch Kalkulator, ist eine Maschine, die mathematische Berechnungen mechanisch ausführen kann.
Neu!!: Logische Maschine und Rechenmaschine · Mehr sehen »
Rechenschieber
ARISTO). Die Zunge ist für eine Multiplikation mit 1,30 eingestellt, die Stellung des Läufers zeigt das Ergebnis 2,60 für den Faktor 2,00. Frank Whittle bei der praktischen Anwendung Ein Rechenschieber oder Rechenstab ist ein analoges Rechenhilfsmittel (auch Analogrechner genannt) zur mechanisch-grafischen Durchführung von Grundrechenarten, vorzugsweise der Multiplikation und Division.
Neu!!: Logische Maschine und Rechenschieber · Mehr sehen »
Syllogismus
Die Syllogismen (von syllogismós „ Zusammenrechnen“, „logischer Schluss“) sind ein Katalog bestimmter Typen logischer Schlüsse.
Neu!!: Logische Maschine und Syllogismus · Mehr sehen »
Taschenrechner
Grafiktaschenrechner TI-89 Ein Taschenrechner ist eine tragbare, handliche elektronische Rechenmaschine, mit deren Hilfe numerische Berechnungen ausgeführt werden können.
Neu!!: Logische Maschine und Taschenrechner · Mehr sehen »
The National Museum of Computing
Das Nationale Computer-Museum des Vereinigten Königreichs widmet sich dem Erhalt und der öffentlichen Präsentation historischer Rechenmaschinen, speziell den Röhrenrechnern ab den 1940er-Jahren.
Neu!!: Logische Maschine und The National Museum of Computing · Mehr sehen »
Wahrheitstabelle
Animation zur Erstellung einer Wahrheitstafel Eine Wahrheitstabelle oder Wahrheitstafel, auch Wahrheitswert-Tabelle oder Wahrheitsmatrix genannt, ist eine tabellarische Aufstellung des Wahrheitswertverlaufs einer logischen Aussage.
Neu!!: Logische Maschine und Wahrheitstabelle · Mehr sehen »
Willard Van Orman Quine
Willard Van Orman Quine 1980 Willard Van Orman Quine (* 25. Juni 1908 in Akron, Ohio; † 25. Dezember 2000 in Boston, Massachusetts) war ein amerikanischer Philosoph und Logiker.
Neu!!: Logische Maschine und Willard Van Orman Quine · Mehr sehen »
William Kneale
William Calvert Kneale (* 22. Juni 1906 in Liverpool; † 24. Juni 1990 in Grassington, Yorkshire, UK) war ein britischer Logiker, Logikhistoriker und Wissenschaftstheoretiker.
Neu!!: Logische Maschine und William Kneale · Mehr sehen »
William Stanley Jevons
William Stanley Jevons William Stanley Jevons (* 1. September 1835 in Liverpool; † 13. August 1882 in Bexhill-on-Sea) war ein bedeutender englischer Ökonom und Philosoph.
Neu!!: Logische Maschine und William Stanley Jevons · Mehr sehen »