Logică matematică
|
LDR | 00083nx j2200049 | |
---|---|---|
001 | 93172 | |
250 | $a Logică matematică | |
901 | $a a $b a |
Lucrări:
30 lucrari in 30 publicatii in 4 limbi
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
Matematică
Informatică
Teoria numerelor. Aritmetică
Filosofie
Analiză matematică
Inteligenţă artificială
Ştiinţa şi tehnologia calculatoarelor. Prelucrarea datelor
Teză de doctorat
Dedicaţie şi autograful autorului
Logică. Epistemologie. Teoria cunoaşterii. Metodologie
Programe de calculatoare. Software
Filosofie germană
Sisteme filosofice
Matematică calculatorie
Metafizică
Cibernetică matematică
Statistică matematică
Programare matematică
Logică matematică
Probabilitate
Metode ştiinţifice
Teoria mulţimilor
Lingvistică matematică
Logică simbolică
Metodologie logică
Principiul raţiunii suficiente
Raţionalism deductiv
Calculul claselor
Logică generală
Silogistica tradiţională
Silogistică
Limbaje logice
Teorii logico-matematice
Automate programabile
Teoria algoritmilor
Metalogică
Publicații digitizate
Bibliografie licență FECC - Calculatoare
Teze de doctorat digitizate (loading)
Domeniul de doctorat: Informatică
Bibliografie master FSED - Managementul strategic al resurselor umane