Экзаменационные билеты по дисциплине «Математическая логика (IV семестр)»




Скачать 96.58 Kb.
НазваниеЭкзаменационные билеты по дисциплине «Математическая логика (IV семестр)»
Дата публикации18.03.2013
Размер96.58 Kb.
ТипЭкзаменационные билеты
vbibl.ru > Математика > Экзаменационные билеты

ФЕДЕРАЛЬНОЕ АГЕНТСТВО ПО ОБРАЗОВАНИЮ

утверждаю
Зав. кафедрой математических и естественнонаучных дисциплин
______________________________

(подпись)

Е.В. Харунжева

(Ф.И.О.)


Государственное образовательное учреждение

высшего профессионального образования


РОССИЙСКИЙ ГОСУДАРСТВЕННЫЙ ГУМАНИТАРНЫЙ УНИВЕРСИТЕТ

Филиал в г.Кирове



^ Экзаменационные билеты по дисциплине

«Математическая логика (IV семестр)»
Специальность: Прикладная информатика (в информационной сфере)

Специализация: без специализации

Форма обучения: Очная

Курс: 2
Рассмотрено на заседании кафедры

Математических и естественнонаучных дисциплин

Протокол № ___ от «___» __________ 200 __ г.
Преподаватель _________________ / В.В. Утёмов/



^ ФЕДЕРАЛЬНОЕ АГЕНТСТВО ПО ОБРАЗОВАНИЮ


утверждаю
Зав. кафедрой математических и естественнонаучных дисциплин
______________________________

(подпись)

Е.В. Харунжева

(Ф.И.О.)


Государственное образовательное учреждение

высшего профессионального образования


^ РОССИЙСКИЙ ГОСУДАРСТВЕННЫЙ ГУМАНИТАРНЫЙ УНИВЕРСИТЕТ

Филиал в г.Кирове


Экзаменационный билет№ 1
Специальность: Прикладная информатика (в информационной сфере)

Специализация: без специализации

Форма обучения: Очная

Курс: 2

Дисциплина: «Математическая логика»


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

    2. Метод резолюций в логике предикатов.

    3. Задача


Преподаватель _________________ / В.В. Утёмов/


^ ФЕДЕРАЛЬНОЕ АГЕНТСТВО ПО ОБРАЗОВАНИЮ

утверждаю
Зав. кафедрой математических и естественнонаучных дисциплин
______________________________

(подпись)

Е.В. Харунжева

(Ф.И.О.)


Государственное образовательное учреждение

высшего профессионального образования


^ РОССИЙСКИЙ ГОСУДАРСТВЕННЫЙ ГУМАНИТАРНЫЙ УНИВЕРСИТЕТ

Филиал в г.Кирове


Экзаменационный билет№ 2

Специальность: Прикладная информатика (в информационной сфере)

Специализация: без специализации

Форма обучения: Очная

Курс: 2

Дисциплина: «Математическая логика»


  1. Тавтологии, основные свойства тавтологии, примеры.

  2. Непротиворечивость исчисления предикатов.

  3. Задача


Преподаватель _________________ / В.В. Утёмов/



^ ФЕДЕРАЛЬНОЕ АГЕНТСТВО ПО ОБРАЗОВАНИЮ


утверждаю
Зав. кафедрой математических и естественнонаучных дисциплин
______________________________

(подпись)

Е.В. Харунжева

(Ф.И.О.)


Государственное образовательное учреждение

высшего профессионального образования


^ РОССИЙСКИЙ ГОСУДАРСТВЕННЫЙ ГУМАНИТАРНЫЙ УНИВЕРСИТЕТ

Филиал в г.Кирове


Экзаменационный билет№ 3
Специальность: Прикладная информатика (в информационной сфере)

Специализация: без специализации

Форма обучения: Очная

Курс: 2

Дисциплина: «Математическая логика»


  1. Законы логики.

  2. Полнота и неразрешимость теории первого порядка.

  3. Задача


Преподаватель _________________ / В.В. Утёмов/


ФЕДЕРАЛЬНОЕ АГЕНТСТВО ПО ОБРАЗОВАНИЮ

утверждаю
Зав. кафедрой математических и естественнонаучных дисциплин
______________________________

(подпись)

Е.В. Харунжева

(Ф.И.О.)


Государственное образовательное учреждение

высшего профессионального образования


^ РОССИЙСКИЙ ГОСУДАРСТВЕННЫЙ ГУМАНИТАРНЫЙ УНИВЕРСИТЕТ

Филиал в г.Кирове


Экзаменационный билет№ 4
Специальность: Прикладная информатика (в информационной сфере)

Специализация: без специализации

Форма обучения: Очная

Курс: 2

Дисциплина: «Математическая логика»


  1. Закон двойственности.

  2. Теорема о приведении формул в исчислении предикатов к предваренному виду.

  3. Задача


Преподаватель _________________ / В.В. Утёмов/



