Logică matematică
Prezentare generală
Lucrări: | 55 lucrari in 55 publicatii in 4 limbi |
---|
Titlurile
Aplicaţii în sisteme logice programate
de:
Trifa, Viorel
(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)
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)
The cosmical knowledge and the human computer : Excerpts and supplements
de:
Costescu, Ion
(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)
Доказуемостно-интуиционистская логика и ее расширения : Автореф. дис. канд. физ.-мат. наук (01.01.06)
de:
Симонова, Ирина Гаяновна
(Text tipărit)
Elemente de logică matematică : (Material didactic)
de:
Hariton, Andrei Z.
(Text tipărit)
Subiecte
Inteligenţă artificială - Culegeri
Inele - Matematică
Manuale
Culegeri
Vyrazimost' v isčisleniâh
Matematică
Calcul matematic
Programare logică
Matematică - Clase primare
Matematičeskaâ logika
Inele topologice
Teoria numerilor
Teorie
Algebră - Probleme - Rezolvare
Gândire logică
Expresivitate
Programare matematică
Bucle Moufang comutative - Logică matematică
Programare logică (calculatoare)
Inele (matematică)
Ghiduri metodologice
Analiză matematică
Algoritmi
Culegeri
Mulţimi (teorie)
Silogistică (matem.)
Intelect artificial
Cibernetică matematică
Rezistenţa materialelor
Informatică matematică
Programe
Algebră
Psihologie logică
Numere algebrice - Teorie elementară
Logică clasică
Lingvistică matematică
Matematică - Logică - Probleme
Numere - Teorii analitice