rpd000006219 (230100 (09.03.01).Б11 Вычислительные машины, комплексы и сети), страница 3

Форма организации: Практическое занятие

1.1.3. Нормальные формы. Переключательные схемы(АЗ: 2, СРС: 2)

Форма организации: Практическое занятие

1.2.1. Семантика логики предикатов. Синтаксис логики предикатов.(АЗ: 2, СРС: 2)

Форма организации: Практическое занятие

1.4.1. Применение машин Тьюринга к словам. Конструирование машин Тьюринга. Тезис Тьюринга.(АЗ: 4, СРС: 2)

Форма организации: Практическое занятие

1.4.2. Нормальные алгоритмы Маркова. Нормальные алгоритмы и их применение к словам.(АЗ: 4, СРС: 2)

Форма организации: Практическое занятие

1. Лабораторные работы

1.1.1. Логические операции. Равносильность формул.(АЗ: 4, СРС: 4)

Форма организации: Лабораторная работа

1.1.2. Приложения алгебры логики к построению электрических схем и решению логических задач. (Часть 1)(АЗ: 4, СРС: 4)

Форма организации: Лабораторная работа

1.1.3. Приложения алгебры логики к построению электронных схем и решению логических задач. (Часть 2)(АЗ: 4, СРС: 4)

Форма организации: Лабораторная работа

1.4.1. Машина Тьюринга. Номальные алгоритмы Маркова.(АЗ: 4, СРС: 4)

Форма организации: Лабораторная работа

1. Типовые задания

Приложение 3
к рабочей программе дисциплины
«Математическая логика и теория алгоритмов »

Прикрепленные файлы

теоретические задания к курсовой работе.doc

Вариант 1

1. Понятия «логика» и «интуиция». Интуиция-суждение, интуиция-догадка,

2. Язык и метаязык.

3. Переключательные схемы. Описание переключательных схем с помощью формул логики высказываний.

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

5. Неклассические логики. Временные (темпоральные) логики.

6. Проблема алгоритмической неразрешимости. Примеры алгоритмически неразрешимых массовых проблем.

Вариант 2

1. История развития логики. Математическая логика и современные компьютеры.

2. Составление таблиц истинности для данных формул. Тавтологии.

3. Понятие предиката. Кванторы. Понятия, определения, примеры.

4. Неклассические логики. Трехзначные логики Лукасевича, Гейтинга.

5. Алгоритмические логики.

6. Понятие нечеткого множества.

Вариант 3

1. Высказывания и высказывательные формы. Логические операции.

2. Равносильность формул логики высказываний. Законы логики.

3. Формулы логики предикатов. Понятия, определения.

4. Неклассические логики. Модальные логики.

5. Сложность вычислений с помощью алгоритмов. Понятие о сложности.

6. Неклассические логики. Трехзначные логики Клини.

Вариант 4

1. Понятие формулы логики высказываний. Определение. Процедура формализации высказываний.

2. Отношение следования между формулами логики высказываний. Правильные и неправильные аргументы.

3. Составление формул по заданным таблицам истинности. Нормальные формы.

4. Логически общезначимые формулы логики предикатов. Выполнимые и равносильные формулы.

5. Интуитивное представление об алгоритмах. Неформальное понятие алгоритма.

6. Сложность вычислений с помощью алгоритмов. Временная сложность вычислений (алгоритма).

Вариант 5

1. Приведение формул к совершенным нормальным формам с помощью равносильных преобразований.

2. Неклассические логики. Трехзначные логики, Рейхенбаха, Бочвара.

3. Машины Тьюринга. Применение машин Тьюринга к словам. Тезис Тьюринга (основная гипотеза теории алгоритмов).

4. Нечеткие высказывания и максиминные операции над ними.

5. Сложность вычислений с помощью алгоритмов. Классы Р, NP.

6. Нормальные алгоритмы Маркова. Марковские подстановки. Нормальные алгоритмы и их применение к словам.

Вариант 6

1. Свойства формул логики предикатов в данной интерпретации.

