- •Оглавление
- •Задания для самостоятельного выполнения
- •1. Задайте множество а перечислением его элементов:
- •3. Пусть (X, y ) - координаты точек плоскости. Укажите штриховкой множествa a b и a b:
- •Практическое занятие №2. Операции над множествами Задания для самостоятельного выполнения
- •1. Изобразите с помощью диаграмм Эйлера-Венна в двух вариантах расположения следующие множества:
- •Практическое занятие №4. Отображение и отношение множеств
- •Практическое занятие №3. Равносильные преобразования множеств
- •Задания для самостоятельного выполнения
- •1. Докажите тождества:
- •Задания для самостоятельного выполнения
- •1. Для отображения f: {10,20,30,40} {а,б,в,г}, заданного рисунком, найдите f({10,40}), f({10,20,30}), f - 1(б), f - 1 ({а,в}), f - 1 ({б,в,г}).
- •3. Выясните, к какому типу относятся отображения f1: а в и f2: а в.
- •4. Пусть f: {1,2,3} {1,2,3}, g: {1,2,3} {1,2,3}, h: {1,2,3} {1,2,3} – отображения, показанные на рисунке:
- •Контрольные вопросы по теме «Элементы теории множеств»
- •Глава 2. Элементы математической логики Практическое занятие №6. Основы алгебры логики
- •1. Элементы логики высказываний
- •2. Равносильные преобразования формул алгебры логики
- •Задания для самостоятельного выполнения
- •1. Переформулируйте высказывания, если необходимо. Разбейте составные высказывания на простые и запишите их с помощью логической символики. Постройте таблицу истинности.
- •2. Вычислите значения выражений:
- •3. Постройте таблицы истинности формулы алгебры логики:
- •Практическое занятие №7. Основы алгебры логики
- •Задания для самостоятельного выполнения
- •1. Найдите суперпозицию функций для формул:
- •2. Постройте канонические формы для функций:
- •3. С помощью теоремы о полноте установите полноту системы:
- •4. Булевская функция f(X, y, z) задана таблично. Представьте эту же функцию формулой логики и функциональной схемой:
- •Практическое занятие №9. Применение алгебры логики
- •1. Минимизация логических функций
- •2. Применение булевых функций для анализа и синтеза дискретных устройств. Упрощение и преобразование комбинационных схем
- •3. Применение булевых функций для анализа и синтеза релейно-контактных схем. Упрощение и преобразование релейно-контактных схем.
- •Задания для самостоятельного выполнения
- •1. Минимизируйте методом Квайна - МакКласски булеву функцию f(x1, x2 ,x3, x4) , заданную таблицей истинности:
- •2. Укажите функцию f(x1, x2, x3, x4), реализуемую схемой из функциональных элементов:
- •3. Требуется произвести анализ и, если возможно, упрощение переключательных схем, приведенных на следующих рисунках:
- •Практическое занятие №10. Применение алгебры логики
- •Контрольные вопросы на тему: «Логические основы информатики»
- •Глава 3. Элементы логики предикатов Практическое занятие №11. Понятие предиката.
- •1. Постройте матрицу одноместного предиката р(X), если:
- •Задания для самостоятельного выполнения
- •1.Постройте матрицу одноместного предиката q(X), если:
- •2. Изобразите геометрически множество истинности одноместных предикатов g(X) и p(X), если:
- •3. Изобразите геометрически множество истинности предиката p(X), решив систему неравенств:
- •4. Изобразите геометрически множество истинности двуместного предиката a(X, y).
- •5. Изобразите геометрически множество истинности двуместного предиката q(X,y).
- •Практическое занятие №12. Операции над предикатами и кванторами.
- •1. Пусть предикат q(X,y) определен на конечных множествах:
- •Задания для самостоятельного выполнения
- •Практическое занятие №13. Формулы логики предикатов.
- •1. Приведите формулу логики предикатов к приведенной форме:
- •3. Приведите формулу логики предикатов к предваренной нормальной форме XyP(X, y) XyQ(X, y).
- •Задания для самостоятельного выполнения
- •Практическое занятие №13. Применение логики предикатов.
- •Задания для самостоятельного выполнения
- •1. Запишите аксиомы положительных величин на языке логики предикатов, используя ограниченные кванторы:
- •2. Запишите некоторые аксиомы действительных чисел на языке логики предикатов, используя ограниченные кванторы:
- •3. Подберите элементарные предикаты и запишите следующие высказывания:
- •5. Запишите определения на языке логики предикатов, используя ограниченные кванторы, и постройте их отрицания:
- •6. Запишите теоремы и свойства на языке логики предикатов, используя ограниченные кванторы, и постройте их отрицания:
- •0) Основная теорема алгебры.
- •7. Запишите теоремы на языке логики предикатов, используя ограниченные кванторы, и постройте их отрицания:
- •Глава 4. Элементы теории алгоритмов
- •Задания для самостоятельного выполнения
- •1. Опишите алгоритмы в словесной форме:
- •2. Опишите алгоритмы в словесно-формульной форме:
- •4.2.Практическое занятие №15. Виды алгоритмов.
- •1. Опишите графическим способом алгоритм расчета нормы расхода гербицида (л/га) по формуле:.
- •Задания для самостоятельного выполнения
- •2. Опишите алгоритмы в графической форме. Даны положительные вещественные числа X и y. Присвойте целой переменной z:
- •1. Опишите графическим способом алгоритм вычисления значения выражения:
- •Задания для самостоятельного выполнения
- •4. Даны действительные числа X, y и z. Вычислите:
- •Практическое занятие №16. Виды алгоритмов.
- •1.Составьте блок-схему алгоритма вычисления среднеквадратической взвешенной по формуле:
- •2.Составьте блок-схему алгоритма вычисления суммы кубов последовательности, состоящей из положительных чисел до первого введенного отрицательного числа.
- •Задания для самостоятельного выполнения
- •Практическое занятие №17. Машина Тьюринга.
- •1. Пусть требуется добавить 1 к натуральному числу n, представленному на ленте машины Тьюринга в двоичной системе счисления, то есть в алфавите {0,1}.
- •3. Составьте программу машины Тьюринга, подсчитывающую число вхождений символа a в слово р в алфавите {a, b, c}.
- •Задания для самостоятельного выполнения
- •1. Постройте машину Тьюринга,
- •3. Постройте машину Тьюринга, осуществляющую перевод натурального числа n
- •4. Постройте машину Тьюринга,
- •Рекомендуемая литература
Задания для самостоятельного выполнения
1. Переформулируйте высказывания, если необходимо. Разбейте составные высказывания на простые и запишите их с помощью логической символики. Постройте таблицу истинности.
Если усложнить схему устройства, то возрастает его производительность, а если использовать новую элементную базу, то увеличится период эксплуатации. Устройство начнут хорошо раскупать только при одновременном росте его производительности и периода эксплуатации. Но устройство не пользуется спросом.
Увеличение денег в обращении влечёт за собой инфляцию. Но рост денежной массы происходит по двум причинам: из-за денежной эмиссии или снижения товарооборота. Снижение товарооборота приводит к безработице и спаду производства. Из-за инфляции падает курс денежной единицы. Рекомендации экономиста Иванова: увеличить денежную эмиссию и поднять производство, тогда избежим безработицы, и курс денежной единицы останется неизменным.
Любой марксист-диалектик, но не всякий диалектик-марксист. Любой марксист-материалист, но не всякий материалист-марксист. Гегель был диалектик, но не материалист. Фейербах был материалист, но не диалектик. Итак, если бы Гегель и Фейербах могли объединиться в один кружок, то Маркс уже не понадобился бы.
Существуют две теории возникновения человека на земле - теория эволюции Дарвина и теория сотворения человека Господом Богом. Если справедлива теория эволюции, то самопроизвольное возникновение человека без соответствующих превращений живых организмов невозможно. Как доказали учёные, такие превращения действительно имели место. По теории же сотворения человек был слеплен из простой глины, а жизнь в него вдохнул господь. Глины всегда было много, а на счёт дыхания Бога тоже сомневаться не приходиться, поскольку есть на то свидетельство Библии. Отсюда вывод – две названные теории друг другу не противоречат.
Из утверждения ”два плюс два равно пяти” следует, что я и папа римский - одно и то же лицо. В самом деле, если от обеих частей указанного равенства отнять по двойке, то будет справедливо равенство ”два равно трём”. Если от обеих частей нового равенства отнять по единице, то будет справедливо равенство - “один равен двум”. Один - это я, а двойка - это я и папа римский. Поскольку верно, что ”один равен двум”, то я есть папа римский.
Сегодня посмотрю футбол, если трамвай не задержится. Трамвай не опоздал, но случилась другая беда: у меня не оказалось денег на билет. Рискну доехать «зайцем». В салоне оказался контролер, и я лихорадочно стал рыться по карманам. К моему счастью, нашелся один неиспользованный трамвайный талон. До компостера я добрался вовремя, хотя футбольный матч я так и не увидел: вместе с деньгами я дома оставил и билет на матч.
Если в оном месте что-то убудет, то в другом месте что-то прибудет – это истина, не требующая доказательства. Но есть такая теория, которая утверждает: где-то в далеком космосе существуют «черные дыры», куда все проваливается, но оттуда ничего не появляется. Эта теория ничего не говорит о существовании «белых дыр», которые действовали бы противоположно «черным». Один иностранный астрономический журнал сообщил координаты «черной дыры». Российский астроном Иванов направил туда мощный телескоп и ничего не обнаружил. «Так-так, - сказал Иванов, - но «белую дыру» я все же открою».
Если в цепи будет большой перепад напряжения, то сгорит предохранитель, что повлечет за собой необходимость его замены. При целом предохранителе телевизор, конечно, будет работать, но только если он включен в сеть питания. Если телевизор работает нормально, то я увижу сегодняшние «Новости». Итак, я смотрю телевизионные «Новости» при условии отсутствия перепада напряжения и подключения телевизора к сети питания.
Уменьшение температуры приводит к снижению давления и уменьшению объема. Увеличение объема приводит к росту скорости потока. Повышение давления приводит к падению уровня, если при этом уменьшать температуру. Снижение скорости приводит к уменьшению давления или росту температуры. Технолог Иванов рассудил так: «Мне надо повысить давление при одновременном снижении скорости потока, поэтому я должен увеличить объем и температуру».
«Если знать язык программирования, то можно составить рабочую программу. Рабочую программу можно также получить при условии наличия знакомого программиста. Овладеть языком программирования можно, обучаясь в институте. Если программа работает, то ее написал выпускник такого института. Но программа не работает. Это говорит о том, что желающий получить правильный результат не знает языка программирования и не имеет знакомых программистов».

|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
