Это методическое пособие предназначено для желающих самостоятельно научиться решать задачи по основным разделам предмета на языках Бейсик и Паскаль. Предлагаемая методика включает

Вид материала

Методическое пособие

Подобный материал:

• Учебно-методическое пособие таганрог 2005 ббк 67. 01 Составитель, 578.81kb.
• Курс. 01;Мпк. 01;3 методическое пособие по курсовой работе методика воспитательной, 230.31kb.
• Методика преподавания хореографических дисциплин Учебно-методическое пособие для специальности, 1490.89kb.
• Ниязов Олег Нургалиевич Ниязов О. Н. Н60 методическое пособие, 75.1kb.
• Учебно-методическое пособие Йошкар-Ола, 2009 ббк п 6 удк 636, 3772.57kb.
• Учебно-методическое пособие и ситуационные задачи по урологии для студентов волгоград,, 482.99kb.
• Панасенко Александр Иванович, профессор кафедры органической и биологической химии, 259.01kb.
• Учебное пособие по курсу «управление банковским продуктом» Составитель: к э. н., доцент, 955.86kb.
• Предлагаемая работа представляет собой попытку в краткой форме изложить теоретический, 1296.91kb.
• Российской федерации, 664.65kb.

II.8.Контрольные работы

II.8.1.Контрольная работа №1

Диктант

1. Напишите таблицу истинности для операции конъюнкция.
   
2. Напишите таблицу истинности для операции дизъюнкция.
   
3. Напишите таблицу истинности для операции импликация.
   
4. Напишите таблицу истинности для операции эквивалентность.
   
5. Какая логическая связка соответствует конъюнкции.
   
6. Какая логическая связка соответствует дизъюнкции.
   
7. Какая логическая связка соответствует импликации.
   
8. Какая логическая связка соответствует отрицанию.
   
9. Какая логическая связка соответствует эквивалентности.
   
10. Что изучает предмет математическая логика?
    
11. Дайте определение понятию "рассуждение".
    

II.8.2.Контрольная работа №2

Вариант 1

1. Запишите логическое выражение, соответствующее таблице истинности, и упростите его:
   

   A	B	C
   0	0	1
   0	1	1
   1	0	0
   1	1	0

2. Проверьте, истинно ли высказывание:
   

(  ) (XY)

3. Составьте четыре простых высказывания и объедините их в сложные, составьте логическое выражение и упростите его.
   

Вариант 2

1. Запишите логическое выражение, соответствующее таблице истинности, и упростите его:

A	B	C
0	0	0
0	1	1
1	0	1
1	1	0

2. Проверьте, истинно ли высказывание:

(XY)  

3. Составьте четыре простых высказывания и объедините их в сложные, составьте логическое выражение и упростите его.

Вариант 3

1. Запишите логическое выражение, соответствующее таблице истинности, и упростите его:
   

A	B	C
0	0	1
0	1	0
1	0	0
1	1	0

2. Проверьте, истинно ли высказывание:
   

(  ) (XY)

2. Составьте четыре простых высказывания и объедините их в сложные, составьте логическое выражение и упростите его.
   

II.9.Вопросы для самопроверки

1. Знать операцию конъюнкции, дизъюнкции, импликации, эквивалентности, отрицание высказывания.
   
2. Заполнять таблицы истинности И, ИЛИ, НЕ.
   
3. Уметь упрощать логическое выражение
   
4. По логическому выражению заполнять таблицу истинности.