Ответы: Экзаменационная контрольная работа
Описание
Характеристики ответов (шпаргалок)
Список файлов
- Прочти меня!!!.txt 136 b
- Экзаменационная контрольная работа
- Thumbs.db 28,5 Kb
- page1.jpg 247,69 Kb
- page2.jpg 220,52 Kb
Файл скачан с сайта StudIzba.com
При копировании или цитировании материалов на других сайтах обязательно используйте ссылку на источник
Распознанный текст из изображения:
ЭКЗАМЕНАЦИОННАЯ КОНТРОЛЬНАЯ РАБОТА
ио курсу
"Математическая логика и логическое программир( ваш1е"
ВЛРИЛНТИ
Задача А-1
Используя мст«д ссманти11сских таблиц, исслсдовать на (~бщезн(у1имость слсдую1ук~ формулу логики предикатов.
(Зу Р(у) -+ Зжй(ж)) — ~ Чжоу(Р(ж) ~~ й(у))
~(~д(('(х) ер)-(«О Р~~)- Ъ~е(())
. Задача А-З. Используя мст(~д рсзолн)ции иссл(,'довать на'против()р(.'чив(я'7*ъ ела)1УЯЭще(!,ГФ.'м1'Й-
тво дизъюнктов.
5= ( Е1ж1 У Уь) У С1лжв, З1,,') У ЯЖ.ЛХ1).
"~( ), Р( ). РУ(7:)) ~ -~(у.::) '
-Р(г) ч У(д(ж)) ч У(у), Р(ж) ~ ~(у))
Задача А-4
!
Для заданной логической программы опр(:д(.лить м11Ож(:ство Ответов
: ~ стандартной стратегии вычисления,
вычислимых
Р(х);
Л(ж), !, Р(о);
'( (
Р(х) Р((«) (— Л(6) (—
Л(и) е--
1«о 1(Р(а) ). !;
Задача Б-1.
. Г1ривссти апред(.лснис понятия
Лерево вывода для семантических таолиц.
Задача Б-2.
Привести «прод«лени(. понятия
Прсдварснная нормальнаЯ форма.
Задача Б-З.
. ГГривссти опрсдслснис понятия
ж.* ъ вм' 1
*..:,ЪВМ' 11
\
5Г~) )-роз()л1(зтивныи Вывод для х()1нювских лОГи' !(.'Ских 1(110Г1)амм,
Задача В-4.
Построить формулу логики предикатов заданной сигнатуры. соо«в<:тствук>шую
:«данному математическому утвсрждсни1(~ (см. приложе«11( ).
~~д, ф~д~(. ь~~ы~)-3~ ы ~йА с О,' 3Р й~ймр-«« ~3- ~ — 0 «~« -~с:,
Задача А-2.
Распознанный текст из изображения:
»ьъ
Р
16ъе >((<ть, в чем заклк>чается д 1!у! (<>юа: зясккут(" » жх' >' для д,<гд ил,их !ц >- грамм. ~~1 > . Г
ц'~»»~д > »~" -«.l~» ~:ц ~)~'
/
Задача С-1.
Сформулировать теорему П<:в<>н< сйл ~-Скул<:л<;1.
Задача С-2.
Сформули1>овать т(:(Ц>('му О(>;ъ~>Г>1»(>н>(><'.к(!х !!1!'1<'~>!!(> <'а!(и»(х.
Задача (. -3.
Сформулировать теорему корр<>лтн< сти для Я<,!>-р
гических программ
>лн>тивных вычиол('.ний! л<>-
Задача С-4.
Сформулировягь теорему о независимости и р <нил
логических программ.
г
<""> »-»' ~ф~ 'МР/
Задача 0-1. л ~
.": ... ~~.,~»~> >,»„.. ~»,> »„
Сушсствует ли алгоритм. позвол>!>О>з (ий про!>Ори ! ь в
Ф
мул вида
1
нЫЧИСЛОНИя дЛя ХОрНОВ<ЪИХ
>
>
~>-,~:. ~йг ~~-l> »»А~-» <'»->
нолнимость замкнутых ф р>
31(>13з>2 .. Л:(:,, М~!>;>,.112..., . 1> )
где м(:с!.:<:2>.....(:,„) - — формула. н<: со«<.ржаш (я лю!(1 ров и функци пальных < нм-
ВОЛОВ
Бслможны<. Отв(.ТЬ(:
>.1ет, потому что ...
Д» <, к 3 Гог (<л1 О~унтм ужав..
„.„У 1> »~,',>, »>~д„, Ум.». Ж'~, ИД> ДД В ! Д» Я,У >ЙЕ»
Задача 0-2,
Суы3'.ствует ли логическая про!'рм<ма 7Г таеа1. ч" юп1>о<:ы > '' — Р. ЕЦ:(:) и
— .'>ай~Р;1. Л~з,',> им(.:ъ>т оъио л т ж мно>к<.<;т(» вы 1(слимых Отв< тов'!
Задача > >-3 °
~е,>„о,~ У~~' Ь.„с~,Я У> к~, ф-м~,(->с,((д„Р ~" (<.~~ ~.,(Ры» <Р,>~, ф~,, > „~,<~~<~~~~,,л;,
Верно ли. что всякая формула, <>бш .зна (>(м>(я ! ин' уиционистской логик(., оуд<.т ~о~,
Т»ЪКЖ<' 0(>Ш<.'ЗЕ»(» <ИМОЕ'В КЛЯС(:ИЧР<-'ЯО!( Л( ГИХ1,(
Варианты ответа..
Ла, верно всегда. потому что ...
Нет. никогда но в(.рно. потому ч го ..
Справедливость этого утв<.рждония.<1(ви<.ит от !1!>!6< ( ф<>рмулы, М»жно прив<1<.ти
д>> «>!<»ду!» >ших примера....
Начать зарабатывать