Информационный сайт

 

Реклама
bulletinsite.net -> Книги на сайте -> Программисту -> Непейвода Н.Н. -> "Основания программирования " -> 316

Основания программирования - Непейвода Н.Н.

Непейвода Н.Н., Скопин И.Н. Основания программирования — Институт компьютерных исследований , 2002. — 919 c.
Скачать (прямая ссылка): osnovanprogramm2002.pdf
Предыдущая << 1 .. 310 311 312 313 314 315 < 316 >

a.3. Модели Янова...........................844
a.4. Автоматы и машины Тьюринга..................845
a.5. Алгоритмы над структурами...................848
a.6. Рекурсии..............................849
a.7. Совместность и параллелизм...................860
B. Методологические результаты 863
b.2. Теоремы Тарского и Геделя.................... 866
b.3. Идеальные и реальные понятия по Гильберту.......... 867
b.4. Парадокс изобретателя...................... 868
b.5. Типы и порядки.......................... 869
b.6. Чистые теоремы существования................. 870
b.7. Доказательства и программы................... 872
b.8. Основные понятия неформализуемости............. 874
C. Знания, данные, умения 877
с.2. Уровень насекомого........................879
c.3. Стереотипное реагирование ...................880
с.4. Тупость...............................882
c.5. Комбинационное (комбинаторное) планирование ........ 882
c.6. Глупость..............................884
c.7. Стратегическое планирование и преобразование действий . . 885
c.8. Релятивизм.............................887
Предыдущая << 1 .. 310 311 312 313 314 315 < 316 >
Реклама
Авторские права © 2009 AdsNet. Все права защищены.
Rambler's Top100