Экзаменационные вопросы по дисциплине: «Математическая логика и теория алгоритмов». Раздел основы математической логики



Скачать 37.17 Kb.
Дата01.02.2013
Размер37.17 Kb.
ТипЭкзаменационные вопросы

Московский государственный строительный университет

(МИСИ)


Кафедра: «САПР в строительстве».


Утверждаю


Заведующий кафедрой «САПР в строительстве»

Профессор Н.А.Гаряев



27 декабря 2007 г.
Экзаменационные вопросы по дисциплине:

«Математическая логика и теория алгоритмов».
РАЗДЕЛ 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. Умозаключения с союзом или. Правила умозаключений с союзом или.

  31. Умозаключения с союзом если... то. Правила умозаключений с союзом если... то.

  32. Индукция как вид вероятностного умозаключения. Что такое индукция?

  33. Правила индукции. Ошибки индукции. Установление причинных связей.

  34. Аналогия как вид вероятностного умозаключения. Что такое аналогия? Правила аналогии.

  35. Основные законы логики.

  36. Закон тождества. Что такое закон тождества? Нарушения закона тождества.

  37. Закон противоречия и закон исключенного третьего.

  38. Что запрещает закон противоречия? Виды противоречий.

  39. Закон исключенного третьего.


  40. Закон достаточного основания. Что требует закон достаточного основания?


РАЗДЕЛ 2.

.

  1. Множества и слова.

  2. Язык исчисления высказываний.

  3. Система аксиом и правил вывода.

  4. Эквивалентность формул.

  5. Нормальные формы.

  6. Семантика исчисления высказываний.

  7. Характеризация доказуемых формул.

  8. Исчисление высказываний «генценовского» типа.

  9. Исчисление высказываний «гильбертовского» типа.

  10. Консервативные расширения исчислений.



РАЗДЕЛ 3.

  1. Предикаты и отображения.

  2. Частично упорядоченные множества.

  3. Фильтры булевой алгебры.

  4. Мощность множества.

  5. Аксиома выбора.



РАЗДЕЛ 4.

  1. Элементы теории кодирования.

  2. Позиционная система счисления.

  3. Двоичная система счисления.

  4. Понятие кода, код с исправлением арифметической ошибки в двоичной системе счисления.

  5. Кодирование алфавитное - алфавитный оператор.

  6. Кодирующее отображение.

  7. Нормальное кодирование,

  8. Кодирование и декодирование, понятие об эффективности кодирования.

РАЗДЕЛ 5.

  1. Основы теории алгоритмов. Основные понятия.

  2. Рекурсивные функции;

  3. Принцип Черча. Машина Поста.

  4. Машины Тьюринга – определение.

  5. Машины Тьюринга с двумя выходами, многоленточная машина Тьюринга.

  6. Композиции машин Тьюринга.

  7. Нормальные алгоритмы Маркова; операторные алгоритмические системы.

  8. Блок-схемный метод алгоритмирования.

  9. Методы оценки алгоритмов.

  10. Формальные преобразования алгоритмов.

  11. Алгоритмически неразрешимые проблемы.


Доцент кафедры «САПР в строительстве» В.Г.Куликов

«10» декабря2007г.

Похожие:

Экзаменационные вопросы по дисциплине: «Математическая логика и теория алгоритмов». Раздел основы математической логики iconРабочая программа дисциплины Математическая логика и теория алгоритмов Направление подготовки 230700 Прикладная информатика
Целями освоения дисциплины «Математическая логика и теория алгоритмов» являются получение теоретических знаний по основам математическая...
Экзаменационные вопросы по дисциплине: «Математическая логика и теория алгоритмов». Раздел основы математической логики icon1. Организационно-методический раздел. 1 Название курса. Математическая логика и теория алгоритмов
Основной курс "Математическая логика и теория алгоритмов" предназначен для студентов первого курса отделения прикладной инфоматики...
Экзаменационные вопросы по дисциплине: «Математическая логика и теория алгоритмов». Раздел основы математической логики iconВопросы по курсу: Математическая логика и теория алгоритмов (2 курс)
Логика высказываний. Операции над высказываниями. Алгебра высказываний. Формулы логики высказываний. Логическая эквивалентность и...
Экзаменационные вопросы по дисциплине: «Математическая логика и теория алгоритмов». Раздел основы математической логики iconТехнологий В. П. Битюцкий Н. В. Папуловская Математическая логика. Исчисления высказываний и предикатов Методическое пособие по дисциплине "Математическая логика и теория алгоритмов" Екатеринбург 2005 удк

Экзаменационные вопросы по дисциплине: «Математическая логика и теория алгоритмов». Раздел основы математической логики iconУчебная программа Дисциплины р2 «Математическая логика и теория алгоритмов»
Фгос впо, содействует формированию мировоззрения и системного мышления. Целью преподавания дисциплины «Математическая логика и теория...
Экзаменационные вопросы по дисциплине: «Математическая логика и теория алгоритмов». Раздел основы математической логики iconИзложение материала курса «Математическая логика и теория алгоритмов»
Лекции по математической логике и теории алгоритмов для студентов 2 курса специальности «Компьютерная безопасность»
Экзаменационные вопросы по дисциплине: «Математическая логика и теория алгоритмов». Раздел основы математической логики iconРабочая программа по курсу «Математическая логика и теория алгоритмов» для специальности 090102 «Компьютерная безопасность»
«Математическая логика и теория алгоритмов», рекомендованной Министерством образования Российской Федерации в 2000 году для специальностей...
Экзаменационные вопросы по дисциплине: «Математическая логика и теория алгоритмов». Раздел основы математической логики iconМатематическая логика
Основными разделами математической логики является: логика высказываний, логика предикатов, металогика
Экзаменационные вопросы по дисциплине: «Математическая логика и теория алгоритмов». Раздел основы математической логики iconЛогика компьютера
Математическая логика изучает вопросы применения математических методов для решения логических задач и построения логических схем....
Экзаменационные вопросы по дисциплине: «Математическая логика и теория алгоритмов». Раздел основы математической логики iconТемы рефератов по курсу «Математическая логика и теория алгоритмов»
Темпоральные логики высказываний линейного времени и вычислительных деревьев: их синтаксис и семантика
Разместите кнопку на своём сайте:
ru.convdocs.org


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