Задания по теме "Основы логики, логические выражения" 1. Постройте отрицания следующих высказываний: 1. Число 1 есть составное число. 2 Натуральные числа, оканчивающиеся цифрой 0, являются простыми числами. 3 Неверно, что число 3 не является делителем числа 198. 4. Неверно, что любое число, оканчивающееся цифрой 4, делится на 4. 5 Некоторые млекопитающие не живут на суше. 6. Существуют простые чётные числа 7. На зачёте каждый студент писал ответы на отдельном листке. 2. Среди следующих высказываний выделить конъюнкцию и дизъюнкцию и определить, истинны они или ложны: а) Число 27 кратно 3 и 9 б) Если 17< 20, то 7<10 в) Треугольник АВС является остроугольным, или прямоугольным, или тупоугольным г) 7-49 или (7) = 49 или (-7)-49 д) 21:21 е) Граждане России имеют право голоса только с 18 лет. 3. Даны высказывания: А={Я куплю велосипед В={Я буду участвовать в соревнованиях по велоспорту C={Я буду путешествовать по России D-{Четырёхугольник MNPQ - параллелограмм} F={Диагонали MNPQ в точке пересечения делятся пополам} Сформулируйте высказывания, соответствующие выражениям: а) Алв б) АЛВ в) AvВ г) AvВvсд) Avс Запишите высказывания, заданные этими выражениями и установите, истинны они или ложны: а) D-B 6) DHF B) FHD г) FHD д) D-F Пользуясь высказываниями А, В и С, запишите логические выражения: а) Я не куплю велосипед, а буду путешествовать по России б) я буду путешествовать по России, но не буду участвовать в соревнованиях в) Неверно, что я буду путешествовать по России и участвовать в соревнованиях по велоспорту г) Я буду путешествовать по России только тогда, когда я куплю велосипед и буду участвовать в соревнованиях по велоспорту д) Если я куплю велосипед, то я буду участвовать в соревнованиях по велоспорту или путешествовать по России 4. Построить таблицу истинности для следующего выражения: АНВv АЛВ АС 5. Дана логическая схема. Вычислить результат для y=1 (решение написать по действиям): х N х Али - не M или не
1. Винер Норберт - изучил высшую математику, стал доктором философии Гарвардского университета , профессор Массачусетского технологического института. Получил известность как математик работами по теории потенциала, гармоническим функциям, рядам и преобразованиям Фурье, тауберовым теоремам, общему гармоническому анализу. У Винера возникла идея о необходимости создания единой науки, изучающей процессы хранения и переработки информации, управления и контроля. Для этой науки предложил название кибернетика . 2. Клод Шеннон - основатель теории информации .Приложил свои руки в инженерии, кибернетики, электротехнике, математике и теории информации. Разработал теорию связи кодирования. Создал промышленную радиоуправляемую игрушку , ввёл понятие "бит" - единица измерения. Отмечен многими наградами и премиями, и Нобелевской премией. 3. Тедом Нельсоном в 1965 году 4. Тим Бернерс-Ли в 1980 году
// PascalABC.NET 3.2, сборка 1437 от 03.05.2017 // Внимание! Если программа не работает, обновите версию!
begin var t:=ReadlnString(':').MatchValue('\(.*\)'); Writeln(t[2:t.Length]) end.
Пример : Напечатаем только то (что в скобках) и не более! что в скобках
Пояснения. 1) Принимаем с клавиатуры текстовую строку, выделяем в ней пару круглых скобок вместе с содержимым и помещаем полученную подстроку в t. В соответствии с условием считаем без проверки, что такая пара скобок есть всегда. 2) Выделяем из содержимого t символы со второго по предпоследний (т.е. скобки не включаем) и выводим результат на экран.
2. Клод Шеннон - основатель теории информации .Приложил свои руки в инженерии, кибернетики, электротехнике, математике и теории информации. Разработал теорию связи кодирования. Создал промышленную радиоуправляемую игрушку , ввёл понятие "бит" - единица измерения. Отмечен многими наградами и премиями, и Нобелевской премией.
3. Тедом Нельсоном в 1965 году
4. Тим Бернерс-Ли в 1980 году
// Внимание! Если программа не работает, обновите версию!
begin
var t:=ReadlnString(':').MatchValue('\(.*\)');
Writeln(t[2:t.Length])
end.
Пример
: Напечатаем только то (что в скобках) и не более!
что в скобках
Пояснения.
1) Принимаем с клавиатуры текстовую строку, выделяем в ней пару круглых скобок вместе с содержимым и помещаем полученную подстроку в t. В соответствии с условием считаем без проверки, что такая пара скобок есть всегда.
2) Выделяем из содержимого t символы со второго по предпоследний (т.е. скобки не включаем) и выводим результат на экран.