2.3. Практические занятия

№

Содержание

9. 1

Исчисление высказываний. Доказательство секвенций.

Ауд: доказать правила (а),(б),(в),(г),(е).(и) (с.10-11) доказать леммы 4,5 (с.13).

На дом: (д),(и),(л),(м),(в’)(с.10-11)

10. 2

Эквивалентность формул. Выводимость в гильбертовском ИВ.

Разобрать примеры 1,2,3 (с.15) и некоторые из эквивалентностей на с.16. Другие задать на дом.

11. 3

Контрольная работа.

12. 4

Аксиоматические системы. Элементарная теория множеств.

Ауд: разобрать пример 1 (с.49). Решить задачи 5,6 (с.50,51), задачи 2,3,4,8 (с.51-52).

На дом: 1,5,6,7 (с.51-52).

13. 5

Лемма Цорна. Теорема Цермело. Арифметика ординалов и кардиналов.

Ауд: разобрать примеры 1,2 (с.63-64). Решить задачи 1-7 (с. 64-65) – часть задать на дом. Кроме того, можно решить задачи 1,2,3,4 (с.73-74), 1,2 (с.75)

14. 6

Контрольная работа (1 час.) Модели. Термы. Формулы УИП. Привести примеры сигнатур, термов, формул, замкнутых формул. Задачи 1-4 (с.87-88), 1-3 (с.88) – часть разобрать на занятии, часть задать на дом.

15. 7

Модели. Выразимость предикатов.

Задачи 1-6(с.97-99), 1-7(с.99-100) – часть разобрать на занятии, частьзадать на дом.

16. 8

Модели. Термы. Формулы УИП. Выразимость предикалов.

17. 9

Машины Тьюринга и рекурсивные функции.

Самарский А.А., Михайлов А.П. Математическое моделирование. М.: ФИЗМАЛИТ, 2001. — 320 с., 2002,2005

Лесин В.В., Лисовец Ю.П. Основы методов оптимизации. М.: Из-во МАИ, 2000. — 480 с.

Ревякин А.М. Алгоритмы и вычислительные методы. М. МИЭТ, 1989, (14 ч.з., 15 аб., 646 фил.)

Имитационное моделирование в среде Windows (MATLAB 5.2). С-Пб.: «КОРОНА принт», 1999. — 288 с.

Лисовец Ю.П. Математическое моделирование. Учебное пособие. Электр. библиотека. http://www.mocnit.miet.ru/oroks-miet/stra1.shtml

Лесин В.В., Лисовец Ю.П. Математическое программирование. Учебное пособие. Электр. библиотека. http://www.mocnit.miet.ru/oroks-miet/stra1.shtml

Сайт поддержки Matlab в России. http://www.exponenta.ru

Материалы бесплатных вебинаров компании MathWorks на русском языке. http://matlab.exponenta.ru/webinars.php

Временной интервал

Темы

Продолжительность тестирования

Используемый ПП

с 25 ноября по 15 декабря 2010 г.

30- 40 мин

ОРОКС