Поиск

Полнотекстовый поиск:
Где искать:
везде
только в названии
только в тексте
Выводить:
описание
слова в тексте
только заголовок

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

'Документ'
Тесла с легкостью шагнул на 100 лет вперед, спровоцировав са­мую главную (и, как показало время, самую кровавую) техническую революцию. Он изобрел инд...полностью>>
'Документ'
В то же время это период, в течении которого ребёнок находится в полной зависимости от окружающих взрослых – родителей, педагогов. Поэтому ненадлежащи...полностью>>
'Документ'
Предлагается выполнить одно задание в последовательности представленной в технологической карте. Необходимо выполнить задание согласно критериев оцени...полностью>>
'Документ'
Один из самых явных показателей качества и уровня обучения в школе – это успеваемость школьника. В нашей школе наиболее часто встречаются следующие пр...полностью>>

Главная > Методические указания

Сохрани ссылку в одной из сетей:
Информация о документе
Дата добавления:
Размер:
Доступные форматы для скачивания:

Министерство образования И НАУКИ Российской Федерации

Бузулукский гуманитарно-технологический институт (филиал)

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

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

"Оренбургский государственный университет".

Факультет дистанционных технологий обучения

Кафедра физики, информатики и математики

МЕТОДИЧЕСКИЕ УКАЗАНИЯ

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

Направление подготовки:

050100.62 Педагогическое образование

Профиль подготовки: Информатика

Квалификация выпускника: бакалавр

Бузулук 2014

Оглавление

Рекомендации по выполнению и оформлению

контрольной работы

Перед выполнением контрольной работы студент должен изучить соответствующие разделы курса по учебным пособиям, рекомендуемым в списке литературы

Если студент испытывает затруднения в усвоении теоретического или практического материала, то он может получить устную консультацию у преподавателя (1330 до 1430 ч., по понедельникам; адрес: ул. 1 Мая, 31, каб. 11).

Контрольная работа выполняется согласно номеру в списке в учебного журнала, соответствующего фамилии студента.

Контрольная работа выполняется в тетради, задания записываются в той же последовательности, что и в условиях задач. Замечания и недоработки устраняются в той же тетради после рецензии преподавателя. Исправленная работа отправляется на повторную рецензию.

Работа выполняется только в рукописном варианте


Контрольные задания по курсу "Математическая логика "

1. Раздел «Логика высказываний»

Задание

  1. Установить, является ли данная формула тождественно-истинной.

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

  3. Установить, является ли данное рассуждение правильным, (проверить, следует ли заключение из конъюнкции посылок).

Варианты индивидуальных заданий

Вариант №1

1. (PQ)  ((QR)  (PR)).

2. Он и жнец, и швец, и на дуде игрец.

3. Если человек принял какое-то решение, и он правильно воспитан, то он преодолеет все конкурирующие желания. Человек принял решение, но не преодолел конкурирующих желаний. Следовательно, он неправильно воспитан.

Вариант №2

1. (PQ)  ((P  (QR))  (PR)).

2. Идет дождь, и идет снег.

3. Если данное явление психическое, то оно обусловлено внешним воздействием на организм. Если оно физиологическое, то оно тоже обусловлено внешним воздействием на организм. Данное явление не психическое и не физиологическое. Следовательно, оно не обусловлено внешним воздействием на организм.

Вариант №3

1. (PR)  ((QR)  ((P V Q)  R)).

2. Он хороший студент или хороший спортсмен.

3. Если подозреваемый совершил кражу, то, либо она была тщательно подготовлена, либо он имел соучастников. Если бы кража была тщательно подготовлена, то, если бы были соучастники, украдено было бы много. Украдено мало. Значит, подозреваемый невиновен.

Вариант №4

1. (QR)  ((P V Q)  (P V R)).

2. Если стальное колесо нагреть, то его диаметр увеличится.

3. Если курс ценных бумаг растет, или процентная ставка снижается, то падает курс акций. Если процентная ставка снижается, то либо курс акций не падает, либо курс ценных бумаг не растет. Курс акций понижается. Следовательно, снижается процентная ставка.

Вариант № 5

1. ((Q V (R  P))  (R & (PQ))) V R .

2. Если воду охлаждать, то объем ее будет уменьшаться.

3. Либо свидетель не был запуган, либо, если Генри покончил жизнь самоубийством, то записка была найдена. Если свидетель был запуган, то Генри не покончил жизнь самоубийством. Записка была найдена. Следовательно, Генри покончил жизнь самоубийством.

Вариант №6

1. ((PQ)  (QR))& PR.

2. Он учится в институте или на курсах иностранных языков.

3. Если философ – дуалист, то он не материалист. Если он не материалист, то он диалектик или метафизик. Он не метафизик. Следовательно, он диалектик или дуалист.

Вариант №7

1. (Q V (RP))  (R & (PQ)).

2. Он способный и прилежный.

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

Вариант №8

1. (PQ)  ((QR)  (PR)).

