Wyniki wyszukiwania:

Vvoditsya obobshchenie propozitsional'nogo yazyka, pozvolyayushchee predstavlyat' vse vychislimye funktsii i arifmeticheskie programmy. Etot yazyk polezen pri analize vychislitel'nykh kharakteristik arifmeticheskikh programm. V chastnosti, pokazyvaetsya, chto funktsii arifmetiki Presburgera vychislimy za lineynoe vremya, a dlina vychisleniya arifmeticheskoy programmy opredelyaetsya moshchnost'yu faktor-mnozhestva otnosheniya ekvivalentnosti chastichnykh oznachivaniy vkhoda programmy. Tem samym udaetsya svyazat' slozhnost' vychisleniya programmy s vidom vychislyaemoy eyu funktsii.

Eta kniga - o naibolee znachimykh mekhanizmakh, sozdannykh v dvortsovom ansamble g. Petergofa pod Sankt-Peterburgom v period XVIII-XIX vekov - pod"emnom stole na 14 person v Ermitazhe Nizhnego parka (Imperator Petr I) i lifte s ruchnym privodom v Fermerskom dvortse parka Aleksandriya (Imperator Aleksandr II). V retrospektive i s opisaniem sovremennogo sostoyaniya. Pod uglom zreniya istorii tekhniki (mekhaniki) na styke s arkhitekturoy i iskusstvom, preemstvennosti inzhenernoy i izobretatel'skoy mysli. O trudnom, uvlekatel'nom, pouchitel'nom i blagorodnom dele vossozdaniya i restavratsii...