Итоговый тест Элементы математической логики

Состав работы

material.view.file_icon E514257D-6035-4CB5-8691-130102E26375.docx

Необходимые программы

Работа представляет собой файл, который можно открыть в программе:
  • Microsoft Word

Описание

Элементы математической логики, тест
Формула, выражающая правило цепного заключения, имеет вид: ...
в столбце ... таблицы находятся значения импликации
Формула алгебры высказываний называется тождественно-ложной, если ...
Если при любой подстановке вместо переменных xi из mi предикат превращается в истинное высказывание, то он называется ...
в столбце ... таблицы находятся значения функции ↔
в столбце ... таблицы находятся значения функции конъюнкции
Формула ... выражает один из законов поглощения
Если при любой подстановке вместо переменных из mi предикат превращается в ложное высказывание, то он называется ...
Формула, выражающая правило «конъюнкция сильнее каждого из сомножителей», имеет вид: ...
Переменные, вместо которых можно подставлять высказывания, называют ... переменными
Формула алгебры высказываний называется опровержимой, если ...
Булевская функция – это такая функция одного или нескольких булевских переменных, которая принимает
Формула алгебры высказываний называется выполнимой, если ...
Формула, выражающая правило «дизъюнкция слабее каждого из слагаемых», имеет вид: ...
предикат p(x1,x2,...,xn), заданный на множестве , называется выполнимым, если существует такой набор переменных, взятый из множеств mi , что при подстановке их вместо xi получим ...
Формула ... выражает один из законов де моргана
Булевская переменная – это переменная, которая принимает ...
Под высказыванием понимается утвердительное предложение, которое может быть ...
формула, выражающая правило объединения и разделения посылок, имеет вид: ...
в столбце ... таблицы находятся значения дизъюнкции
правило modus tollens имеет вид ...
правило modus рonenc имеет вид ...

Дополнительная информация

Декабрь 2022. 96 баллов из 100
Проект осветительной установки свинарника-откормочника на 500 мест
Курсовая работа выполнена в объеме: Пояснительной записки на – 37-страницах формата А4, таблиц – 6, рисунков – 7. Графической части на 1 листе формата А1; 12 источников. Ключевые слова: свинарник-откормочник на 500 мест, осветительная установка, нормированная освещённость, точечный метод, метод коэффициента светового потока, метод удельной мощности. В пояснительной записке рассмотрена краткая характеристика рассматриваемого помещения, описание технологического процесса, произведен выбор ист
User Samonev : 21 мая 2025
2000 руб.
Проект осветительной установки свинарника-откормочника на 500 мест
Модернизация малогабаритного погрузчика ПУМ-500 с разработкой сменного оборудования, с целью повышения универсальности техники
Содержание пояснительной записки: Введение 1 Обзор и анализ универсальных малогабаритных погрузчиков 1.1 Общие сведения 1.2 Анализ конструктивных исполнений УМП и тенденции их развития 1.3 Обзор моделей УМП 2. Особенности использования УМП в зимний период 2.1 Содержание дорог в зимний период 2.2 Физико-механические свойства снега 2.3 Особенности работы мини-погрузчиков в зимний период 3 Модернизация и расчет малогабаритного погрузчика ПУМ-500 3.1 Описание и техническая характеристика малогаба
User garik-19 : 7 сентября 2009
100 руб.
Основы гидравлики и теплотехники Задача 41
Определить КПД котельного агрегата, часовой расход удельного топлива и его видимую испарительную способность, если известно давление пара р, температура пара t, теплота сгорания топлива Qнр, часовой расход топлива В и температура питательной воды tп.в.
User Z24 : 20 октября 2025
180 руб.
Основы гидравлики и теплотехники Задача 41
«ФИЗИЧЕСКАЯ КУЛЬТУРА» к теоретическому зачету по дисциплине.Тестовые задания 2-й курс. Бакалавр, специалист
1. Спорт подразделяется на: 2. Задачи массового спорта: 3. Особенности студенческого спорта: 4. Перечислите основные группы видов спорта: 5. Легкая атлетика, как вид спорта, включает в себя … 6. Легкая атлетика. Короткие дистанции: 7. Легкая атлетика. Средние дистанции: 8. Легкая атлетика. Длинные дистанции: 9. Разновидность прыжков в легкой атлетике: 10. Разновидность метаний в легкой атлетике: 11. Л
User bocman : 29 ноября 2013
up Наверх