Математическая логика и теория алгоритмов | Контрольная | 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
Другие работы
Бричкин В.Н., Сизяков В.М. Металлургия легких металлов. Производство алюминия и магния: Лабораторный практикум
GnobYTEL
: 24 сентября 2011
Санкт-Петербургский государственный горный институт (технический университет). СПб, 2005. 88 с. ISBN 5-94211-229-0
В рамках лабораторного практикума изложены вопросы теории и технологии производства легких металлов на примере наиболее востребованных из них – алюминия и магния. Уделяется внимание знакомству с традиционными способами получения легких металлов в элементарном состоянии, научным обоснованием и оптимизацией технологического режима, конструктивными особенностями используемого оборудова
GnobYTEL
: 24 сентября 2011
2 руб.
Лабораторная работа №17 «ИССЛЕДОВАНИЕ АКТИВНЫХ RC-ФИЛЬТРОВ»
vovan1441
: 21 декабря 2018
Лабораторная работа №17
«ИССЛЕДОВАНИЕ АКТИВНЫХ RC-ФИЛЬТРОВ»
Цель работы:
исследование амплитудно-частотных характеристик фильтра нижних частот, реализованного на пассивных и активных RC-звеньях.
Вывод: В работе исследован фильтр низких частот. Предварительно были рассчитаны элементы схем пассивного и активного звеньев и получена АЧХ каждого звена и фильтра (путем каскадного соединения звеньев, перемножения передаточных функций). Экспериментально исследован полученный ФНЧ. По полученным данным,
vovan1441
: 21 декабря 2018
200 руб.
Термодинамика и теплопередача МИИТ 2013 Задача 16 Вариант 4
Z24
: 29 декабря 2026
Влажный насыщенный водяной пар, имея начальные параметры t1=139 ºC и x=0,94, сжимается в процессе без теплообмена с окружающей средой. При этом объем пара уменьшается в ε раз. Определить состояние и параметры пара в конце процесса сжатия, а также изменение удельной энтальпии и работу 1 кг в процессе. Изобразить процесс в is — диаграмме.
Z24
: 29 декабря 2026
200 руб.
Лабораторные работы №1-3 по дисциплине: Теория сложности вычислительных процессов и структур. Вариант 8
Учеба "Под ключ"
: 16 июля 2025
Лабораторная работа №1
Задание
Написать программу, которая по алгоритму Краскала находит остов минимального веса для связного взвешенного неориентированного графа, имеющего 10 вершин. Граф задан матрицей смежности (0 означает, что соответствующей дуги нет). Данные считать из файла.
Вывести ребра остова минимального веса в порядке их присоединения и вес остова.
Номер варианта выбирается по последней цифре пароля.
Вариант 8
0 14 9 3 22 17 16 0 14 18
14 0 19 0 2 0 11 14 21 20
9 19 0 17 20 22 4
Учеба "Под ключ"
: 16 июля 2025
1200 руб.
