Темы для рефератов

1. Проблема алгоритмической разрешимости в математике.

2. Основатели теории алгоритмов – Клини, Черч, Пост, Тьюринг.

3. Основные определения и теоремы теории рекурсивных функций.

4. Тезис Черча.

5. Проблемы вычислимости в математической логике.

6. Машина Поста.

7. Машина Тьюринга.

8. Нормальные алгоритмы Маркова и ассоциативные исчисления в исследованиях по искусственному интеллекту.

Портреты ученых, приведенных в тексте

1. Стр. 4. Аль-Хорезми (783–850).

2. Стр. 8. Блез Паскаль (1623–1662)

3. Стр. 13. Никлаус Вирт (род. 1934)

4. Стр. 19. Эдсгер Дейкстра (1930-2002)

5. Стр. 26. Эмиль Пост (1897-1954)

6. Стр. 26. Алан Тьюринг (1912–1954)

7. Стр. 35. Андрей Марков (1903–1979)

8. Стр. 40. Андерс Хейлсберг (род. 1960)

9. Стр. 47. Бьёрн Страуструп (род. 1950).

Для заметок

1В системуPascal ABCинтегрирован электронный задачник Programming Taskbook (автор М.Э.Абрамян), содержащий 1000 задач разного уровня сложности и охватывающий все основные разделы базового курса программирования: от скалярных типов и управляющих операторов до составных структур данных, рекурсивных алгоритмов иуказателей

2В троичной машине Поста используется расширенный алфавит, состоящий из трех символов: пробел, «0» и «1». Это позволяет программировать задачи, в которых числа записаны в двоичной системе счисления. Команды, отличающиеся от классического (двоичного) варианта машины Поста:    X N    записать в текущую ячейку пробел (стереть метку) и перейти к строке с номером N

    0 N    записать в текущую ячейку «0» и перейти к строке с номером N

    1 N    записать в текущую ячейку «1»" и перейти к строке с номером N

Номер строки перехода может отсутствовать, при этом машина переходит на следующую строку программы.

Команда ветвления содержит три метки, разделенные запятыми:

    ? N,M,L    если текущая ячейка пустая, то перейти к строке с номером N, иначе если текущая ячейка содержит «0», то перейти к строке с номером M, иначе (если текущая ячейка содержит «1») перейти к строке L

3Однако, не во всех версияхDelphiзапуск программы производится кнопкой <F9>, для некоторых это <CTRL>+<F9> – какую подсказку выдаетDelphiпри наведении на зелёную стрелку.

4ЗакрытиеФормыприbiSystemMenu=False, (кнопказакрытьотсутствует) осуществляется, как и закрытие любого окна (включая самуWindows) командой <ALT>+<F4>.

5напримерD:\Проекты Delphi\

6командаCloseпозволяет закрыть окно работающей программы без не вполне корректного в данном случае использования системной кнопки окна «Завершить»

7Например, в т.н. «инженерном» калькуляторе или в программном аналоге последнего вMSWindows

8Тейлора

9 Пусть для знакочередующегося ряда

выполняются следующие условия:

1. (монотонное убывание {a_n})

2. .

Тогда этот ряд сходится.

10 Задача сортировки распространена в информационных системах и используется как предварительный этап задачи поиска, т. к. поиск в упорядоченном (отсортированном) массиве проводится намного быстрее, чем в неупорядоченном.

11Эти задачи можно использовать и для реализации в программной средеPascalABC/

12Эти задачи можно использовать и для реализации в программной средеPascalABC/