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:
126 lucrari in 126 publicatii in 5 limbi
Fondements des mathématiques. Tome 2
de:
Hilbert, David; Bernays, P.
(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)
Semantica şi logica ştiinţei
de:
Pârvu, Ilie
(Text tipărit)
Elemente de logică matematică
de:
Tîrnoveanu, Mircea
(Text tipărit)
Cours de logique mathématique
de:
Fraissé, Roland
(Text tipărit)
Cours de logique mathématique. Tome 2 : Théorie des modèles
de:
Fraissé, Roland
(Text tipărit)
Elemente de logica matematică şi teoria mulţimilor : pentru examenele de definitivat şi perfecţionare
de:
Both, Nicolae
(Text tipărit)
Fondements des mathématiques
de:
Hilbert, David; Bernays, P.
(Text tipărit)
Limbajul logicii matematice
de:
Freudenthal, Hans
(Text tipărit)
Subiecte
Epistemologie
Metafizică
Inteligenţă artificială
Algebră
Matematică
Categorii. Teoria categoriilor
Latici
Algebră booleană
Programarea calculatoarelor
Algoritmi. Funcţii calculabile
Sisteme filosofice
Logică simbolică
Aritmetică
Teoria numerelor
Teoria formală a numerelor
Automate
Automatizare
Teoria mulţimilor
Informatică
Calculatoare (generalităţi)
Software
Cercetare experimentală
Modele matematice
Teoria deciziilor
Teoria cunoaşterii
Paradoxuri
Cibernetică
Cibernetică matematică
Lingvistică matematică
Logică
Cosmogonie (filosofie)
Raţionament
Discipline de învățământ
Filosofia ştiinţei
Intuiţionism
Filosofi
Filosofie
Filosofia matematicii. Paradoxuri logice
Fundamente matematice
Inteligenţă
Geometrie
Trigonometrie
Metode de predare şi instruire
Psihologie
Limbaje de programare
Limbaje formale
Lingvistică computaţională
Logică matematică
Logica predicatelor
Logica propoziţiilor
Teoria modelelor
Mulţimi
Neutrino
Perfecţionarea profesorilor
Silogism
Europa
Leibniz, Gottfried Wilhelm
Russell, Bertrand