Непейвода Н.Н. Программирование. Раздел 1

Непейвода Н.Н. Программирование. Страница 6

А.2. Вычислительные интерпретации 791

А.З. Модели Янова 796

А.4. Автоматы и машины Тьюринга 797

А.5. Алгоритмы над структурами 799

А.6. Рекурсии 800

7. Совместность и параллелизм 810

Приложение В. Методологические результаты 813

1. Логические парадоксы 813

В.2. Теоремы Тарского и Геделя 815

В.З. Идеальные и реальные понятия по Гильберту 817

В.4. Парадокс изобретателя 818

В.5. Типы и порядки 819

В.6. Чистые теоремы существования 820

В.7. Доказательства и программы 822

8. Основные понятия неформализуемости 824

Приложение С. Знания, данные, умения 826

СЛ. Анализ понятий 826

2. Уровни знаний и умений 827

Литература 839

Предметный указатель 846

Предисловие

Данное учебное пособие предназначено, в первую очередь, для тех, кто пришел в вуз, уже имея понятие о программировании (либо изучал его в школе, либо был самоучкой), и намерен стать профессионалом в области ин­формационных технологий. Такой студент часто имеет массу предрассудков, связанных с теми разрозненными и обрывочными сведениями и навыками, которые он успел накопить. Заложить прочную базу основных понятий и вы­работать умение ориентироваться в системе понятий программирования — основная цель пособия.

Это пособие доступно и для начинающего, если он параллельно изучает какойто конкретный язык программирования.

В данном пособии мы старались следовать стратегии опережающего обу­чения, сформулированной В. В. Милашевичем [57]. Суть ее в том, чтобы максимально выявить высокоуровневые структуры, лежащие за изучаемыми конкретными понятиями, и тем самым обеспечить обучающемуся, облада­ющему достаточным интеллектуальным потенциалом, возможность быстро осваивать новые концепции и, более того, до некоторой степени предуга­дывать возможное изменение концептуальной базы и работать с заделом на перспективу.

Новости

  • 1
  • 2
Prev Next

Ракета "Ангара-А5В" в ближайшее десятилетие не полетит

24.01.2016

Ракета "Ангара-А5В" в ближайшее десятилетие не полетит

Роскосмос не планирует в течение ближайшего десятилетия осуществлять пуск тяжёлой ракеты-носителя А...

Ученые РФ опровергли выводы исследований о вреде ГМО

24.01.2016

Ученые РФ опровергли выводы исследований о вреде ГМО

Исследователи из Института проблем передачи информации (ИППИ РАН) проанализировали несколько самых п...

Летающие "Крокодилы"

24.01.2016

Летающие "Крокодилы"

20 удивительных фактов о боевом вертолете Ми-24.Этот вертолет стал таким же узнаваемым символом сове...

В Аргентине описали новый вид динозавра-гиганта

24.01.2016

О ранее неизвестном виде динозавра, относящемуся к инфраотряду зауроподов, рассказали аргентинские п...

Реклама