Контрольная работа по логике для специальности




Скачать 26.53 Kb.
НазваниеКонтрольная работа по логике для специальности
Дата публикации25.06.2013
Размер26.53 Kb.
ТипКонтрольная работа
litcey.ru > Математика > Контрольная работа
Контрольная работа по логике для специальности

351400 «Прикладная информатика (в экономике)»
Задание на контрольную работу:

  1. Определите результирующее множество.

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

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

  4. Доказать общезначимость формулы методом равносильных преобразований (при доказательстве указывать номер формулы, по которой производится преобразование).

  5. Доказать, используя метод естественного вывода.

  6. Определить значение предиката и записать пояснения по вычисленному значению.

  7. Выполнить подстановку для предиката.

Вариант 1.

Задание 1.



если X={1,4,8,9,10,12}, Y={2,3,4,5,8,9}, Z={2,3,4,12,17}, I={1…20}.

Задания 2, 3, 4, 5



Задание 6



Задание 7



,,,


Вариант 2.

Задание 1.



если X={1,2,3,4,5,6,7,8,9,12}, Y={4,8,9,10,13,14}, Z={3,6,9,14,17,18}, S={1,2,5,7,8,12,14,18}, I={1…20}.

Задания 2, 3, 4, 5



Задание 6



Задание 7



,,,

Вариант 3.

Задание 1.



если X={1,2,3,4,5}, Y={3,4,6,7,8}, Z={7,8,9,10,11}, S={5,6,10,11,12}, I={1…20}.

Задания 2, 3, 4, 5



Задание 6



Задание 7



,,,

Вариант 4.

Задание 1.

если X={1,2,3,4,5,6,7,8,9,12}, Y={4,8,9,10,13,14}, Z={3,6,9,14,17,18}, S={1,2,5,7,8,12,14,18}, I={1…20}.

Задания 2, 3, 4, 5



Задание 6

Задание 7



,,,

Вариант 5.

Задание 1.

если X={1,2,3,4,5}, Y={3,4,6,7,8}, Z={7,8,9,10,11}, S={5,6,10,11,12}, I={1…20}.

Задания 2, 3, 4, 5



Задание 6

Задание 7



,,,

Вариант 6.

Задание 1.

если X={1,2,3}, Y={4,5,6,8}, Z={1,2,4,9,11}, I={1…20}.

Задания 2, 3, 4, 5



Задание 6

Задание 7



,,,


Вариант 7.

Задание 1.

если X={1,3,5,7,9}, Y={2,3,4,5,6}, Z={2,4,6,8,10}, I={1…20}.

Задания 2, 3, 4, 5



Задание 6

Задание 7



,,,

Вариант 8.

Задание 1.

если X={1,3,5,7,9}, Y={2,3,4,5,6}, Z={2,4,6,8,10}, I={1…20}.

Задания 2, 3, 4, 5



Задание 6

Задание 7



,,,






Похожие:

Контрольная работа по логике для специальности iconКонтрольная работа по логике (практическая часть) для специальности
Составить структурную формулу по заданной функциональной схеме. Построить таблицу истинности
Контрольная работа по логике для специальности iconКонтрольная работа по Логике студента 11/2 группы
Материалы данного файла могут быть использованы без ограничений для написания собственных работ с целью последующей сдачи в учебных...
Контрольная работа по логике для специальности iconКонтрольная работа Уравнения математической физики
Контрольная работа по дисциплине «Специальные главы высшей математики» для студентов заочного отделения специальности «Риэнгм» составлена...
Контрольная работа по логике для специальности iconКонтрольная работа контрольная работа по дисциплине «Прикладное программное обеспечение»
Контрольная работа по дисциплине «Прикладное программное обеспечение» является самостоятельной творческой работой студента и предполагает...
Контрольная работа по логике для специальности iconКонтрольная работа №1. «Входная контрольная работа в 6 классе»
Укажите вариант ответа, в котором во всех словах на месте пропуска пишется одна и та же буква
Контрольная работа по логике для специальности iconКонтрольная работа по дисциплине “административное право” для студентов...
Ются на буквы и-н, выполняют работу по второму варианту. Студенты, фамилии которых начинаются на буквы о-я, выполняют работу по третьему...
Контрольная работа по логике для специальности iconМетод резолюций в логике высказываний
Цель занятия: Практическое освоение метода резолюций в логике высказываний для решения проблемы дедукции
Контрольная работа по логике для специальности iconТемы контрольных работ по курсу "Деньги, кредит, банки" для студентов...
Контрольная работа является учебным исследованием студента, которое он выполняет под руководством преподавателя консультанта
Контрольная работа по логике для специальности iconПояснительная записка Обязательная контрольная работа по дисциплине...
Для студентов очного отделения специальности 080110 «Экономика и бухгалтерский учет в нефтегазодобывающей промышленности»
Контрольная работа по логике для специальности iconКонтрольная работа по дисциплине “административное право” Специальность...
Работы, выполненные с нарушением этого требования, рецензироваться не будут. Контрольная работа должна состоять из полного и всестороннего...
Вы можете разместить ссылку на наш сайт:
Школьные материалы


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