Ответы: Экзаменационная контрольная работа

Файл скачан с сайта 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<.ти

д>> «>!<»ду!» >ших примера....