Observaie:

LaacestexamennuaveivoiesluailocnbancavndasupraDv.untelefonmobilsauunaltdispozitiv
asemntor.Totodat,nuaveinevoiedecolidehrtie,devremeceelevorfifurnizatelacerere.nbanc
vei putea pstra doar instrumentele descris i alimente dac considerai necesar.Hainele groase care v
vor putea incomoda n timpul examenului, geni, telefoane, orice foie de hrtie (mai ales fiuici) trebuie
lsateoriundealtundeva,nsaladeexamenavndlocdoarlacuier.Voifolosiproiectorulivoiproiectaun
ceasastfelnctsputeigestionacorecttimpul(ncazulncareobinuiisfolosiitelefonulpentruacest
lucru).
Dac vei fi depistai c ai nclcat aceast regul, sau c discutai pe orice tem cu colegii Dv. n timpul
examenului,veifiscoiautomatafardinsaladeexameniveipriminota1pelucrareascris,carenuva
mai fi corectat. Dac la o reexaminare vei nclca din nou regula, voi comunica situaia Dv. forurilor
superioare cu indicaia respectrii regulamentului i demararea procedurii de exmatriculare. Dac nu v
recunosc,aputeasolicitalegitimarea,astfelcvrogsaveiasupraDv.carnetuldestudent.
Vor fi 3 subiecte, cte unul pentru fiecare treime de materie. Fiecare se va nota de la 110. Dac nu v
reamintii metoda indicat, putei obine jumtate din punctajul aferent metodei aplicnd o metod
cunoscut.Parteateoreticafiecruisubiect(incluznddescriereametodeicareseaplic)vafievaluatcu
maxim 3p, 1p se va primi din oficiu, iar restul de 6p vor fi obinute ca urmare a rezolvrii corecte i
complete a exerciiului. Astfel c nu avei cum obine suficiente puncte doar cunoscnd teoria, dar avei
anse s obinei o not mare dac tii aplica metoda specificat. V recomand s studiai n sesiune
(presupunnd c ai participat activ la seminarii i ai ncercat s rezolvai testele online n timpul
semestrului) mcar 3 zile cte 8h, timp n care s rezolvai exerciii sau s ncercai s rezolvai singuri
exerciiilediscutatelaseminar...
ListsubiecteteoreticecarevorfiverificatelaLogiccomputaionaldoar3p
dinexamenulscris
Logicapropoziiilor
Semanticadomeniulsemantic,semanticaconectivelor,definiiainterpretrii,definiiipentru:model,anti
model, tautologie, formul consistent, contingent, nerealizabil, definiia consecinei logice, a
echivaleneilogice;conceptesemanticepentrumulimideformule.
Echivalene logice n logica propoziional mai ales legile lui De Morgan i de distributivitate, definirea
conectivelorderivate,maialesaimplicaiei.
Principiuldualitii.
Formenormaledefinireanoiunilordeliteral,clauz,cub,FND,FNC;algoritmuldenormalizare;utilizarea
celordouformenormalepentruaverificadacoformulesteinconsistent/tautlogie.
Sintaxa Sistemul axiomatic propoziional (alfabetul, formule corect construite, axiomele, regulile de
inferen).Definiiadeduciei,definiianoiuniideteorem,teoremadededucieiinversasa,consecinele
teoremeidededucie.
Proprietile logicii propoziiilor: Teorema de corectitudine i completitudine a logicii propoziiilor,
necontradicia,coerena,decidabilitatea.
Metoda tabelelor semantice: clase de formule, reguli de descompunere a formulelor, arborele binar de
descompunereauneiformule,tipurideramuriidetabelesemantice(definiie),Teoremadecorectitudine
icompletitudineametodei.
Metoda rezoluiei: definirea sistemului formal asociat (alfabetul, formule corect construite, axiomele,
regulile de inferen), algoritmul rezoluiei propoziionale, Teorema de corectitudine i completitudine a
metodei. Strategii de aplicare a rezoluiei (trebuie s poat fi descrise i aplicate n rezolvarea unor
probleme):eliminrii,saturriipenivele(sepoatereinealgoritmul),mulimiisuport.Rafinrialerezoluiei:
blocrii (i TCCul specific), rezoluia liniar (i TCCul specific) unitar i de intrare (i Teorema de
echivalen).Ssecunoasmcar3exempledestrategii/rafinrisaucombinrialelorcaresuntcomplete.
Logicapredicatelor
Sistemulaxiomaticpredicativ(alfabetul,formulecorectconstruite,axiomele,reguliledeinferen).Inclusiv
definiia unui Termen, atom, literal. Definiia noiunii de variabil legat/liber, Formul predicativ
deschis/nchis.Definiiadeduciei.
Semanticadefiniiainterpretrii.
EchivalenelogicenlogicapropoziionalmaialeslegileluiDeMorganidedistributivitate,cunoaterea
imaialesaplicarealegilordeextragere.Legilesemidistributivitii.
Formele normale ale formulelor predicative: forma normal prenex definiie, algoritmul de aducere la
FNP,FormanormalSkolemdescriereamoduluideobinereasa,lafelipentruformanormalSkolem
frcuantificatoriiformaclauzal.
Proprietile logicii propoziiilor: Teorema de corectitudine i de completitudine a logicii propoziiilor,
TeoremaluiChurch.
Metoda tabelelor semantice: clase de formule, reguli de descompunere a formulelor, arborele binar de
descompunereauneiformule,tipurideramuriidetabelesemantice(definiie),Teoremadecorectitudine
icompletitudineametodei,semidecidabilitatea.
Substituii i unificatori: definiia unei substituii, s se tie aplica compunerea substituiilor, definiia unui
unificatoriaceluimaigeneralunificator,algoritmuldedeterminareamgu.
Metoda rezoluiei: definirea sistemului formal asociat (alfabetul, formule corect construite, axiomele,
regulile de inferen), algoritmul rezoluiei predicative, Teorema de corectitudine i completitudine a
metodei. Strategii de aplicare a rezoluiei (trebuie s poat fi descrise i aplicate n rezolvarea unor
probleme): saturrii pe nivele (se poate reine algoritmul), mulimii suport. Rafinri ale rezoluiei: blocrii
(iTCCulspecific),rezoluialiniar(iTCCulspecific)unitarideintrare(iTeoremadeechivalen)
condiiile n care este complet (+definiia unei clauze Horn). S se cunoas mcar 3 exemple de
strategii/rafinrisaucombinrialelorcaresuntcomplete.
Algebreboolee,funciibooleene,circuitelogice
DefinireaaxiomaticaalgebreibooleeneB=(B
2
={0,1},.,v,,0,1)(toatecele13proprieti)
Definiia noiunii de funcie boolean, definiia formei canonice disjunctive i conjunctive (o definiie),
definiia noiunii de monom, minterm, maxterm, proprietile mintermilor respectiv a maxtermilor,
dualitatea minterm maxterm, definiia suportului funciei, definiia relaiei mai mic sau egal, definiia
monoameloradiacente,afactorizriiiasimplificriiuneifunciibooleene,definiiamulimiimonoamelor
maximaleiamulimiimonoamelorcentrale(sepotiescriencuvinteproprii),algoritmuldesimplificarea
funciilorbooleene.
Metoda diagramelor Veitch descrierea modului de constuire a diagramei, cum se identific monoamele
mazimaleicelecentrale,metodadiagramelorKarnaughdescriereamoduluideconstuireadiagramei,i
cum se identific monoamele mazimale i cele centrale, Metoda analitic a lui Quine McClusky
descriereamoduluideconstuireatabelelor,icumseidentificmonoamelemazimaleicelecentrale.
Circuite logice desenarea porilor de baz i a celor derivate, constuirea circuitelor combinaionale
discutate:codorul,decodorul,circuitulcomparator,sumatoruladoucifrebinare,sumatorulpenbii.
Observaie
Algoritmiinutrebuiememorainformaprezentatlacurs,eipotfidescriisaurescriinpseudocodivor
primintregulpunctajdacnuseomitpai.Acelailucruestevalabilipentrudefinireanoiunilor(cttimp
sensulsepstreaz).
Problemele (6p) care se vor cere a fi rezolvate la examen sunt de genul celor discutate la seminar. Iat o
scurtsintez:
Logicapropoziiilor
1. Utilizndometod
a) semantic(tabeldeadevr,formanormalconjunctiv,tabelasemantic)
b) sintactic (rezoluie (dac preferai putei utiliza i construirea deduciei, teorema de deducie si
inversasa))
c) direct (tabela de adevr, forma normal conjunctiv (dac preferai putei utiliza i construirea
deduciei,teoremadededucieiinversasa))
d) prinrespingere(rezoluie,tabelasemantic)
demonstraicsunttautologii/teoreme,formulepropoziionale,printrecare:
- A2ceadeadouaaxiomacalcululuipropoziional.
- A3axioma3,modultollens
- legeasilogismului
- legeapermutrii/reunirii/separriipremiselor