2. Эта книга сложная и неинтересная.

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

Вариант №9

1. (PQ)  ((QR)  (PR)).

2. Он и жнец, и швец, и на дуде игрец.

3. Если цены высоки, то и заработная плата высока. Цены высоки или применяется регулирование цен. Если применяется регулирование цен, то нет инфляции. Наблюдается инфляция. Следовательно, заработная плата высока..

Вариант №10

1. ((Q V (R  P))  (R & (PQ))) V R.

2. Если воду охлаждать, то объем ее будет уменьшаться.

3. Если я устал, я хочу вернуться домой. Если я голоден, я хочу вернуться домой или пойти в ресторан. Я устал и голоден. Поэтому я хочу вернуться домой.

2. Раздел «Логика предикатов»

Задание

1. Установить, является ли данное выражение формулой, а если да, то определить, какие переменные в ней свободные, а какие связанные.

2. Даны предикаты: А(x) и B(x). Записать словами предложенные формулы С и D.

3. Данное суждение записать в виде формулы логики предикатов. Построить отрицание данного суждения в виде формулы, не содержащей внешних знаков отрицания. Перевести на естественный язык.

Варианты индивидуальных заданий

Вариант №1

1xy(A(x))&B(y, z)).

2. А(x) = "x – торговец подержанными автомобилями"; B(x) = "x – нечестный человек". Записать словами: C = x(A(x)  B(x)); D =  x(B(x) & A(x)).

3. Не всякое действительное число является рациональным.

Вариант №2

1.xy(A(x,y)  C(z) &B(y, z))).

2. А(x) = "x – торговец наркотиками"; B(x) = "x – наркоман". Записать словами:

C = x(A(x)  B(x)); D = x(A(x)&B(x)).

3. Каждый студент выполнил хотя бы одну лабораторную работу.

Вариант №3

1. xy(A(x)  B(y, z)).

2. А(x) = "x – рациональное число"; B(x) = "x – действительное число". Записать словами: C = x(B(x) & A(x)); D = x(A(x)  B(x)).

3. Ни одно четное число, большее 2, не является простым.

Вариант №4

1. xy(A(x)&B(y)) C(y, z)).

2. А(x) = "x – политик"; B(x) = "x – мошенник". C = x(A(x) B(x))); D = x(A(x)&B(x)).

3. Выгул собак или кошек запрещен.

Вариант № 5

1. xy(A(x,y)&B(y, z))).

2. А(x) = "x – рыба"; B(x) = "x – водное животное". С = x(B(x) & A(x)); D = x(A(x) B(x)).

3. Произведение любых двух простых чисел не является простым числом.

Вариант №6

1. xy(A(x))&B(y)).

2. А(x) = "x – четное число"; B(x) = "x делится на 6". Записать словами:

C = x(B(x) A(x)); D = x((A(x)&B(x))).

3. Всякое положительное число больше всякого отрицательного числа.

Вариант №7

1. xy(A(x)) B(y, z)).

2. А(x) = "x – металл"; B(x) = "x – теплопроводен". Записать словами:

C = x(B(x) & A(x)); D = x(A(x)  B(x)).

3. Каждый, купивший билет, получит премию.

Вариант №8

1. xy(A(x) B(y, z))).

2. А(x) = "x – простое число"; B(x) = "x четное число". Записать словами:

C = x(B(x) A(x)); D = x((A(x)&B(x))).

3. Всякое положительное число больше всякого отрицательного числа.

Вариант №9

1.xy(A(x, y)) B(y, z)).

2. А(x) = "x – студент"; B(x) = "x – сдал экзамены". Записать словами:

C = x(B(x) & A(x)); D = x(A(x)  B(x)).

3. Всякий равносторонний треугольник является равнобедренным.

Вариант №10

