| dbo:abstract
|
- Als logische Maschinen werden bzw. wurden – analog zur Rechenmaschine – Geräte bezeichnet, die logische Aufgabenstellungen behandeln und lösen. Idealerweise sollen logische Maschinen Argumente auf ihre Gültigkeit untersuchen; in der Praxis erreichen logische Maschinen dieses Ziel häufiger mittelbar, indem sie ermitteln, welche Schlüsse sich aus gegebenen Prämissen überhaupt ziehen lassen. Konkret gebaut wurden zunächst Maschinen, die direkt oder indirekt die Gültigkeit von Syllogismen überprüfen, später allerdings vor allem solche, die mechanische Tätigkeiten der Aussagenlogik automatisieren, zum Beispiel das Aufstellen von Wahrheitstabellen oder die Bildung von Normalformen. (de)
- A logical machine is a tool containing a set of parts that uses energy to perform formal logic operations. Early logical machines were mechanical devices that performed basic operations in Boolean logic. Contemporary logical machines are computer-based electronic programs that perform proof assistance with theorems in mathematical logic. In the 21st century, these proof assistant programs have given birth to a new field of study called mathematical knowledge management. (en)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 3817 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| rdfs:comment
|
- Als logische Maschinen werden bzw. wurden – analog zur Rechenmaschine – Geräte bezeichnet, die logische Aufgabenstellungen behandeln und lösen. Idealerweise sollen logische Maschinen Argumente auf ihre Gültigkeit untersuchen; in der Praxis erreichen logische Maschinen dieses Ziel häufiger mittelbar, indem sie ermitteln, welche Schlüsse sich aus gegebenen Prämissen überhaupt ziehen lassen. Konkret gebaut wurden zunächst Maschinen, die direkt oder indirekt die Gültigkeit von Syllogismen überprüfen, später allerdings vor allem solche, die mechanische Tätigkeiten der Aussagenlogik automatisieren, zum Beispiel das Aufstellen von Wahrheitstabellen oder die Bildung von Normalformen. (de)
- A logical machine is a tool containing a set of parts that uses energy to perform formal logic operations. Early logical machines were mechanical devices that performed basic operations in Boolean logic. Contemporary logical machines are computer-based electronic programs that perform proof assistance with theorems in mathematical logic. In the 21st century, these proof assistant programs have given birth to a new field of study called mathematical knowledge management. (en)
|
| rdfs:label
|
- Logische Maschine (de)
- Logical machine (en)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