2. Клаузальная форма формул логики предикатов. Преобразование формул логики предикатов в клаузальную форму.

3. Неклассические логики. Многозначные логики.

4. Основные понятия теории рекурсивных функций и тезис Чёрча.

5. Кванторы.

6. Переключательные схемы. Составление переключательных схем по заданным таблицам истинности.

Вариант 7

1. Переключательные схемы. Описание переключательных схем с помощью формул логики высказываний.

2. Понятие предиката. Кванторы. Понятия, определения, примеры.

3. Интуитивное представление об алгоритмах. Неформальное понятие алгоритма.

4. Нечеткие высказывания и максиминные операции над ними.

5. Сложность вычислений с помощью алгоритмов. Классы Р, NP.

6. Машины Тьюринга. Применение машин Тьюринга к словам. Тезис Тьюринга (основная гипотеза теории алгоритмов).

Вариант 8

1. Понятия «логика» и «интуиция». Интуиция-суждение, интуиция-догадка,

2. Равносильность формул логики высказываний. Законы логики

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

4. Неклассические логики. Трехзначные логики Лукасевича, Гейтинга.

5. Отношение следования между формулами логики высказываний. Правильные и неправильные аргументы.

6. Логически общезначимые формулы логики предикатов. Выполнимые и равносильные формулы.

Вариант 9

1. История развития логики. Математическая логика и современные компьютеры.

2. Понятие формулы логики высказываний. Определение. Процедура формализации высказываний.

3. Свойства формул логики предикатов в данной интерпретации.

4. Неклассические логики. Трехзначные логики, Рейхенбаха, Клини.

5. Переключательные схемы. Составление переключательных схем по заданным таблицам истинности.

6. Основные понятия теории рекурсивных функций и тезис Чёрча.

Вариант 10

1. Высказывания и высказывательные формы. Логические операции.

2. Язык и метаязык.

3. Приведение формул к совершенным нормальным формам с помощью равносильных преобразований.

4. Нормальные алгоритмы Маркова. Марковские подстановки. Нормальные алгоритмы и их применение к словам.

5. Формулы логики предикатов. Понятия, определения.

6. Неклассические логики. Многозначные логики.

Вариант 11

1. Проблема алгоритмической неразрешимости. Примеры алгоритмически неразрешимых массовых проблем.

2. Составление таблиц истинности для данных формул. Тавтологии

3. Составление формул по заданным таблицам истинности. Нормальные формы.

4. Сложность вычислений с помощью алгоритмов. Временная сложность вычислений (алгоритма).

5. Кванторы.

6. Клаузальная форма формул логики предикатов. Преобразование формул логики предикатов в клаузальную форму

Вариант 12

1. Понятия «логика» и «интуиция». Интуиция-суждение, интуиция-догадка,

2. Составление таблиц истинности для данных формул. Тавтологии.

3. Формулы логики предикатов. Понятия, определения.

4. Логически общезначимые формулы логики предикатов. Выполнимые и равносильные формулы.

5. Сложность вычислений с помощью алгоритмов. Классы Р, NP.

6. Переключательные схемы. Составление переключательных схем по заданным таблицам истинности.

Вариант 13

1. Переключательные схемы. Описание переключательных схем с помощью формул логики высказываний.

2. Равносильность формул логики высказываний. Законы логики

3. Свойства формул логики предикатов в данной интерпретации.

4. Нормальные алгоритмы Маркова. Марковские подстановки. Нормальные алгоритмы и их применение к словам.

5. Кванторы.

6. Проблема алгоритмической неразрешимости. Примеры алгоритмически неразрешимых массовых проблем.

Вариант 14

1. Язык и метаязык.

2. Понятие предиката. Кванторы. Понятия, определения, примеры.

3. Неклассические логики. Модальные логики.

4. Интуитивное представление об алгоритмах. Неформальное понятие алгоритма.

5. Нормальные алгоритмы Маркова. Марковские подстановки. Нормальные алгоритмы и их применение к словам.

6. Свойства формул логики предикатов в данной интерпретации.

Вариант 15

1. История развития логики. Математическая логика и современные компьютеры.

