- •Оглавление
- •Задания для самостоятельного выполнения
- •1. Задайте множество а перечислением его элементов:
- •3. Пусть (X, y ) - координаты точек плоскости. Укажите штриховкой множествa a b и a b:
- •Практическое занятие №2. Операции над множествами Задания для самостоятельного выполнения
- •1. Изобразите с помощью диаграмм Эйлера-Венна в двух вариантах расположения следующие множества:
- •Практическое занятие №3. Равносильные преобразования множеств
- •Задания для самостоятельного выполнения
- •1. Докажите тождества:
- •Практическое занятие №4. Отображение и отношение множеств
- •Задания для самостоятельного выполнения
- •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. Опишите графическим способом алгоритм вычисления значения выражения:
Предполагается, что выражение знаменателя дроби (x + a) больше нуля.
Решение: на рис. 5.4. приведена блок-схема решения задачи.
2. Даны действительные числа x, y и z. Составьте блок-схему алгоритма вычисления: max (min (x2 + y, z2), z3 - ey).
Решение: на рис. 5.5. приведена блок-схема решения задачи.
Да Нет Начало X, Y, Z X2+Y < Z2 REZ1=X2+Y REZ1=Z2 REZ1>Z3-EY Да Нет REZ2=REZ1 REZ2= Z3-EY
REZ2 Окончание Начало
a, x
.
z = m / n
z
Окончание
|
|
Рис. 5.4. Блок-схема решения задачи 1
|
Рис. 5.5. Блок-схема решения задачи 2
|
Задания для самостоятельного выполнения
Опишите алгоритмы в графической форме для следующих задач:
1. Даны произвольные числа a, b, c. Если нельзя построить треугольник с такими длинами сторон, то напечатать 0, иначе напечатать 3 - если треугольник равносторонний, 2 - если треугольник равнобедренный или 1 - в противном случае.
2. Даны целые числа k и m, действительные числа x, y, z. При k < m2 , k = m2 или k > m2, замените модулем соответственно значения x, y, z., а два других уменьшить на 0.5.
3. Для заданного числа a найдите корень уравнения f(x)=0, где:
|
|
|
|
|
|
|
|
|
|
4. Даны действительные числа X, y и z. Вычислите:
max (min (y + z, x * y ), e(x + y) );
max (x, y / z) / min3 (y, z);
min2 (x + y - z, x / y * z);
max (x + y, z2) / min (x, y + z);
max (x3 + z, min (x * z, y / z));
max2 (x, y, z) / (x * y + z);
(x * y * z) / min2 (x, y, z);
min (x / y, y / z) * max (x, y);
max (e(y + z) , min (x2, y3, z4));
min (max (x2 + y, x + z3), x2 + z2).
Где max – максимальное значение, а min – минимальное значение.
Практическое занятие №16. Виды алгоритмов.
Циклические алгоритмы
Процесс обработки информации называется циклическим, если существуют многократно повторяемые последовательности шагов процесса (серия действий). Эта последовательность шагов называется циклом.
Существуют несколько вариантов управления циклом посредством задания условий продолжения и завершения.
Графическая схема управления циклическим процессом посредством задания условия продолжения выполнения вычислительного процесса: : a) цикл с проверкой постусловия; b) цикл с проверкой предусловия.
Продол-жать?
Да
Нет
Серия
действий
Продол-жать?
Да
Нет
Серия
действий
a) b) b)
Выход из цикла
Выход из цикла
Примеры выполнения заданий
1.Составьте блок-схему алгоритма вычисления среднеквадратической взвешенной по формуле:
Решение: на рисунке приведен алгоритм решения задачи:
Нет
Нет
Да
i <= n
x, f
x>=0 and
f>=0
Да
sum_x = sum_x+x2* f
Ошибка
sum_f = sum_f + f
i = i + 1
Окончание