Metadata
Author: springer
Data
German[de]
Es gibt drei Arten von logischen Maschinen, solche für den Aussagenkalkül, solche für den Prädikatenkalkül und solche für die induktive Logik (plausibles Schließen) oder neuronale Automaten.
English[en]
There are three types of logical machines, namely those for the propositional calculus, those for the calculus of predicates, and those for inductive logic (plausible inference) or neuronal automata.
French[fr]
Il existe trois types de machines logiques: pour le calcul des propositions, pour le calcul des prédicats et pour la logique inductive (plausible raisonnement) nommés aussi automates neuronaux.