^ ФЕДЕРАЛЬНОЕ АГЕНТСТВО ПО ОБРАЗОВАНИЮ


утверждаю
Зав. кафедрой математических и естественнонаучных дисциплин
______________________________

(подпись)

Е.В. Харунжева

(Ф.И.О.)


Государственное образовательное учреждение

высшего профессионального образования


^ РОССИЙСКИЙ ГОСУДАРСТВЕННЫЙ ГУМАНИТАРНЫЙ УНИВЕРСИТЕТ

Филиал в г.Кирове


Экзаменационный билет№ 5
Специальность: Прикладная информатика (в информационной сфере)

Специализация: без специализации

Форма обучения: Очная

Курс: 2

Дисциплина: «Математическая логика»


  1. Законы логики.

  2. Полнота и неразрешимость теории первого порядка.

  3. Задача


Преподаватель _________________ / В.В. Утёмов/


ФЕДЕРАЛЬНОЕ АГЕНТСТВО ПО ОБРАЗОВАНИЮ

утверждаю
Зав. кафедрой математических и естественнонаучных дисциплин
______________________________

(подпись)

Е.В. Харунжева

(Ф.И.О.)


Государственное образовательное учреждение

высшего профессионального образования


^ РОССИЙСКИЙ ГОСУДАРСТВЕННЫЙ ГУМАНИТАРНЫЙ УНИВЕРСИТЕТ

Филиал в г.Кирове


Экзаменационный билет№ 6
Специальность: Прикладная информатика (в информационной сфере)

Специализация: без специализации

Форма обучения: Очная

Курс: 2

Дисциплина: «Математическая логика»


  1. Закон двойственности.

  2. Некоторые теоремы исчисления предикатов.

  3. Задача


Преподаватель _________________ / В.В. Утёмов/



ФЕДЕРАЛЬНОЕ АГЕНТСТВО ПО ОБРАЗОВАНИЮ


утверждаю
Зав. кафедрой математических и естественнонаучных дисциплин
______________________________

(подпись)

Е.В. Харунжева

(Ф.И.О.)


Государственное образовательное учреждение

высшего профессионального образования


^ РОССИЙСКИЙ ГОСУДАРСТВЕННЫЙ ГУМАНИТАРНЫЙ УНИВЕРСИТЕТ

Филиал в г.Кирове


Экзаменационный билет№ 7
Специальность: Прикладная информатика (в информационной сфере)

Специализация: без специализации

Форма обучения: Очная

Курс: 2

Дисциплина: «Математическая логика»


  1. Нормальные формы. Всякую ли пропозициональную форму можно привести к НФ.

  2. Исчисление предикатов: основные понятия, аксиомы.

  3. Задача


Преподаватель _________________ / В.В. Утёмов/



^ ФЕДЕРАЛЬНОЕ АГЕНТСТВО ПО ОБРАЗОВАНИЮ

утверждаю
Зав. кафедрой математических и естественнонаучных дисциплин
______________________________

(подпись)

Е.В. Харунжева

(Ф.И.О.)


Государственное образовательное учреждение

высшего профессионального образования


^ РОССИЙСКИЙ ГОСУДАРСТВЕННЫЙ ГУМАНИТАРНЫЙ УНИВЕРСИТЕТ

Филиал в г.Кирове


Экзаменационный билет№ 8
Специальность: Прикладная информатика (в информационной сфере)

Специализация: без специализации

Форма обучения: Очная

Курс: 2

Дисциплина: «Математическая логика»


  1. Совершенные нормальные формы.

  2. Выполнимые формулы и их связь с общезначимыми.

  3. Задача


Преподаватель _________________ / В.В. Утёмов/



^ ФЕДЕРАЛЬНОЕ АГЕНТСТВО ПО ОБРАЗОВАНИЮ


утверждаю
Зав. кафедрой математических и естественнонаучных дисциплин
______________________________

(подпись)

Е.В. Харунжева

(Ф.И.О.)


Государственное образовательное учреждение

высшего профессионального образования


^ РОССИЙСКИЙ ГОСУДАРСТВЕННЫЙ ГУМАНИТАРНЫЙ УНИВЕРСИТЕТ

Филиал в г.Кирове


Экзаменационный билет№ 9
Специальность: Прикладная информатика (в информационной сфере)

Специализация: без специализации

Форма обучения: Очная

Курс: 2

Дисциплина: «Математическая логика»


  1. Равносильные преобразования формул.

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

  3. Задача


Преподаватель _________________ / В.В. Утёмов/



^ ФЕДЕРАЛЬНОЕ АГЕНТСТВО ПО ОБРАЗОВАНИЮ

утверждаю
Зав. кафедрой математических и естественнонаучных дисциплин
______________________________

(подпись)

Е.В. Харунжева

(Ф.И.О.)


Государственное образовательное учреждение

высшего профессионального образования


^ РОССИЙСКИЙ ГОСУДАРСТВЕННЫЙ ГУМАНИТАРНЫЙ УНИВЕРСИТЕТ

