| 000 | 04438nam0a2200685 4500 | ||
|---|---|---|---|
| 001 | 96259 | ||
| 005 | 20231029174333.0 | ||
| 010 |
_a5769513632 _b(в пер.) _b5100 экз. |
||
| 021 |
_aRU _b05-306 _905-16 |
||
| 035 | _a(RuTPU)RU\TPU\book\103056 | ||
| 090 | _a96259 | ||
| 100 | _a20060511d2004 m y0rusy5002 ca | ||
| 101 | 0 | _arus | |
| 102 | _aRU | ||
| 105 | _aa j 001zy | ||
| 200 | 1 |
_aМатематическая логика и теория алгоритмов _eучебное пособие _fВ. И. Игошин |
|
| 210 |
_aМосква _cAcademia _d2004 |
||
| 215 |
_a448 с. _cил. |
||
| 225 | 1 | _aВысшее профессиональное образование. Педагогические специальности | |
| 320 | _aБиблиогр.: с. 435-442. | ||
| 330 | _aПредлагаемое учебное пособие составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (Игошин В. И. Задачи и упражнения по математической логике и теории алгоритмов. — М.: Изд. центр «Академия», 2004). Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализа, геометрии, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами, информатикой, системами искусственного интеллекта. Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям «Математика», «Прикладная математика», «Математик-педагог», «Учитель математики». | ||
| 451 | 1 |
_0(RuTPU)RU\TPU\book\148282 _y978-5-7695-5200-7 _tМатематическая логика и теория алгоритмов _oучебное пособие _fВ. И. Игошин _e3-е изд., стер. _cМосква _nАкадемия _d2008 _p448 с. _sВысшее профессиональное образование. Педагогические специальности _aИгошин, Владимир Иванович |
|
| 606 |
_aМатематическая логика _2stltpush _3(RuTPU)RU\TPU\subj\41205 |
||
| 606 |
_aАлгоритмы, теория _2stltpush _3(RuTPU)RU\TPU\subj\58912 |
||
| 610 | 1 | _aтеория | |
| 610 | 1 | _aалгебра | |
| 610 | 1 | _aвысказывания | |
| 610 | 1 | _aформулы | |
| 610 | 1 | _aлогическое следование | |
| 610 | 1 | _aбулевы функции | |
| 610 | 1 | _aмножества | |
| 610 | 1 | _aотношения | |
| 610 | 1 | _aфункции | |
| 610 | 1 | _aЭВМ | |
| 610 | 1 | _aрелейно-контактные схемы | |
| 610 | 1 | _aформализованное исчисление | |
| 610 | 1 | _aпредикаты | |
| 610 | 1 | _aлогические операции | |
| 610 | 1 | _aкванторные операции | |
| 610 | 1 | _aнеформальные аксиоматические теории | |
| 610 | 1 | _aформальные аксиоматические теории | |
| 610 | 1 | _aмашины Тьюринга | |
| 610 | 1 | _aрекурсивные функции | |
| 610 | 1 | _aалгоритмы Маркова | |
| 610 | 1 | _aтеорема Геделя | |
| 610 | 1 | _aкомпьютеры | |
| 610 | 1 | _aинформатика | |
| 610 | 1 | _aискусственный интеллект | |
| 610 | 1 | _aпрограммное обеспечение | |
| 610 | 1 | _aучебные пособия | |
| 675 |
_a510.6(075.8) _v3 |
||
| 675 |
_a510.5(075.8) _v3 |
||
| 700 | 1 |
_aИгошин _bВ. И. _gВладимир Иванович |
|
| 801 | 0 |
_aRU _bRKP _c20050214 _gPSBO |
|
| 801 | 1 |
_aRU _b63413507 _c20060511 _gPSBO |
|
| 801 | 2 |
_aRU _b63413507 _c20201201 _gPSBO |
|
| 900 | _aМатематика | ||
| 900 | _aТеория алгоритмов и автоматов | ||
| 942 | _cBK | ||
| 952 | _b010101 | ||