Biblioteca Universității "Dunărea de Jos" Search for 'su:" logică matematică"'

Logica computațională

By CRIȘAN, Gloria Cerasela.
Bacău Alma Mater\\Bacău\ 2011 .
71 p.; 30 cm 978-606-527-161-6

]]> Place hold on Logica computațională

Logică matematică și teoria mulțimilor /

By ANTOHE, Ștefan.
Galați: Editura Fundației Universitare "Dunărea de Jos" din Galați, 2002 .
186 p. ; 24 cm.
9738352584

]]> Place hold on Logică matematică și teoria mulțimilor /

Logică matematică\\Cazacu, C., EStL, Iași, 1999\

By CAZACU, Constantin; SLABU, Valeria.
Iași Editura "Ștefan Lupașcu" 1999 .
320 p. ; 21 cm 973-99044-0-8

]]> Place hold on Logică matematică\\Cazacu, C., EStL, Iași, 1999\

Real-time systems scheduling, analysis, and verification

By CHENG, Albert M. K..
Hoboken, NJ Wiley\-\\Interscience 2002 .
xxiii, 524 p. ; 24 cm 0-471-18406-3

]]> Place hold on Real-time systems scheduling, analysis, and verification

Attribute grammars and their applications International Conference, Paris, France, September 19-21, 1990 proceedings

Berlin; Heidelberg; New York Springer 1990 .
VIII, 358 p. ; 24 cm 0-387-53101-7; 3-540-53101-7

]]> Place hold on Attribute grammars and their applications International Conference, Paris, France, September 19-21, 1990 proceedings

Scrieri logico-filosofice /

By FREGE, Gottlob.
București : Editura Științifică și Enciclopedică, 1977 .
[vol.] ; 20 cm.

]]> Place hold on Scrieri logico-filosofice /

Argumentation machines : new frontiers in argument and computation /

Dordrecht , | Boston , | London : Kluwer Academic Publishers, 2004 .
240 p. ; 25 cm.
1402018118

]]> Place hold on Argumentation machines :

Dicționar de logică

By ENESCU, Gheorghe.
București Editura Științifică și Enciclopedică 1985 .
382 p. ; 20 cm

]]> Place hold on Dicționar de logică

Analiza și sinteza structurilor logice : structuri logice cablate /

By BOBOC, Laurențiu.
Chișinău : Editura Tehnica-Info, 2001 .
pag. multiplă ; , Anexe și bibliogr. 23 cm.
9975631010

]]> Place hold on Analiza și sinteza structurilor logice :

\The \\Cosmical knowledge and the human computer

By COSTESCU, Ion.
Timișoara Editura Mirton 1996 .
VI, 116 p. ; 24 cm 973-578-151-4

]]> Place hold on \The \\Cosmical knowledge and the human computer

Limbajul logicii matematice

By FREUDENTHAL, Hans.
București Editura Tehnică 1973 .
148 p. ; 20 cm

]]> Place hold on Limbajul logicii matematice

Studii de logică matematică

By HAO, Wang.
București Editura Științifică 1972 .
624 p. ; 23 cm

]]> Place hold on Studii de logică matematică

Elemente de logică matematică, teoria mulțimilor și aritmetică /

By ANTOHE, Ștefan.
Galați, 1994 .
223 p. 23 cm.

]]> Place hold on Elemente de logică matematică, teoria mulțimilor și aritmetică /

Nonclassical Logics and Information Processing : International Workshop, Berlin, Germany, November 9-10, 1990 : proceedings /

Berlin : Springer, 1992 .
172 p. ; 24 cm..
3540557458

]]> Place hold on Nonclassical Logics and Information Processing :

Computational logic International Symposium Brussels, November 13-14, 1990 proceedings

Berlin; Heidelberg; New York Springer 1990 .
XI, 212 p. fig., sch., tab. ; 25 cm 0-387-53437-7; 3-540-53437-7

]]> Place hold on Computational logic International Symposium Brussels, November 13-14, 1990 proceedings

Computer Science Logic 4th Workshop, CSL'90, Heidelberg, Germany, October 1-5, 1990 proceedings

Berlin; Heidelberg; New York Springer 1991 .
VIII, 400 p. fig. ; 24 cm 0-387-54487-9; 3-540-54487-9

]]> Place hold on Computer Science Logic 4th Workshop, CSL'90, Heidelberg, Germany, October 1-5, 1990 proceedings

Computer Science Logic 5th Workshop, CSL'91, Berne, Switzerland, October 7-11, 1991 proceedings

Berlin; Heidelberg; New York Springer 1992 .
VIII, 428 p. fig. ; 24 cm 0-387-55789-X; 3-540-55789-X

]]> Place hold on Computer Science Logic 5th Workshop, CSL'91, Berne, Switzerland, October 7-11, 1991 proceedings

Predicate calculus and program semantics

By DIJKSTRA, Edsger\-\\Wybe; SCHOLTEN, Carel\-\\S..
New York; Berlin; Heidelberg Springer 1990 .
X, 220 p. ; 24 cm 0-387-96957-8; 3-540-96957-8

]]> Place hold on Predicate calculus and program semantics

Sisteme cu logică aplicată lucrări de laborator

By DEMIAN, Petru; GONTEAN, Aurel.
1994 .
106 p. fig., tab. ; 20 cm

]]> Place hold on Sisteme cu logică aplicată lucrări de laborator

Stâlpul și temelia adevărului încercare de teodicee ortodoxă în douăsprezece scrisori

By FLORENSKI, Pavel Alexandrovici.
Iași Polirom 1999 .
568 p. ; 21 cm 973-683-373-9

]]> Place hold on Stâlpul și temelia adevărului încercare de teodicee ortodoxă în douăsprezece scrisori

MOD natural neutrosophic semirings /

By KANDASAMY, W. B. Vasantha.
Brussels : Europa Nova, 2016 .
260 p. ; 21 cm.
9781599734705

]]> Place hold on MOD natural neutrosophic semirings /

Neutrosophic set approach to algebraic structures /

Brussels : Pons Editions, 2016 .
234 p. ; 25 cm.
9781599734712

]]> Place hold on Neutrosophic set approach to algebraic structures /

Concepts of Proof in Mathematics, Philosophy, and Computer Science

Berlin : De Gruyter, 2016 .
1 resursă online | (374 p.) 9781501502620

]]> Place hold on Concepts of Proof in Mathematics, Philosophy, and Computer Science

Elemente de combinatorică /

By GÎRȚU, Manuela.
Bacău : Alma Mater, 2021 .
268 p. ; 25 cm..
9786065276703

]]> Place hold on Elemente de combinatorică /

Elemente de logică matematică cu trimitere către teoria punctului de echilibru /

By BOGDAN, Marcel.
Târgu-Mureș : University Press, 2024 .
236 p. : 24 cm..
9789731698298

]]> Place hold on Elemente de logică matematică cu trimitere către teoria punctului de echilibru /