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
Principes de logique et de philosophie mathématique
de:
Onicescu, Octav (1892-1983)
(Text tipărit)
Logica şi teoria numerelor
de:
Popovici, Constantin P.
(Text tipărit)
Elemente de logică matematică şi demonstrarea automată a teoremelor
de:
State, Luminiţa Doina
(Text tipărit)
Logică şi creativitate
de:
Buţa, Viorel
(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)
Teoria sistemelor logice : Metalogica
de:
Enescu, Gheorghe
(Text tipărit)
Topos-ul formal şi istoric al silogisticii
de:
Cernica, Viorel
(Text tipărit)
Sistemele axiomatice ale logicii limbajului natural. Funcţii şi operaţionalizare
de:
Andreescu, Gabriel
(Text tipărit)
Primae veritates şi alte scrieri de logică şi metafizică : Leibniz prin el însuşi
de:
Leibniz, Gottfried Wilhelm
(Text tipărit)
Silogistica : Teoria clasică şi interpretările moderne
de:
Didilescu, Ion; Botezatu, Petre, logician (1911-1981)
(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