Autorenfreundlich Bücher kaufen?!
Beschreibung
Vwoditsq obobschenie propozicional'nogo qzyka, pozwolqüschee predstawlqt' wse wychislimye funkcii i arifmeticheskie programmy. Jetot qzyk polezen pri analize wychislitel'nyh harakteristik arifmeticheskih programm. V chastnosti, pokazywaetsq, chto funkcii arifmetiki Presburgera wychislimy za linejnoe wremq, a dlina wychisleniq arifmeticheskoj programmy opredelqetsq moschnost'ü faktor-mnozhestwa otnosheniq äkwiwalentnosti chastichnyh oznachiwanij whoda programmy. Tem samym udaetsq swqzat' slozhnost' wychisleniq programmy s widom wychislqemoj eü funkcii.
Details
| Verlag | LAP LAMBERT Academic Publishing |
| Ersterscheinung | 04. Februar 2014 |
| Maße | 22 cm x 15 cm x 1.1 cm |
| Gewicht | 268 Gramm |
| Format | Softcover |
| ISBN-13 | 9783846513118 |
| Seiten | 168 |
Bekannt durch
