| 000 | 01963nam a2200481 c 4500 | ||
|---|---|---|---|
| 001 | koha000899853 | ||
| 008 | 221111s2022 ru a f b 000 0 rus d | ||
| 020 | _a9785951926371 | ||
| 020 | _a9785971093466 | ||
| 035 | _akoha000899853 | ||
| 039 |
_z19 _b106 |
||
| 040 |
_aRU-ToGU _brus _cRU-ToGU |
||
| 080 | _a007 | ||
| 100 | 1 |
_aГлушков, Виктор Михайлович _d1923-1982 _9164934 |
|
| 245 | 1 | 0 |
_aВведение в кибернетику _cВ. М. Глушков |
| 250 | _aИзд. 2-е | ||
| 260 |
_aМосква _bЛенанд _c2022 _9689840 |
||
| 300 |
_a323, [1] с. _bил. |
||
| 336 | _aТекст | ||
| 337 | _aнепосредственный | ||
| 490 | 1 | _aИз наследия академика В. М. Глушкова | |
| 490 | 1 |
_aНауки об искусственном _v39 |
|
| 504 | _aБиблиогр.: с. 319-322 | ||
| 653 | _aкибернетика | ||
| 653 | _aалгоритмов теория | ||
| 653 | _aбулевы функции | ||
| 653 | _aисчисление высказываний | ||
| 653 | _aавтоматов теория | ||
| 653 | _aсамоорганизующиеся системы | ||
| 653 | _aсамоорганизация автоматов | ||
| 653 | _aэлектронные цифровые машины | ||
| 653 | _aпрограммирование | ||
| 653 | _aпрограммный автомат | ||
| 653 | _aАЛГОЛ-60, алгоритмический язык | ||
| 653 | _aисчисление предикатов | ||
| 653 | _aГеделя теорема | ||
| 653 | _aарифметика формальная | ||
| 653 | _aавтоматизация доказательств | ||
| 653 | _aдедуктивные теории | ||
| 830 | 0 |
_aИз наследия академика В. М. Глушкова _9852303 |
|
| 830 | 0 |
_974743 _aНауки об искусственном |
|
| 852 | 4 |
_aRU-ToGU _nru _h007 _iГ555 |
|
| 999 | _c899853 | ||