Logică matematică
Prezentare generală
Lucrări: | 55 lucrari in 52 publicatii in 4 limbi |
---|
Titlurile
Aplicaţii în sisteme logice programate
de:
Trifa, Viorel
(Text tipărit)
Cercetări funcţionale în logicile demonstraţionale : Autoref. tezei de d-r în şt. fizico-matematice (01.01.06)
de:
Russu, Andrei
(Text tipărit)
Clase de inele local compacte şi condiţii de compacticitate in grupurile de unităţi : Autoref.tezei de doctor în şt. fizico-matematice (01.01.06)
de:
Costas, Ana
(Text tipărit)
Clase de inele local compacte şi condiţii de compacticitate în grupurile de unităţi : Teza de doctor în şt. fizico-matematice (01.01.06)
de:
Costaş, Ana
(Text tipărit)
Collected works
de:
Gödel, Kurt
(Text tipărit)
Completitudinea parametrică în extensia 4-valentă a logicii modale S┌5┘ : Autoreferat (01.01.06)
de:
Cebotari, Vadim
(Text tipărit)
Completitudinea parametrică în extensia 4-valentă a logicii modale S┌5┘ : Teză (01.01.06)
de:
Cebotari, Vadim
(Text tipărit)
The cosmical knowledge and the human computer : Excerpts and supplements
de:
Costescu, Ion
(Text tipărit)
Доказуемостно-интуиционистская логика и ее расширения : Автореф. дис. канд. физ.-мат. наук (01.01.06)
de:
Симонова, Ирина Гаяновна
(Text tipărit)
Elemente de logică matematică : (Material didactic)
de:
Hariton, Andrei Z.
(Text tipărit)
Subiecte
Manuale
Matematică - Logică - Probleme
Programare logică (calculatoare)
Teorie
Teoria numerilor
Mulţimi (teorie)
Ghiduri metodologice
Inteligenţă artificială - Culegeri
Silogistică (matem.)
Rezistenţa materialelor
Inele - Matematică
Algoritmi
Inele (matematică)
Algebră - Probleme - Rezolvare
Matematică - Clase primare
Inele topologice
Informatică matematică
Analiză matematică
Vyrazimost' v isčisleniâh
Calcul matematic
Analiza matematică
Algebră
Logică clasică
Culegeri
Matematičeskaâ logika
Gândire logică
Matematică
Programe
Intelect artificial
Programare logică
Bucle Moufang comutative
Numere algebrice - Teorie elementară
Programare matematică
Psihologie logică
Expresivitate
Cibernetică matematică
Numere - Teorii analitice
Lingvistică matematică