1. x(y(A(x)&B(y, z)).

2. А(x) = "x - деятельность"; B(x) = "x дает счастье". Записать словами:

C = x(B(x) A(x)); D = x((A(x)&B(x))).

3. Некоторые студенты сдали все зачеты.

  1. Раздел «Формальные аксиоматические теории (исчисления)»

Задание

1. Установить правильность рассуждения, построив вывод исчисления высказываний.

2. Установить правильность рассуждения, построив вывод исчисления предикатов.

3. Проверить вывод методом резолюций.

Варианты индивидуальных заданий

Вариант №1

1. Если философ дуалист, то он не материалист. Если он не материалист, то он метафизик. Этот философ дуалист. Следовательно, он метафизик.

2. Каждый студент честен. Джон нечестен. Значит, он не студент.

3. A (B VC), A, BD, CD D.

Вариант №2

1. Если идет дождь, то крыши мокрые. Крыши не мокрые. Следовательно, дождя нет.

2. Каждый, кто силен и умен, добьется успеха. Петр силен и умен. Значит, Петр добьется успеха.

3. A (B VC), A V C, BC.

Вариант №3

1. Если треугольник равносторонний, то его углы равны. Треугольник равносторонний. Следовательно, его углы равны.

2. Надежда еще не потеряна. Значит, еще не все потеряно.

3. A&C B , A, BD, C D.

Вариант №4

1. Если это преступление совершил Смит, то он знает, где находятся похищенные деньги. Смит не знает, где находятся похищенные деньги. Следовательно, он не совершал преступления.

2. Всякий, кто не может решить эту задачу – не математик. Иван не может решить эту задачу. Значит, Иван не математик.

3. A V B, A C, BDC V D.
Вариант № 5

1. Если не зафиксировано изъятие следов преступной деятельности в протоколе, то процессуальный порядок следственного действия не соблюден. Процессуальный порядок следственного действия соблюден. Следовательно, изъятие следов преступной деятельности зафиксировано в протоколе.

2. Все металлы теплопроводны. Дерево не теплопроводно. Значит, дерево не металл.

3. A, C, A&C D, DB B.

Вариант №6

1. Этот человек инженер или рабочий. Он не инженер. Следовательно, он рабочий.

2. Все медсестры – медицинские работники. Все медицинские работники имеют право на льготы. Следовательно, все медсестры имеют право на льготы.

3. A (B VC), AB, CB.

Вариант №7

1. Если студент занимается не систематически, то он не имеет прочных знаний Если он не имеет прочных знаний, то он не будет хорошим специалистом. Следовательно, если студент занимается не систематически, то он не будет хорошим специалистом.

2. Все собаки обладают хорошим обонянием. Джек – собака. Следовательно, Джек обладает хорошим обонянием.

3. A, A (B C), BD, CD.

Вариант №8

1. Это вещество может быть кислотой либо щелочью. Это вещество не щелочь. Следовательно, это кислота.

2. Этому никто не поверит. Значит, судья этому не поверит.

3. (AC )  (A B) A V B.

Вариант №9

1. Если прямая касается окружности, то радиус, проведенный в точку касания, перпендикулярен к ней. Радиус окружности не перпендикулярен к этой прямой. Следовательно, прямая не касается окружности.

2. Все натуральные числа – целые. 5 – натуральное число. Значит, 5 – целое число.

3. B VC, CA, BD, D AA.

Вариант №10

1. Если человек знает геометрию, то он знает теорему Пифагора, Этот человек не знает теорему Пифагора. Следовательно, он не знает геометрию.

2. Всякое положительное целое число есть натуральное число. Число 7 – положительное целое число. Следовательно, 7 – натуральное число.

3. B (DC), D, C  A V B) A V B.

  1. Раздел «Нечеткая логика»

Задание

Определить степень равносильности формул. и при условии, что и принимают значения степеней истинности из множества {0,2; 0,3}.

Варианты индивидуальных заданий

а) 

бV

&

&

а)&

б



V

а) &

б



V

а

б&

&

V

а) 

б) 

&

а) V

б) 



а)&

б



а)

б) 

&



а)

б

V

а) &

б) &

V




Похожие документы:

  1. Методические указания к выполнению практических работ по дисциплине «элементы и устройства вычислительной техники» для студентов очной формы обучения специальности 230106 «Техническое обслуживание средств вычислительной техники и компьютерных сетей»

    Методические указания
    ... МЕТОДИЧЕСКИЕ УКАЗАНИЯ К ВЫПОЛНЕНИЮ ПРАКТИЧЕСКИХ РАБОТ ПО ДИСЦИПЛИНЕ ... математическую логику, в которой логические понятия обозначены математическими ... 0 1 1 1 1 1 1 0 1 1 0 0 1 1 1 1 1 0 1 0 1 1 0 0 Контрольные вопросы и задания 1. Какие функции выполняет ...
  2. Публичный отчёт Муниципального бюджетного образовательного учреждения средней общеобразовательной школы Х. Верхнеподпольный

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

    Методические указания
    ... -методической работе и качеству образования д.э.н., профессор ___________ В.И. Малюк Р ег. № М-2177 ЛОГИКА И ТЕОРИЯ АРГУМЕНТАЦИИ Методические указания к изучению дисциплины и выполнению контрольной работы ...
  4. Методические указания по выполнению курсовых работ по дисциплине «Системное программное обеспечение» для студентов, обучающихся по специальностям 210100, 210200 и направлению 550200

    Методические указания
    ... Ю.А. Савостьянок МЕТОДИЧЕСКИЕ УКАЗАНИЯ по выполнению курсовых работ по дисциплине «Системное программное ... контрольной точки). Вариант 19 Написать программу на С++, выполнение ... памяти и управляющей логике. позволяет делать ... или математических обозначений, ...
  5. Методические указания по выполнению практических работ адресованы студентам очной (заочной) формы обучения

    Методические указания
    ... 2 Комплекс математических субтестов, ... Я пытаюсь показать другому логику и преимущества моих взглядах ... Методические указания по выполнению практического занятия № 5 Учебная дисциплина ... работ, выполнение контрольных работ/ ситуационных заданий по ...

Другие похожие документы..