Математическая логика и теория алгоритмов | Контрольная | 20 вариант | СибГУТИ
-
Категории:
СибГУТИ, Математика вычислительная, Работа Контрольная
-
Добавлен:
25.02.2014
-
Размер:
59 KB
-
Покупок:
2
-
Добавил:
eviltosterrr
Написать сообщение
Скачать
Состав работы
|
KR.doc
|
Работа представляет собой rar архив с файлами (распаковать онлайн), которые открываются в программах:
- Microsoft Word
Описание
1. Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.
. Проверка выводимости методом Куайна
По теореме дедукции, перенесём посылку в правую часть и проверим выводимость формулы (Av(B&C))->((AvB)&(AvC)).
Подставляя A=0, получаем
(0v(B&C))->((0vB)&(0vC))=(B&C)->(B&C)=1
. Проверка выводимости методом Куайна
По теореме дедукции, перенесём посылку в правую часть и проверим выводимость формулы (Av(B&C))->((AvB)&(AvC)).
Подставляя A=0, получаем
(0v(B&C))->((0vB)&(0vC))=(B&C)->(B&C)=1
Дополнительная информация
Уважаемый слушатель, дистанционного обучения,
Оценена Ваша работа по предмету: Математическая логика и теория алгоритмов
Вид работы: Контрольная работа 1
Оценка:Зачет
Дата оценки: 07.09.2010
Оценена Ваша работа по предмету: Математическая логика и теория алгоритмов
Вид работы: Контрольная работа 1
Оценка:Зачет
Дата оценки: 07.09.2010
Другие работы
Расчетно-графическая работа по дисциплине «Многоканальные телекоммуникационные системы» Вариант 04
KPanda
: 7 декабря 2019
Вариант №4
Задача: Разработать структурную схему ЦСП ИКМ-ВРК, рассчитанную на передачу 30 сигналов ТЧ с верхней частотой сигналов ТЧ Fв =4.5 кГц, разрядность кода 9.
В соответствии с вариантом для данной ЦСП рассчитать:
• частоту дискретизации;
• тактовую частоту;
• длительность канального интервала, тактового импульса.
Разработать и изобразить структуру цикла передачи, показав на ней:
• длительность цикла;
• длительность канального интервала;
• длительность тактового интервала и импульса;
Пост
KPanda
: 7 декабря 2019
500 руб.
Теплотехника КемТИПП 2014 Задача А-6 Вариант 86
Z24
: 16 февраля 2026
Для сушки используют воздух с температурой t1 и с заданной относительной влажностью φ1. В калорифере его подогревают до температуры t2 и направляют в сушилку, откуда он выходит с температурой t3. Определить:
1) основные параметры влажного воздуха (tм, φ, d, h, pп) для основных точек процессов;
2) расход воздуха M и теплоты q на 1 кг испаренной влаги.
Изобразить процесс в h,d — диаграмме. Данные для решения приведены в таблице 17. Результаты расчетов свести в таблицу 18.
Z24
: 16 февраля 2026
200 руб.
Метрология, стандартизация и сертификация. Лабораторная работа № 4. Вариант № 2
matrixat
: 12 октября 2012
1. ЦЕЛЬ РАБОТЫ
Целью настоящей лабораторной работы является:
изучение принципа работы и структурной схемы универсального электронно-лучевого осциллографа;
получение практических навыков работы с электронно-лучевым осциллографом и измерительными генераторами;
приобретение навыков измерения временных интервалов, напряжения, периода и частоты различных электрических сигналов с помощью электронного осциллографа;
освоение методики оценки погрешности измерений, выполняемых с помощью осциллографа,
matrixat
: 12 октября 2012
250 руб.
Теплотехника КемТИПП 2014 Задача Б-5 Вариант 10
Z24
: 15 февраля 2026
Определить поверхность нагрева противоточного подогревателя молока, а также расход греющей воды, если заданы:
— температура молока на входе в подогреватель t′2;
— температура молока на выходе из подогревателя — t″2;
— температуры греющей воды на входе и выходе — соответственно t′1 и t″1;
— производительность аппарата по молоку – m;
— коэффициенты теплоотдачи: со стороны молока α2; со стороны воды α1.
— коэффициент полезного использования тепла ηm.
Толщина стальной стенки те
Z24
: 15 февраля 2026
200 руб.
