Учебно-методический комплекс учебной дисциплины Математическая логика и теория алгоритмов Специальность 032200. 00 Физика



Скачать 277.89 Kb.
страница3/3
Дата01.02.2013
Размер277.89 Kb.
ТипУчебно-методический комплекс
1   2   3

Сколько различных приведенных форм имеет формула: .

  1. 3

  2. 1

  3. 0

  4. 2



  1. Укажите операции, являющиеся двойственными

1. и

2. и

3. и отрицание

4. отрицание и

5. и

  1. В основе, какой из равносильностей лежит принцип доказательства «методом контрапозиции»

1.

2.

3.

4.

5.

  1. Укажите, какие формулы являются КН – формами

1.

2.

3.

4.

5.

  1. Теорема, противоположная для :

1.

2.

3.

4. gif" name="object63" align=absmiddle width=72 height=18>

5.


  1. СДНФ формулы алгебры логики:







  1. 1

  2. 0

  1. Для доказательства теоремы на основании теоремы о дедукции необходимо доказать вывод:

  1. ,



  2. ,

  3. ,

  4. ,

  1. Дан список аксиом:

a.

b.

c.

d.

Непротиворечивыми являются:

  1. a,b,c

  2. c,d

  3. a,b,d

  4. a,b,c,d

  5. b,с,d

  1. Правило силлогизма имеет вид:

1.

2.

3.

4.

5.

  1. Укажите выражения, которые не являются предикатами.

  1. ,

  2. (- столица России), множеству наименований европейских городов

  3. ( - множество прямых плоскости)

  4. ,

  5. и ( - множество наименований европейских городов)

  1. Укажите тождественно-ложный предикат

  1. (- ромб)(- параллелограмм) , где множеству четырехугольников

  2. , .

  3. , где

  4. точка равноудалена от точек , где множеству точек плоскости

  5. , где

  1. Укажите предикат на N, который задает множество степеней двойки:

1.

2.

3.

4.

5.


  1. Пусть (), (), . Укажите выражение на языке алгебры предикатов высказывания: «Некоторые натуральные числа кратные 12 не являются кратными 3».











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

  1. Каждое, четное число >2, есть сумма двух чисел, из которых одно простое.

  2. Всякое натуральное число, кратное двум и >2 есть сумма двух чисел, из которых одно простое.

  3. Некоторые четное числа >2 являются суммой двух простых.

  4. Всякое натуральное четное число, >2 является суммой двух простых.

  5. Всякое натуральное число, >2 является суммой двух простых.

  1. Формулой равносильной к является.











  1. Предваренной формой к формуле является.











  1. Укажите тавтологию алгебры предикатов (общезначимую формулу).












5. Формы и методы самостоятельной работы

1. Изучение литературы при подготовке презентаций и буклетов

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

3. Изучение доказательств лемм, теорем.

4. Доказательство по аналогии.

5. Работа с Интернет-ресурсами.

6. Работа с электронными учебниками (см. Наглядные пособия)Анализ школьных учебников

7. Выполнение расчетно-графической работы.

При организации самостоятельной работы применяются типы работ:

-воспроизводящие самостоятельные работы (по образцу)

-реконструктивные самостоятельные работы

-эвристические самостоятельные работы

-исследовательские самостоятельные работы

5.1 Примерный перечень тем рефератов по курсу.

    1. Предмет математической логики

    2. Понятия, экспликации, суждения и умозаключения

    3. Логические и семантические парадоксы

    4. Теоретико-множественные операции

    5. Континуум

    6. Логико-математический язык

    7. Кванторы

    8. Принцип дедукции

    9. Формальный вывод и разрешимая формула

    10. Метод резолюций

    11. Диаграммы Венна

    12. Модальная логика

    13. Темпоральная и нечеткая логика

    14. Нечеткие множества

    15. Нечеткие отношения

    16. Лингвистическая переменная

    17. Синтаксические и семантические правила

    18. Логико-лингвистический подход

    19. Аксиоматический метод

    20. Аксиоматико-дедуктивный метод в математике

    21. Неформальная аксиоматика

    22. Программа Гильберта

    23. Понятие о метаязыке и метатеории

    24. Формальные системы

    25. Формализация теории, интерпретация и представление системы

    26. Фразы

    27. Грамматики

    28. Финитные и дефинитные методы

    29. Этапы становления математической логики

    30. Логика Аристотеля


6. Формы текущего, промежуточного и итогового контроля.

Текущий контроль:

- Самостоятельные работы

- Индивидуальные задания

- Опрос студентов

Промежуточный контроль:

- Коллоквиум по алгебре и исчислению высказываний

- Контрольный тест по алгебре и исчислению высказываний

- Контрольная работа по алгебре и исчислению предикатов

- Расчетно-графическая работа

Итоговый контроль:

- Экзамен

7. Список литературы

