Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: dcs=410.1*
![]() |
|
Link zu diesem Datensatz | https://d-nb.info/gnd/4745879-3 |
Sachbegriff | Schlussregel |
Quelle |
Spektrum Lex. Mathematik Bussmann |
Erläuterungen | Definition: Transformationsregel (Umformungsregel) in einem logischen Kalkül, d. h. eine Regel, die es erlaubt, bestehende Ausdrücke einer formalen Sprache so umzuformen, dass daraus neue Ausdrücke entstehen, die aus den bestehenden Ausdrücken folgen. (Wikipedia) |
Oberbegriffe | Transformationsregel |
DDC-Notation | 410.151 |
Systematik | 28 Mathematik ; 4.3 Erkenntnistheorie, Logik ; 11.1a Sprache (Allgemeines) |
Typ | Allgemeinbegriff (saz) |
Maschinell verknüpft mit |
7 Publikationen
|