2. Verificaidacarelocorelaiedeconsecinlogic/derivabilitatededucie:
U
1
,...,U
n
|=V(|)
Sepotutiliza:
- tabelasemanticpentru:U
1

.
...
.
U
n

.
V;
- rezolutiapentru:FNC(U
1
)
.
...
.
FNC(U
n
)
.
FNC(

V).
- construireadeducieiluiVdinipotezeleU
1
,...,U
n
folosindsistemulaxiomatic;

3. Decidei tipul (consistent, contingent, inconsistent, tautologie) unei formule propoziionale U i

construiimodeleleiantimodelelesale.
- dintabeladeadevraluiU
- dintabelasemanticaluiU=>modeleleluiUfurnizatederamuriledeschise
- dintabelasemanticalui

U=>antimodeleleluiUfurnizatederamuriledeschise
- din forma normal conjunctiv a lui U => antimodelele lui U furnizate de clauzele care nu sunt
tautologii
- din forma normal disjunctiva a lui U => modelele lui U furnizate de cuburile care nu sunt
inconsistente

4. Demonstrareainconsisteneiuneimultimideclauzefolosind:
- rezoluiageneral+transformri
- strategiasaturriipenivele
- rezoluiablocrii
- rezoluialiniar(unitsauinput)

5. Verificareaconsistenei/inconsisteneiuneimulimideclauzefolosind:
- strategiasaturriipenivele
- rezoluiablocrii+strategiasaturriipenivele
- rezoluialiniarcuocutarecompletafolosindbacktracking.