2. Понятие предиката. Кванторы. Понятия, определения, примеры.

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

4. Неклассические логики. Трехзначные логики, Рейхенбаха, Клини

5. Формулы логики предикатов. Понятия, определения.

6. Клаузальная форма формул логики предикатов. Преобразование формул логики предикатов в клаузальную форму

Вариант 16

1. Переключательные схемы. Описание переключательных схем с помощью формул логики высказываний.

2. Неклассические логики. Трехзначные логики Лукасевича, Гейтинга.

3. Сложность вычислений с помощью алгоритмов. Понятие о сложности.

4. Сложность вычислений с помощью алгоритмов. Временная сложность вычислений (алгоритма).

5. Приведение формул к совершенным нормальным формам с помощью равносильных преобразований.

6. Клаузальная форма формул логики предикатов. Преобразование формул логики предикатов в клаузальную форму.

Вариант 17

1. Интуитивное представление об алгоритмах. Неформальное понятие алгоритма.

2. Неклассические логики. Трехзначные логики Лукасевича, Гейтинга.

3. Переключательные схемы. Составление переключательных схем по заданным таблицам истинности.

4. Неклассические логики. Многозначные логики.

5. Проблема алгоритмической неразрешимости. Примеры алгоритмически неразрешимых массовых проблем.

6. Понятия «логика» и «интуиция». Интуиция-суждение, интуиция-догадка,

Вариант 18

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

2. Алгоритмические логики.

3. Неклассические логики. Трехзначные логики Клини.

4. Понятие формулы логики высказываний. Определение. Процедура формализации высказываний.

5. Неклассические логики. Трехзначные логики, Рейхенбаха, Бочвара.

6. Неклассические логики. Многозначные логики.

Вариант 19

1. Нечеткие высказывания и максиминные операции над ними.

2. Отношение следования между формулами логики высказываний. Правильные и неправильные аргументы.

3. Основные понятия теории рекурсивных функций и тезис Чёрча.

4. Высказывания и высказывательные формы. Логические операции.

5. Составление таблиц истинности для данных формул. Тавтологии

6. Понятие формулы логики высказываний. Определение. Процедура формализации высказываний.

Вариант 20

1. Неклассические логики. Временные (темпоральные) логики.

2. Понятие нечеткого множества.

3. Высказывания и высказывательные формы. Логические операции.

4. Отношение следования между формулами логики высказываний. Правильные и неправильные аргументы.

5. Машины Тьюринга. Применение машин Тьюринга к словам. Тезис Тьюринга (основная гипотеза теории алгоритмов).

6. Основные понятия теории рекурсивных функций и тезис Чёрча.

Вариант 21

1. Сложность вычислений с помощью алгоритмов. Классы Р, NP.

2. Логически общезначимые формулы логики предикатов. Выполнимые и равносильные формулы.

3. История развития логики. Математическая логика и современные компьютеры.

4. Язык и метаязык.

5. Составление формул по заданным таблицам истинности. Нормальные формы.

6. Кванторы.

Вариант 22

1. Проблема алгоритмической неразрешимости. Примеры алгоритмически неразрешимых массовых проблем.

2. История развития логики. Математическая логика и современные компьютеры.

3. Равносильность формул логики высказываний. Законы логики.

4. Составление формул по заданным таблицам истинности. Нормальные формы.

5. Нечеткие высказывания и максиминные операции над ними.

6. Машины Тьюринга. Применение машин Тьюринга к словам. Тезис Тьюринга (основная гипотеза теории алгоритмов).

Вариант 23

1. Кванторы

2. Понятия «логика» и «интуиция». Интуиция-суждение, интуиция-догадка,

3. Понятие формулы логики высказываний. Определение. Процедура формализации высказываний.

4. Приведение формул к совершенным нормальным формам с помощью равносильных преобразований.

5. Сложность вычислений с помощью алгоритмов. Временная сложность вычислений (алгоритма).

6. Равносильность формул логики высказываний. Законы логики.

Версия: AAAAAARxCxs Код: 000006219