Главная

Контакты

Случайная статья

• Автоматизация
• Антропология
• Археология
• Архитектура
• Биология
• Ботаника
• Бухгалтерия
• Военная наука
• Генетика
• География
• Геология
• Демография
• Деревообработка
• Журналистика
• Зоология
• Изобретательство
• Информатика
• Искусство
• История
• Кинематография
• Компьютеризация
• Косметика
• Кулинария
• Культура
• Лексикология
• Лингвистика
• Литература
• Логика
• Маркетинг
• Математика
• Материаловедение
• Медицина
• Менеджмент
• Металлургия
• Метрология
• Механика
• Музыка
• Науковедение
• Образование
• Охрана Труда
• Педагогика
• Полиграфия
• Политология
• Право
• Предпринимательство
• Приборостроение
• Программирование
• Производство
• Промышленность
• Психология
• Радиосвязь
• Религия
• Риторика
• Социология
• Спорт
• Стандартизация
• Статистика
• Строительство
• Технологии
• Торговля
• Транспорт
• Фармакология
• Физика
• Физиология
• Философия
• Финансы
• Химия
• Хозяйство
• Черчение
• Экология
• Экономика
• Электроника
• Электротехника
• Энергетика

Вопросы к экзамену по курсу «Компьютерные науки»

Вопросы к экзамену по курсу «Компьютерные науки»

Математики 1 курс 1 семестр 2012/2013 уч.год

Исчисление высказываний

1. Понятие высказывания. Равносильные высказывания.
2. Основные операции логики высказываний.
3. Таблица истинности. Доказательство высказываний с использованием таблицы истинности.
4. Построение высказывания по таблице истинности. Конъюнктивная нормальная форма (КНФ) и дизъюнктивная нормальная форма (КНФ).

Исчисление предикатов

1. Понятие предиката. Тождественно и истинные формулы. Равносильные формулы.
2. Свободные и связанные переменные. Арность предиката.
3. Кванторы. Отождествление переменных. Специализация переменных.
4. Тождественно истинные формулы. Общезначимые формулы.
5. Правило вывода (Modus Ponens). Определение выводимой формулы.
6. Теорема о выводимости конъюнкции и дизъюнкции.
7. Теорема дедукции.

Лямбда-исчисление

1. Основы синтаксиса, понятие λ-терма. Аппликация и абстракция.
2. Понятие редукции и редекса. Нормальная форма. δ-редукция, β-редукция.
3. Каррирование.
4.  Свободные и связанные переменные и связанное с этим понятие α-редукции

(замены переменных). Понятие алфавитно-эквивалентных выражений.

1. АПР (аппликативный порядок редукций) и НПР (нормальный порядок редукций).
2. Рекурсивные алгоритмы. Y-комбинатор Карри.
3. Логика в чистом λ-исчислении. Числа Черча.

Основы программирования

19. Переменные в языке Scheme. Изменение значений. Область действия имен.

20. Понятие функций. Описание и использование именованных функций.

Локальные и глобальные переменные.

21. Условные выражения cond, оператор if.

22. Рекурсия и итерация.

23. Лямбда – функции.

24. Использование конструкции let. Отличия от set!

25. Функции quote и eval.

26. Пары и списки в Scheme.

27. Обобщенное программирование. Функции в качестве параметров.

28. Простые алгоритмы. (НОД, min, max, схема Горнера)

29. Матрицы как списки списков. Алгоритмы обработки матриц.

30. Понятие типа данных. Абстракции данных. Стек.

31. Тип очередь. Принципы построения. Варианты реализации.

32. Алгоритмы сортировки. Использование функции sort для сортировки списков.

1. сортировка выбором,
2. сортировка обменом,
3. сортировка включением,
4. сортировка Хоара (быстрая сортировка),
5. сортировка слиянием.

33. Работа с символами и со строками. Обработка текста. Преобразование строковой информации в числовую и наоборот.

34. Работа с файлами. Чтение информации из файла и запись в файл.