6. Modelareraionamentpropoziional

Logicapredicatelor
1. Evaluarea unei formule predicative nchise n interpretri date (sau propuse de student) cu domeniu
finit/infinit.

2. Construiremodel/antimodelpentruoformulpredicativnchisU:
- dintabelasemanticaluiU=>modeleleluiUfurnizatederamuriledeschise
- dintabelasemanticalui

U=>antimodeleleluiUfurnizatederamuriledeschise
- sepropuneointerpretarecareevalueazformulaUcaadevrat/falsdeciestemodel/antimodel.

3. Utilizndometod
a) semantic(tabelasemantic)
b) sintactic (rezoluie, (dac preferai putei utiliza i construirea deduciei, teorema de deducie si
inversasa))
c) prin respingere (rezoluie, tabela semantica) (nu se va cere o metod direct, ntruct nu am
discutatsuficientdemultoastfeldemetod)
demonstraicsunttautologii/teoreme,formulepredicative.

4. Verificareaproprietiidedistributivitateaunuicuantificator( -, )fadeoconectiv( v . , , , )cu

ometodimpus(tabelesemantice/rezoluie).
Ex:distributivitate - fade ":
) ( ) ( ) ( ) ( )) ( ) ( )( ( x B x x A x x B x A x - - - dacinumaidac
)) ( ) ( ) ( ) (( )) ( ) ( )( ( | x B x x A x x B x A x - - - = dacinumaidac
)) ( ) ( ) ( ) (( )) ( ) ( )( ( | x B x x A x x B x A x - - - = i )) ( ) ( )( ( )) ( ) ( ) ( ) (( | x B x A x x B x x A x - - - =

5. Construireaformelornormaleprenexe,Skolemiclauzalealeuneiformulepredicative.

6. Verificaidacarelocorelaiedeconsecinlogic/derivabilitatededucie:
U
1
,...,U
n
|=V(|)
Sepotutiliza:
- construireadeductieiluiVdinipotezeleU
1
,...,U
n
folosindsistemulaxiomatic
- tabelasemanticpentru:U
1

.
...
.
U
n

.
V;
- rezoluiapentru:U
1
C
.
...
.
U
n

C
.
(

V)
C
.

7. Unificai,dacesteposibiloperechedeatomiideterminaicelmaigeneralunificator.

8. Demonstrareainconsisteneiuneimulimideclauzepredicativefolosind:
- rezoluiageneral
- strategiasaturariipenivele
- rezoluiablocrii
- rezoluialiniar(unitsauinput)

9. Modelareraionamentpredicativ.

Algebrebooleene,funciibooleene,circuitelogice

1. Algebrebooleene:definiie+exemple.
n funcie de operaia nand/nor s se exprime operaiile logice i, not, sau i s se deseneze
circuitelelogiceasociate.

2. Construireaformelorcanoniceconjunctividisjunctivdintabelavalorilorfuncieibooleene.Exemple
demintermiimaxtermi(de2,3,4variabile):notaii,expresii,tabeledevalori.

3. Simplificarea funciilor booleene de 2/3/4 variabile utiliznd metoda lui Quine/ diagrame Veitch/
diagrameKarnaugh.
Funciilebooleenesepotfurnizaastfel:
- nformacanonicadisjunctivcaodisjunciedemintermi(daiprinnotaiestandard):
f (x
1
,x
2
,x
3
)= m
0
v m
3
v m
4
v m
5
v m
6
v m
7
;
- nformacanonicdisjunctivprinexpresiilemintermilor:
f (x
1
,x
2
,x
3
,x
4
)= x
1
x
2

x
3
x
4
v x
1
x
2
x
3

x
4
v x
1
x
2

x
3

x
4
v x
1

x
2
x
3

x
4
v

x
1

x
2

x
3

x
4

v

x
1

x
2
x
3

x
4
v x
1

x
2
x
3
x
4
v

x
1

x
2

x
3
x
4
v

x
1

x
2
x
3
x
4
;
- printroexpresiecaretrebuieaduslaformacanonicdisjunctiv.
f (x
1
, x
2
, x
3
) = x
3
(

x
1
v x
2
) v x
1
(x
2
v

x
2

x
3
) v

x
1

x
2

x
3
, aplicaredistributivitate
iaducerelaformacanonic
sau
f (x, y, z) = x (

y z) v y (

x z) v

x (

y + z) v (

x + y) z ; nlocuire + ,

- prinintermediultabeleisaledevaloridincareseconstruieteformacanonicdisjunctiv:
x y z f
0 0 0 0
0 0 1 1
0 1 0 0
0 1 1 1
1 0 0 1
1 0 1 0
1 1 0 0
1 1 1 1
- prinintermediulvalorilorsalede1:
f
1
(1,1,1,1) = f
1
(1,1,0,1) = f
1
(0,1,1,1) = f
1
(1,1,0,0) = f
1
(0,1,0,0) = f
1
(0,0,0,0)=
=f
1
(0,0,0,1) = f
1
(0,0,1,1) =1;
construinduseformasacanonicdisjunctiv
- prinintermediulzerourilorsale:
f
1
(0,1,0) = f
1
(0,1,1) = f
1
(1,0,1) = 0,
seobinvalorilede1alefuncieiiapoiformasacanonicdisjunctiv

4. Desenarecircuitlogicdinexpresiafuncieibooleene,attcuporidebaz,cticuporiderivate.
Construire expresie funcie boolean care modeleaz funcionarea unui circuit logic dat, att cu pori
simple,cticuporiderivate.

5. Exempledecircuitecombinaionale:circuituldecompararea2cifrebinare,circuituldeadunarea2
cifrebinare,circuituldeadunarebinarpenbii,circuituldecodificare/decodificarenbinar.
BILET
1. Semantica logicii propoziiilor. Utiliznd o metod semantic de demonstrare, demonstrai c
legea permutrii premiselor este o tautologie.

2. Verificai proprietatea de distributivitate a cuantificatorului existenial fa de implicaie
folosind o metod sintactic. Teorema de corectitudine i completitudine a acestei metode.

3. Desenai un circuit logic avnd 3 variabile de intrare i coninnd toate porile de baz i
derivate. Scriei funcia boolean corespunztoare acestui circuit i simplificai-o. Implementai
circuitul logic simplificat.
BILET
1. Folosind rezoluia blocrii verificai dac are loc: r p p r q q p | ) ( , . Rezoluia ca
sistem formal.

2. Folosind o metod semantic de demonstrare, verificai dac formula: ) ( ) ( ) ( ) ( x B x x A x v este
consecin logic a formulei: )) ( ) ( )( ( x B x A x . . Teoria aferent.

3. Simplificai urmtoarea funcie boolean, folosind metoda diagramelor Veitch:
. ) , , (
3 2 1 3 1 3 2 1 3 1 3 2 1
x x x x x x x x x x x x x f v v v = Implementai circuitul logic asociat formei iniiale a lui f
i tuturor formelor sale simplificate.
BILET
1. Sistemul axiomatic (formal) al calculului propoziiilor. Ce este o teorem?
Folosind o metod sintactic demonstrai c cea de-a doua axiom a calculului propoziional este
o teorem.

2. Folosind rezoluia liniar, verificai dac urmtoarea mulime de formule este inconsistent.
)} ( ) ( ), ( ) ( ), ( ) ( ) ( { a p a r y r y q x r x q x p S . v v . = . Teoria aferent.

3. Folosind metoda lui Quine, simplificai funcia boolean:
4 3 2 1 4 3 2 1 4
3
2 1 4 3
2
1 3 2 1 4 3 2 1
) , , , ( x x x x x x x x x x x x x x x x x x x x x x x f v v v v = .
Implementai circuitul logic asociat unei forme simplificate a funciei f.

BILET
1. Scrieti toate modelele si anti-modelele formulei V= r q p q r p . . . ) ) (( .
Teoria aferent metodei alese.
2. Evaluai formula predicativa U= )) ( ) ( )( ( )) ( ) ( ) ( ) (( x q x p x x q x x p x . n dou interpretri
diferite alese astfel nct o interpretare sa aib domeniul finit, iar ce-a de-a doua domeniul infinit.
Cte interpretri posibile are U?
Este logica predicatelor decidabil? Argumentai rspunsul.

3. Definiii pentru noiunile: minterm, maxterm, monom central, monom maximal, factorizare.
Exemple de 4 mintermi si 4 maxtermi de 3 variabile: expresii, notaii i tabele de valori.
Construii circuitul logic asociat funciei booleene:

5 8 13 1 4 3 2 1
) , , , ( m m m m x x x x f v v v = .