Logică matematică

Subiect Tematic:	Logică matematică

Lucrări: 30 lucrari in 30 publicatii in 4 limbi

30 records Page 1 of 3

Bazele logice ale inteligenţei artificiale de: Florea, Adina Magda; Boangiu, Adrian George (Text tipărit)

Axiomatizări şi modele ale sistemelor silogistice de: Vieru, Sorin (Text tipărit)

Introducere în logica matematică de: Enescu, Gheorghe (Text tipărit)

Lecţii despre logica raţionamentului nuanţat de: Moisil, Grigore C. (1906-1973) (Text tipărit)

Elemente de logică matematică şi demonstrarea automată a teoremelor de: State, Luminiţa Doina (Text tipărit)

Essais sur les logiques non chrysippiennes de: Moisil, Grigore C. (1906-1973) (Text tipărit)

Contributions to Formal Specification of Programmes Systems : Teză de doctorat de: Cozma, Pompiliea; Universitatea din Piteşti. Facultatea de Matematică-Informatică (Text tipărit)

Elemente de teoria mulţimilor şi de logică matematică de: Reghiş, Mircea (Text tipărit)

Logica matematică : elemente de calcul cu propoziţii şi predicate de: Mihăilescu, Eugen (Text tipărit)

Logic and Structure de: Dalen, Dirk van (Text tipărit)

Subiecte