Математика Самостоятельная работа 14

Минобрнауки россии

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

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

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

Кафедра «Автоматика и телемеханика»

методические указания

по САМОСТОЯТЕЛЬНОЙ РАБОТЕ СТУДЕНТА

по дисциплине

Математика

Направление подготовки: 230100 «Информатика и вычислительная техника»

Профиль : «Программное обеспечение средств вычислительной техники и автоматизированных систем»

Направление подготовки: 230400 «Информационные системы и технологии»

Профиль : «Информационные системы»

Направление подготовки: 220400 «Управление в технических системах»

Профиль : «Управление и информатика в технических системах»

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

Тула 2012 г.

Методические указания по СРС составлены доцентом, к.ф.-м.н. Красоткиной О.В. и обсуждены на заседании кафедры автоматики и телемеханики факультета кибернетики,

протокол № 6 от " 31 " января 2012 г.

Зав. кафедрой________________А.А. Фомичев

Методические указания по ККР (РГР, СРС, КРЗ, ТР, проведению индивидуальных занятий с магистрантами) пересмотрены и утверждены на заседании кафедры автоматики и телемеханики факультета кибернетики,

протокол №___ от "___"____________ 20___ г.

Зав. кафедрой________________А.А. Фомичев

Содержание

Тула 2012 г. 1

1 Цель и задачи самостоятельной работы 4

2. Работа по самостоятельному изучению отдельных тем 4

3. Методические указания по подготовке к текущей аттестации 14

1 Цель и задачи самостоятельной работы

Целью самостоятельной работы является изучение тем, не рассмотренных в течение практических занятий (29 час), а также подготовка к текущим аттестациям (28 час).

2. Работа по самостоятельному изучению отдельных тем

Трудоемкость самостоятельного изучения тем в четвертом семестре составляет 29 часов.

Темы, выносимые на самостоятельное изучение, их трудоемкость и контрольные вопросы по каждой из них приведены ниже

Темы, выносимые на самостоятельное изучение

Номера тем проставлены согласно рабочей программе по данной дисциплине.

Тема 1.3 Метод дедуктивного вывода

Общая трудоемкость 7 часа, из них 2 часа – аудиторные занятия, 5 ч - самостоятельные занятия.

В ходе аудиторных занятий рассматриваются аксиоматика и правила вывода исчисления высказываний, рассматривается процедура дедуктивного вывода с примерами. В ходе самостоятельной работы студенты тренируются в решении задач на применение дедуктивного вывода для доказательства следования заключения из комплекса посылок в логике высказываний [1] ., разд 4.3

Задачи для самоконтроля

Составить таблицу истинности. Доказать истинность заключения методом дедукции и нарисовать граф дедуктивного вывода.

Вариант	Доказать истинность заключения
1.	(BA); (B(AC))  (B(BC))
2	(AB); (CB)  (AC)(AC)
3.	(AB)  ( BA)(АС)
4.	(AB)  ((BC)(AC))
5	(AB); (CD)  (ACBD)
6	(AB); ( AB)  B (AC)
7.	(BA); (B(AC))  (BC)
8.	(AB)  (CA)( CB)
9	(AB); (A(BC))  (AC)
10.	(ABAB)  (AC)(BC)
11.	(A(BC));(AB);A  C
12.	(ABC)  (A(BC))
13.	(B(AC)); (BA)  (B(BC))
14	(ABCD); (A A)  C
15.	(A(BC)); ( DA);B  (DC)
16.	(AB); (AC); (BD)  CD
17.	(AB); (CB); (D(AC)); D  B
18.	(AB); (BC); (CD)  (AD)
19	(B(AC)); (BA)  (B(BC))
20	(A(CB)); ( DA); C; D  DB
21	(AB)  (CA)(CB)
22.	A; (AB)  (CABC)
23	(AB);  (BC)   A
24	(A(BC)); ( DA);B  (DC)
25	(AC); (AB);A  (AC)(BC)
26	(A(BC)); (AB)  (AC)
27	( AB); (C B)  A C
28	C; (AB)  ((CA)(CB))
29	(A(BC))  ((AB) C)
30	(AB)  ACBC
31.	(A(BC)); ( DA);B  (DC)
32.	(AB); (BC); (CD)  (AD)
33.	(B (AC)); (BA)  (BC)
34.	(AB)  (AC)BC)
35.	(B(AC)); (BA)  (B(BC))
36.	(A(BC); (AB)  (A(AC))
37.	(B(AC)); (BA)  (B(BC)
38.	(AC); (BA)  ( CB)
39.	(AB); (CB); (D(AC)); D  B
40.	(AB) ( A CBC)
41.	(B(AC)); (BA)  (B(BC))
42.	(ABC)  (A(BC))
43	(A(BC)); ( DA);B  (DC)
44.	(A(BC));(AB);A  C
45.	(A(BC)); (AB)  (AC)
46.	(A(BC))  (B(AC))
47.	(AB); (BC); (CD)  (AD)
48.	(AB)  (AC)(BC)
49.	(AB); B   A CBC
50.	(AB)  (AC)(BC)