Logica computationala

Incarcat la data: 03 Martie 2010

Autor: vilcea ionela suzana

Pret: 80 credite

Numar pagini: 40

Tip fisier: zip

Marime fisier: 175 kb

Vocabularul limbajului este V [ L [ S; unde V este multimea propozitiilor elementare; V 6= ;. Convenim sa notam simbolurile din multimea V prin literele alfabetului latin... este multimea conectivelor logice: conjunctie, disjunctie,implicatie, echivalenta si negatie; S = f

(; )g este multimea simbolurilor de punctuatie. Presupunem indeplinite conditiile V \ L = ;, V \ S = ;:
Convenim sa numim asamblaje elementele multimii A = (V [ L [ S)¤. Pentru ® 2 A si x 2 V [ L [ S indicam prin ® hxi faptul ca simbolul x

apare cel putin o data printre simbolurile asamblajului ® respectiv prin ® ixh
situatia contrara.

((k ((ka) _ b)) $ (a ^ (kb))) = ®
deci ® 2 FORM:

O modalitate similara pentru descrierea regulilor de buna formare pentru
structurile simbolice din sortul FORM este bazata pe notiunea de SGF
(Secventa Generativa Formule).

Textul de mai sus reprezinta un extras din "Logica computationala". Pentru versiunea completa a documentului apasa butonul Download si descarca fisierul pe calculatorul tau. Prin descarcarea prezentei lucrari stiintifice, orice utilizator al site-ului www.studentie.ro declara si garanteaza ca este de acord cu utilizarile permise ale acesteia, in conformitate cu prevederile legale ablicabile in domeniul proprietatii intelectuale si in domeniul educatiei din legislatia in vigoare.

In cazul in care intampini probleme la descarcarea fisierului sau documentul nu este nici pe departe ceea ce se doreste a fi te rugam sa ne anunti. Raporteaza o eroare

Important!

Referatele si lucrarile oferite de Studentie.ro au scop educativ si orientativ pentru cercetare academica.

Iti recomandam ca referatele pe care le downloadezi de pe site sa le utilizezi doar ca sursa de inspiratie sau ca resurse educationale pentru conceperea unui referat nou, propriu si original.

Alti utilizatori au mai cautat: CURSCALCULATOAREgeometrie computationala
Sandale casual dama ECCO Touch Plateau (Negre) Sandale casual dama ECCO Touch Plateau (Negre) Sandalele ECCO Touch Plateau sunt confectionate din piele moale cu detalii metalice(tinte). Sunt...