- •Учебная дисциплина «арифметико – логические основы эвм»
- •Информационное обеспечение дисциплины
- •Литература
- •Электронные ресурсы
- •Содержание дисциплины
- •Лекционные занятия
- •Практические занятия
- •Учебная дисциплина «математическая логика и теория алгоритмов»
- •Информационное обеспечение дисциплины
- •Литература
- •Содержание дисциплины
- •2.1 Рубежный контроль в форме компьютерного тестирования
- •2.2. Лекционные занятия
- •2.3. Практические занятия
- •Учебная дисциплина «математическое моделирование»
- •Информационное обеспечение дисциплины
- •Литература
- •Электронные ресурсы
- •Содержание дисциплины
- •2.1 Рубежный контроль в форме компьютерного тестирования
- •2.2. Лекционные занятия
- •2.3. Лабораторные занятия
- •2.4. Самостоятельная работа
- •Учебная дисциплина «операционные системы»
- •Информационное обеспечение дисциплины
- •Литература
- •Электронные ресурсы
- •Содержание дисциплины
- •2.1. Рубежный контроль в форме компьютерного
- •Лекционные занятия
- •Лабораторные занятия
- •Учебная дисциплина «психология и педагогика»
- •Информационное обеспечение дисциплины
- •Литература
- •Электронные ресурсы
- •Содержание дисциплины
- •Лекционные занятия
- •Практические занятия
- •Самостоятельная работа
- •Учебная дисциплина
- •«Радиоэлектроника»
- •1. Информационное обеспечение дисциплины
- •1.1. Литература
- •1.2. Электронные ресурсы
- •Содержание дисциплины
- •Рубежный контроль в форме компьютерного тестирования
- •Лекционные занятия:
- •Практические занятия:
- •Лабораторные занятия
- •Учебная дисциплина «теория вероятностей и математическая статистика»
- •Информационное обеспечение дисциплины
- •Литература
- •Электронные ресурсы
- •Содержание дисциплины
- •2.1 Рубежный контроль в форме компьютерного тестирования
- •2.2. Лекционные занятия
- •2.3. Практические занятия
- •2.4.Лабораторные занятия
- •2.5. Домашние задания
- •2.6.Самостоятельная работа
- •Учебная дисциплина «человеко-машинное взаимодействие»
- •Информационное обеспечение дисциплины
- •Литература
- •1.2. Электронные ресурсы
- •Содержание дисциплины
- •2.1. Рубежный контроль в форме компьютерного
- •2.2. Лекционные занятия
- •2.3. Практические занятия
- •Учебная дисциплина «экономика»
- •Информационное обеспечение дисциплины
- •Литература
- •Электронные ресурсы
- •Содержание дисциплины
- •2.1 Рубежный контроль в форме компьютерного тестирования
- •Лекционные занятия
- •Практические занятия
- •Домашние задания
- •Самостоятельная работа
2.3. Практические занятия
№ |
Содержание |
|
Исчисление высказываний. Доказательство секвенций. Ауд: доказать правила (а),(б),(в),(г),(е).(и) (с.10-11) доказать леммы 4,5 (с.13). На дом: (д),(и),(л),(м),(в’)(с.10-11) |
|
Эквивалентность формул. Выводимость в гильбертовском ИВ. Разобрать примеры 1,2,3 (с.15) и некоторые из эквивалентностей на с.16. Другие задать на дом. |
|
Контрольная работа. |
|
Аксиоматические системы. Элементарная теория множеств. Ауд: разобрать пример 1 (с.49). Решить задачи 5,6 (с.50,51), задачи 2,3,4,8 (с.51-52). На дом: 1,5,6,7 (с.51-52). |
|
Лемма Цорна. Теорема Цермело. Арифметика ординалов и кардиналов. Ауд: разобрать примеры 1,2 (с.63-64). Решить задачи 1-7 (с. 64-65) – часть задать на дом. Кроме того, можно решить задачи 1,2,3,4 (с.73-74), 1,2 (с.75) |
|
Контрольная работа (1 час.) Модели. Термы. Формулы УИП. Привести примеры сигнатур, термов, формул, замкнутых формул. Задачи 1-4 (с.87-88), 1-3 (с.88) – часть разобрать на занятии, часть задать на дом. |
|
Модели. Выразимость предикатов. Задачи 1-6(с.97-99), 1-7(с.99-100) – часть разобрать на занятии, частьзадать на дом. |
|
Модели. Термы. Формулы УИП. Выразимость предикалов. |
|
Машины Тьюринга и рекурсивные функции. |
Учебная дисциплина «математическое моделирование»
-
Информационное обеспечение дисциплины
-
Литература
|
Самарский А.А., Михайлов А.П. Математическое моделирование. М.: ФИЗМАЛИТ, 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 |
-
Содержание дисциплины
2.1 Рубежный контроль в форме компьютерного тестирования
Временной интервал |
Темы
|
Продолжительность тестирования |
Используемый ПП |
с 25 ноября по 15 декабря 2010 г. |
|
30- 40 мин |
ОРОКС |