Documente Academic
Documente Profesional
Documente Cultură
• Exemplul
R ( P Q ) (Q P ) R
R P Q For1 For2
f f f ? ?
- - - - -
- - - - -
t t t ? ?
Subiectul 1. Modele de gândire. Metode matematice și euristice de gândire.
Gândirea semiotică. Sisteme de semne. Limbaje naturale și formale.
3. Dacă formulele sunt echivalente atât în sens semantic, cât și în sens
sintactic, atunci formulele sunt echivalente în sens larg.
4. Este clar că pentru a obține echivalența în sens larg a formulelor
propoziționale efectuând doar transformările sintactice trebuie de ales astfel
de transformări care asigură la fiecare aplicație a transformării echivalența
semantică a formulelor intermediare.
5. Condiția formulată în p.4 poate fi asigurată doar dacă alegem în calitatea
de transformări axiomele logicii propoziționale.
Transformările (setul T)
T1. A B B A; A B B A
T2. A B B A
T3. A A A ; A A A
T4.
A (B C) ( A B) C; A (B C) ( A B) C
T5.
A B ( A B )
T6. A B A B
Subiectul 1. Modele de gândire. Metode matematice și euristice de gândire.
Gândirea semiotică. Sisteme de semne. Limbaje naturale și formale.
• Legități euristice (transformări la nivel sintactic, setul S)
1. ∂V - includerea în expresie a unei variabile suplimentare care nu a fost
2. ∂N – variabila intră în expresiile confruntate cu un număr diferit de ori.
3. ∂T – una dintre expresii începe cu semnul negației.
4. ∂C – există inadvertențe între operațiile ce leagă două variabile.
5. ∂G - grupările asociative sunt diferite în expresiile comparate.
6. ∂P - diferă poziția componentelor (variabilelor)
Tabela [SxT] euristică. Se construiește pentru cazul concret, adică este euristică.
T1 T2 T3 T4 T5 T6
7. ∂V
8. ∂N x
9. ∂T x x x
10. ∂C x x
11. ∂G x
12. ∂P x x
Subiectul 1. Modele de gândire. Metode matematice și euristice de gândire.
Gândirea semiotică. Sisteme de semne. Limbaje naturale și formale.
1. Explicație. Semnul „x” la intersecția coloanei transformărilor cu coloana stărilor
înseamnă posibilitatea aplicării transformării la obiectul O. În dependență de obiect pot
fi disponibile mai multe transformări în una și aceeași stare.
2. Aspectul semantic al obiectului O se obține atunci când variabilelor A, B, C etc. le sunt
atribuite valori. În calitate de valori pot fi atribuite constante grafice, constante textuale
etc. În varianta prezentată (modelu propozițional , logica propozițională) vom utiliza
pentru interpretarea formulelor ce desemnează obiecte concrete propozițiile afirmative.
Exemplu. Fie date propozițiile A=„ Arborii au înverzit”, B=„ Primăvara a sosit”. În calitate de
formulă a fi interpretată vom lua axioma T6.
Interpretarea va fi: „Arborii au înverzit” „Primăvara a sosit” A B A B
Analiza: Fie A =„true” , formula e adevărată deoarece este
axiomă,deci, B= „true” în mod necesar.
Analogic se deduce și partea a doua a echivalenței.
Exemplu. Să se testeze echivalența sintactică și semantică a expresiilor :
• expresiilor : R&( -PQ) și (QvP) &R
***********
Subiectul 1
• Interpretarea formulelor precedente
• Exemplu. Fie variabilele R, P, Q au valorile:
1. R= «Afară plouă»;
2. P= «Pietonii și-au deschis umbrelele»;
3. Q= «Pe asfalt au apărut băltoacele»;
Să se calculeze valorile de adevăr ale formulelor, dacă faptele
relatate sunt adevărate.
Să se enumere toate variantele
posibile ale textului format din afirmațiile P,R,Q (conform
tabelului de valori slide-ul 19).
Subiectul 1.
*******
Implicația: (-)
a b ab
t t t
t f f
f t t
f f t
F1 ^ F2 ^ ….^Fn -R
-F1 v -F2 v ….v -Fn v R
F1 (p,u)= «Pietonii și-au deschis umbrelele»;
F2(а,b)= «Pe asfalt au apărut băltoacele»;
F3(v,s-est)= «Bate vântul de sud-est»;
F 4(a,p)= «Afară plouă»;
Пункт 1.
• Determinarea interacțiunii faptelor:
1. Faptul principal;
2. Fapte colaterale;
Determinarea interacțiunii faptelor se face conform algoritmului
ilustrat de următorul exemplu:
^/С F1 F2 F3 --- F4
S1 1 1 1 0 0
S2 1 1 0 1 1
S3 0 1 1 1 0
S4 0 0 1 1 0
(continuare)
Subiectul 1
• Algoritm.
1. Să se construiască tabelul de observare conform exemplului
de mai sus.
2. Pentru determinarea evenimentului principal trebuie de
inserat evenimentul testat după semnul - din tabel.
3. Dacă în rezultatul observării a fost obținută seria, unde în
absența evenimentului verificta restul evenimentelor sunt
înregistrate, atunci aceste evenimente se consideră
colaterale în raport cu evenimentul verificat.
4. În caz contrar se consideră că observațiile sunt ne
concludente.
5. Pe rănd trebuie verificate toate evenimentele.
Subiectul 1
Afirmație. Orice tabel de observare poate fi redat sub forma unei
expresii regulate.
Exemplu. Fie dat tabelul de observare:
Serie/F a b c d
1 1 1 0
1 0 0 1
1 1 1 0
1 0 0 1
1 0 0 1
.
Obiective de studiu 1.
********
Subiectul 1
(3,4) *2 (7,8) b 4 c5 6d
(9,10) (11,12)
(5,6) a 3
D
Control
C
A
s B
A
Starea
Δ
P {^} Tlist
I{I=a} ε. P ^
.ε
I{I=b} I{I=c} .ε
Subiectul 1
Definiție. Gramatica CF se numește gramatică de tipul LL(1) a.n.a.c
mulțimile SELECT pentru regulile gramaticii nu se intersectează.
Problemă. Fie data gramatica:
1.<E>→<T><Elist>
2. <Elist>→v<T> {v}<Elist>
3.<Elist>→ε
4. <T>→<P><Tlist>
5. <Tlist>→^<P>{ ^}<Tlist>
6. <Tlist>→ε
7. <P>→(<E>)
8. <P>→I1
Subiectul 2
2) Să se derive(valideze) enunțul regulat: a v (a v b)^c
3) Să se determine tipul gramaticii.
4) Să se construiască mulțimile SELECT, FOLLOW și FIRST pentru regulile gr.
5) Să se construiască un FSD pentru această gramatică.
6) Sa se transforme gramatica într-o gramatica de translatare (cu incluziuni
semantice)
7) Sa se construiască un FSDt care translatează expresia gramaticii.
SELECT(1)= FIRST(<T><Elist>)={id, (} 1.<E>→<T><Elist>
2. <Elist>→v<T><Elist>
SELECT(2)= FIRST(v<T><Elist>)= {v} 3.<Elist>→ε
SELECT(3) = FOLLOW(<Elist>) = {) , ―|} 4. <T>→<P><Tlist>
5. <Tlist>→v<P><Tlist>
SELECT(4) = FIRST(<P><Tlist>) = {id,(} 6. <Tlist>→ε
7. <P>→(<E>)
SELECT(5) = FIRST(^<P><Tlist>)={^} 8. <P>→I
SELECT(6) = FOLLOW(<Tlist>)= {v, ), ―|}
SELECT(7) = FIRST((<E>))= {(}
SELECT(8) = FIRST(I)={id}
Subiectul 3
• Să se derive (valideze) enunțul regulat: a v (a v b) ^c
• 1.<E>→<T><Elist>
2. <Elist>→v<T><Elist>
3.<Elist>→ε
4. <T>→<P><Tlist>
5. <Tlist>→^ <P><Tlist>
6. <Tlist>→ε
7. <P>→(<E>)
8. <P>→I
E=>T<Elist>=>4P<Tlist><Elist>=>8a<Tlist><Elist>=>6a<Elist>=>a v T<Elist>=> 4
A v P<Tlist><Elist>=> 7 a v (E) <Tlist><Elist>=> 1 a v (T<Elist>)<Tlist><Elist>=> 4
a v (P<Tlist><Elist>)<Tlist><Elist>=>a v (a<Tlist><Elist>)<Tlist><Elist>=> 6
a v (a<Elist>)<Tlist><Elist>=> 2 a v (a v T<Elist>)<Tlist><Elist>=> 4 a v (a v
P<Tlist><Elist>)<Tlist><Elist>=> 8 a v (a+b<Tlist><Elist>)<Tlist><Elist> => 3,6 a
v (a+b)<Tlist><Elist>=>a v (a v b)^P<Tlist><Tlist><Elist>=> 8 a v (a v b) ^c
<Tlist><Tlist><Elist>=> 6,6,3 a v (a v b) ^c
Subiectul 4
• Detector cu incluziuni semantice (DIS) pentru gramatica b):
1.<E>→<T><Elist> I v ^ ( ) --I
2. <Elist>→v<T> {v}<Elist>
3.<Elist>→ε
E #1 #1
4. <T>→<P><Tlist> T #4 #4
5. <Tlist>→^<P>{^}<Tlist>
6. <Tlist>→ε
P #8 #7
7. <P>→(<E>) Elist #2 #3 #3
8. <P>→I
Tlist #6 #5 #6 #6
) #8
Δ A
{v} Out({v}), Pop,Hold ............
{^} Out({^}), Pop,Hold..............