Основная

  1. Игошин В.И. Математическая логика и теория алгоритмов: Учебное пособие для студентов высших учебных заведений. – М.: Издательский центр «Академия», 2004. – 448 с.

  2. Игошин В.И. Задачник-практикум по математической логике. – М.:1986.

  3. Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. – М., 1975.

  4. Мендельсон Э. Введение в математическую логику: Пер. с англ. – М.,1976.

  5. Мощенский В.А. Лекции по математической логике. – Минск, 1973.


Дополнительная

  1. Аристотель. Сочинения: В 4 т. – М., 1976-1981.

  2. Бойко А.П. Краткий курс логики. – М., 1995.

  3. Ефремов Г.О. Алгебра логики и контактные схемы. – М., 1969.

  4. Новиков П.С. Элементы математической логики. – М., 1973.

  5. Столл Р.Р. Множества. Логика. Аксиоматические теории: Пер. с анг. – М.,1968.




Ресурсы сети Интернет

  1. Плиско В. Е. Математическая логика: Курс лекций. -- 86 с. -- http://lpcs.math.msu.su/~plisko/matlog.pdf, http://lpcs.math.msu.su/~plisko/matlog.ps

  2. Плиско В. Е. Теория алгоритмов: Курс лекций. -- 38 с. -- http://lpcs.math.msu.su/~plisko/ta.pdf, http://lpcs.math.msu.su/~plisko/ta.ps

  3. Bilaniuk S. A Problem Course in Mathematical Logic. -- 2003. -- XII, 152 p. -- http://www.trentu.ca/mathematics/sb/pcml/
1   2   3

Похожие:

Учебно-методический комплекс учебной дисциплины Математическая логика и теория алгоритмов Специальность 032200. 00 Физика iconУчебно-методический комплекс учебной дисциплины Геометрические построения Специальность 032200. 00 Физика
Рабочая программа составлена на основании Государственного образовательного стандарта высшего профессионального образования по специальности...
Учебно-методический комплекс учебной дисциплины Математическая логика и теория алгоритмов Специальность 032200. 00 Физика iconУчебно-методический комплекс учебной дисциплины ен. Ф. 01 Математика (аналитическая геометрия и линейная алгебра) ооп: Специальность 032200. 00 Физика
Рабочая программа составлена на основании Государственного образовательного стандарта высшего профессионального образования по специальности...
Учебно-методический комплекс учебной дисциплины Математическая логика и теория алгоритмов Специальность 032200. 00 Физика iconУчебно-методический комплекс учебной дисциплины Математическая логика Специальность 032100. 00 Математика
Рабочая программа составлена на основании Государственного образовательного стандарта высшего профессионального образования по специальности...
Учебно-методический комплекс учебной дисциплины Математическая логика и теория алгоритмов Специальность 032200. 00 Физика iconРабочая программа дисциплины Математическая логика и теория алгоритмов Направление подготовки 230700 Прикладная информатика
Целями освоения дисциплины «Математическая логика и теория алгоритмов» являются получение теоретических знаний по основам математическая...
Учебно-методический комплекс учебной дисциплины Математическая логика и теория алгоритмов Специальность 032200. 00 Физика iconУчебная программа Дисциплины р2 «Математическая логика и теория алгоритмов»
Фгос впо, содействует формированию мировоззрения и системного мышления. Целью преподавания дисциплины «Математическая логика и теория...
Учебно-методический комплекс учебной дисциплины Математическая логика и теория алгоритмов Специальность 032200. 00 Физика icon1. Организационно-методический раздел. 1 Название курса. Математическая логика и теория алгоритмов
Основной курс "Математическая логика и теория алгоритмов" предназначен для студентов первого курса отделения прикладной инфоматики...
Учебно-методический комплекс учебной дисциплины Математическая логика и теория алгоритмов Специальность 032200. 00 Физика iconУчебно-методический комплекс учебной дисциплины
Ооп: Специальность 032100. 00 Математика с дополнительной специальностью физика (код оксо 050201)
Учебно-методический комплекс учебной дисциплины Математическая логика и теория алгоритмов Специальность 032200. 00 Физика iconУчебно-методический комплекс дисциплины Логика Для студентов экономического факультета
Учебно-методический комплекс дисциплины «Логика» : для студентов экономического факультета, обучающихся по направлению подготовки...
Учебно-методический комплекс учебной дисциплины Математическая логика и теория алгоритмов Специальность 032200. 00 Физика iconУчебно-методический комплекс по учебным дисциплинам «Теория вероятностей»
Учебно-методический комплекс по учебным дисциплинам «Теория вероятностей» и «Математическая статистика» для социологов: Учебно-методическое...
Учебно-методический комплекс учебной дисциплины Математическая логика и теория алгоритмов Специальность 032200. 00 Физика iconУчебно-методический комплекс дисциплины теория государства и права для студентов юридического факультета
Учебно-методический комплекс дисциплины «Теория государства и права» / авт сост. В. В. Оксамытный. – М. Импэ им. А. С. Грибоедова,...
Разместите кнопку на своём сайте:
ru.convdocs.org


База данных защищена авторским правом ©ru.convdocs.org 2016
обратиться к администрации
ru.convdocs.org