Logică matematică
|
LDR | 00194nx j2200085 | |
---|---|---|
001 | 123288 | |
100 | $a 20130327arumy0103####ba0 | |
101 | $a rum | |
152 | $b UCV $a AACR | |
250 | $7 ba0yba0a $8 rumrum $a Logică matematică | |
675 | $a 164 $a 510.6 | |
950 | $3 117270 $2 UCV $7 ba0yba0a $8 rumrum $a Logică simbolică | |
970 | $3 116538 $2 UCV $7 ba0yba0a $8 rumrum $a Matematică | |
971 | $3 117339 $2 UCV $7 ba0yba0a $8 rumrum $a Teoria formală a numerelor | |
971 | $3 123294 $2 UCV $7 ba0yba0a $8 rumrum $a Teoria modelelor | |
971 | $3 119720 $2 UCV $7 ba0yba0a $8 rumrum $a Logica fuzzy | |
971 | $3 123292 $2 UCV $7 ba0yba0a $8 rumrum $a Logică modală | |
971 | $3 123293 $2 UCV $7 ba0yba0a $8 rumrum $a Logici cu valori multiple |
Lucrări:
118 lucrari in 118 publicatii in 5 limbi
Interpretări logico-filosofice : (1937-1981)
de:
Botezatu, Petre
(Text tipărit)
The Cambridge Companion to Bertrand Russell
de:
(Text tipărit)
Algebra logicii cu aplicații
de:
Both, Nicolae
(Text tipărit)
Cercetări privind teoria demonstrației : Rezumatul tezei de doctorat
de:
Both, Nicolae
(Text tipărit)
Principiul dualităţii în logica formală
de:
Bieltz, Petre
(Text tipărit)
Logică matematică
de:
Cazacu, Constantin, Matem.; Slabu, Valeria
(Text tipărit)
Иазык логхики
de:
Фреудентхал, Ханс
(Text tipărit)
Silogistica : Teoria clasică şi interpretările moderne
de:
Didilescu, Ion; Botezatu, Petre
(Text tipărit)
Limbajul logicii matematice
de:
Freudenthal, Hans
(Text tipărit)
Elemente de logica matematică şi teoria mulţimilor : pentru examenele de definitivat şi perfecţionare
de:
Both, Nicolae
(Text tipărit)
Subiecte
Limbaje de programare
Matematică
Discipline de învățământ
Cercetare experimentală
Limbaje formale
Latici
Metafizică
Intuiţionism
Logică matematică
Cibernetică
Teoria formală a numerelor
Neutrino
Inteligenţă
Europa
Teoria modelelor
Algebră booleană
Perfecţionarea profesorilor
Teoria mulţimilor
Fundamente matematice
Raţionament
Psihologie
Lingvistică computaţională
Aritmetică
Metode de predare şi instruire
Categorii. Teoria categoriilor
Filosofia matematicii. Paradoxuri logice
Teoria cunoaşterii
Modele matematice
Logica propoziţiilor
Informatică
Paradoxuri
Inteligenţă artificială
Teoria deciziilor
Sisteme filosofice
Trigonometrie
Lingvistică matematică
Logică
Geometrie
Calculatoare (generalităţi)
Logică simbolică
Filosofia ştiinţei
Leibniz, Gottfried Wilhelm
Algebră
Logica predicatelor
Filosofi
Russell, Bertrand
Cosmogonie (filosofie)
Silogism
Filosofie
Programarea calculatoarelor
Software
Teoria numerelor
Mulţimi
Automatizare