Филиал в г.Кирове


Экзаменационный билет№ 10
Специальность: Прикладная информатика (в информационной сфере)

Специализация: без специализации

Форма обучения: Очная

Курс: 2

Дисциплина: «Математическая логика»


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

  2. Теорема дедукции

  3. Задача


Преподаватель _________________ / В.В. Утёмов/



^ ФЕДЕРАЛЬНОЕ АГЕНТСТВО ПО ОБРАЗОВАНИЮ


утверждаю
Зав. кафедрой математических и естественнонаучных дисциплин
______________________________

(подпись)

Е.В. Харунжева

(Ф.И.О.)


Государственное образовательное учреждение

высшего профессионального образования


^ РОССИЙСКИЙ ГОСУДАРСТВЕННЫЙ ГУМАНИТАРНЫЙ УНИВЕРСИТЕТ

Филиал в г.Кирове


Экзаменационный билет№ 11
Специальность: Прикладная информатика (в информационной сфере)

Специализация: без специализации

Форма обучения: Очная

Курс: 2

Дисциплина: «Математическая логика»


  1. Связь между тавтологиями и теоремами исчисления высказываний. Теорема о полноте.

  2. Равносильные преобразования формул в исчислении предикатов.

  3. Задача


Преподаватель _________________ / В.В. Утёмов/



^ ФЕДЕРАЛЬНОЕ АГЕНТСТВО ПО ОБРАЗОВАНИЮ

утверждаю
Зав. кафедрой математических и естественнонаучных дисциплин
______________________________

(подпись)

Е.В. Харунжева

(Ф.И.О.)


Государственное образовательное учреждение

высшего профессионального образования


^ РОССИЙСКИЙ ГОСУДАРСТВЕННЫЙ ГУМАНИТАРНЫЙ УНИВЕРСИТЕТ

Филиал в г.Кирове


Экзаменационный билет№ 12
Специальность: Прикладная информатика (в информационной сфере)

Специализация: без специализации

Форма обучения: Очная

Курс: 2

Дисциплина: «Математическая логика»


  1. Необходимость расширения понятия высказывания. Предикаты. Примеры. Кванторы. Расширение понятия формулы.

  2. Общезначимые формулы.

  3. Задача


Преподаватель _________________ / В.В. Утёмов/

Добавить документ в свой блог или на сайт

Похожие:

Экзаменационные билеты по дисциплине «Математическая логика (IV семестр)» iconЭкзаменационные билеты по дисциплине «Теория вероятностей и математическая...
Вероятность как частота события. Классическая вероятностная модель. Аксиомы теории вероятностей

Экзаменационные билеты по дисциплине «Математическая логика (IV семестр)» iconЭкзаменационные билеты по дисциплине «Экспертные системы ( IX семестр)»
Алгоритм прямого логического вывода. Блок-схема, достоинства, недостатки, типовое применение

Экзаменационные билеты по дисциплине «Математическая логика (IV семестр)» iconМетодические указания к выполнению лабораторных работ 1-3 по дисциплине...
Целью работы является теоретическое изучение основных логических функций и эквивалентностей исчисления высказываний и приобретение...

Экзаменационные билеты по дисциплине «Математическая логика (IV семестр)» iconЭкзаменационные билеты по дисциплине «Конструирование рекламы»
Виды сувенирной продукции в рекламе. Основные правила при оптимальном выборе сувенирной продукции

Экзаменационные билеты по дисциплине «Математическая логика (IV семестр)» iconМатематическая логика и теория алгоритмов
Перечислить все способы расстановки n ферзей на шахматной доске n на n, при которых они не бьют друг друга

Экзаменационные билеты по дисциплине «Математическая логика (IV семестр)» iconЭкзаменационные материалы по предмету «технология» Экзаменационные...
Экзаменационные билеты по технологии составлены с учетом обязательных минимумов содержания основного общего и среднего (полного)...

Экзаменационные билеты по дисциплине «Математическая логика (IV семестр)» iconЭкзаменационные билеты на аттестат зрелости по русскому языку

Экзаменационные билеты по дисциплине «Математическая логика (IV семестр)» iconЭкзаменационные билеты по криминальному процессу №
Определение понятия “криминальный процесс”: задачи, роль в борьбе с преступностью

Экзаменационные билеты по дисциплине «Математическая логика (IV семестр)» iconБилеты по Геометрии и Алгебре. 2006 г. (2 семестр)
Инвариантные подпространства, их сумма и пересечение. Собственные векторы и числа, способ их нахождения

Экзаменационные билеты по дисциплине «Математическая логика (IV семестр)» iconЭкзаменационные билеты зимней сессии для 10 классов
Политическая раздробленность Руси (причины и последствия раздробленности, крупнейшие княжества)

Вы можете разместить ссылку на наш сайт:
Школьные материалы


При копировании материала укажите ссылку © 2013
контакты
vbibl.ru
Главная страница