-
1 правило вывода
n1) comput. Inferenzregel2) electr. (логического) Ableitungsregel, (логического) Schlussregel4) microel. (логического) Inferenzregel -
2 rule of inference
-
3 sound rule of inference
English-german engineering dictionary > sound rule of inference
-
4 правило вывода
Ableitungsregel, Inferenzregel, Schlußregel -
5 inference rule
n AI Inferenzregel f
См. также в других словарях:
Inferenzregel — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung … Deutsch Wikipedia
Epistemische Logik — Die epistemische Logik (von griechisch επιστήμη Wissenschaft, Wissen), auch Wissenslogik befasst sich mit Glauben und Wissen bei Individuen sowie Gruppen. Ziel von Untersuchungen mittels epistemischer Logik ist oft ein dynamisches oder flexibles… … Deutsch Wikipedia
Mathematische Grundlagen — Principia Mathematica („mathematische Prinzipien“ bzw. „Mathematische Grundlagen“) ist ein Werk in drei Bänden über die Grundlagen der Mathematik von Bertrand Russell und Alfred North Whitehead, erstmals erschienen zwischen 1910 und 1913. Die… … Deutsch Wikipedia
Mathematische Prinzipien — Principia Mathematica („mathematische Prinzipien“ bzw. „Mathematische Grundlagen“) ist ein Werk in drei Bänden über die Grundlagen der Mathematik von Bertrand Russell und Alfred North Whitehead, erstmals erschienen zwischen 1910 und 1913. Die… … Deutsch Wikipedia
Operationale Semantik — Die operationelle Semantik ist eine Technik der Informatik um die Bedeutung beziehungsweise die Semantik von Computerprogrammen zu beschreiben. Die Wirkung eines Programms wird aufgefasst als schrittweise Zustandsänderung einer abstrakten… … Deutsch Wikipedia
Principia mathematica — („mathematische Prinzipien“ bzw. „Mathematische Grundlagen“) ist ein Werk in drei Bänden über die Grundlagen der Mathematik von Bertrand Russell und Alfred North Whitehead, erstmals erschienen zwischen 1910 und 1913. Die Principia Mathematica… … Deutsch Wikipedia
Schlussregel — Eine Schlussregel (oder Inferenzregel) bezeichnet eine Transformationsregel (Umformungsregel) in einem Kalkül der formalen Logik, d. h. eine syntaktische Regel, nach der es erlaubt ist, von bestehenden Ausdrücken einer formalen Sprache zu… … Deutsch Wikipedia
Wissenslogik — Dieser Artikel wurde in der Qualitätssicherung Philosophie eingetragen. Dabei werden Artikel gelöscht, die nach Fristablauf sich als nicht relevant herausstellen oder kein akzeptables Niveau erreicht haben. Bitte hilf mit, die inhaltlichen Mängel … Deutsch Wikipedia