| |
ãßÊÈÉ ÌÇãÚÉ ÝíáÇÏáÝíÇ | ÇáÝåÑÓ ÇáÅáßÊÑæäí
ÌãáÉ ÇáÈÍË: ��� ������� : 511.3
ÇáÓÌáÇÊ ÇáãÓÊÑÌÚÉ: 31
ÇáÊÇÑíÎ: 26/04/24
|
| ÇáÑÞã | äæÚ ÇáãÇÏÉ | ÇáÚäæÇä | ÈíÇäÇÊ ÇáÊÃáíÝ/ ÇáäÇÔÑ | ÓäÉ ÇáäÔÑ |
|---|
|
1. |
Book
|
ÇáãäØÞ ÇáÑãÒí : äÔÃÊå æ ÊØæÑå
|
ÊÃáíÝ ãÍãæÏ Ýåãí ÒíÏÇä
|
1979
|
|
2. |
Book
|
ÝáÓÝÉ ÇáÚáæã : ÇáãäØÞ ÇáÑíÇÖí
|
ãÇåÑ ÚÈÏ ÇáÞÇÏÑ ãÍãÏ Úáí
|
1985
|
|
3. |
Book
|
ÇáãäØÞ ÇáÑíÇÖí
|
ÊÃáíÝ ßÑíã ãÊì
|
1983
|
|
4. |
Book
|
ÇáãäØÞ ÇáÑíÇÖí
|
ÚÇÏá ÝÇÎæÑí
|
1979
|
|
5. |
Book
|
ÃÕæá ÇáãäØÞ ÇáÑíÇÖí : (áæÌÓÊíÞÇ - LOGISTIC)
|
ãÍãÏ ËÇÈÊ ÇáÝäÏí
|
1984
|
|
6. |
Book
|
Logic for information technology
|
Antony Galton
|
1990
|
|
7. |
Book
|
How to read and do proofs : an introduction to mathematical thought processes
|
Daniel Solow
|
1990
|
|
8. |
Book
|
Elements of the theory of computation
|
Harry R. Lewis, Christos H. Papadimitriou
|
1981
|
|
9. |
Book
|
Logic for computer science : foundations of automatic theorem proving
|
Jean H. Gallier
|
1986
|
|
10. |
Book
|
Theory of computation
|
Derick Wood
|
1987
|
|
11. |
Book
|
Logic for mathematicians
|
A. G. Hamilton
|
1978
|
|
12. |
Book
|
Logic from computer science : proceedings of a workshop held November 13-17, 1989
|
Y. N. Moschovakis, editor
|
1991
|
|
13. |
Book
|
Fuzzy sets and fuzzy logic : theory and applications
|
George J. Klir and Bo Yuan
|
1995
|
|
14. |
Book
|
logic and its applications
|
Edmund Burke and Eric Foxley
|
1996
|
|
15. |
Book
|
Introduction to the theory of finite-state machines
|
Gill, Arthur
|
|
1962
|
|
16. |
Book
|
Elements of the theory of computation
|
Harry R. Lewis, Christos H. Papadimitriou
|
1998
|
|
17. |
Book
|
Languages and machines : an introduction to the theory of computer science
|
Thomas A. Sudkamp
|
1997
|
|
18. |
Book
|
Introduction to languages and the theory of computation
|
Martin, John C.
|
|
1996
|
|
19. |
Book
|
A first course in formal language theory
|
V. J. Rayward-Smith
|
1995
|
|
20. |
Book
|
Introduction to the theory of computation
|
Michael Sipser
|
1996
|
|
21. |
Book
|
Introduction to languages and the theory of computation
|
John C. Martin
|
2003
|
|
22. |
Book
|
ÇáÑíÇÖíÇÊ Ýí ØÑÞ ÇáÈÑåÇä ÇáÑíÇÖí æ ÇáãÊÊÇáíÇÊ
|
ÊÃáíÝ ÚÒÇã ÕÈÑí
|
2003
|
|
23. |
Book
|
How to read and do proofs : an introduction to mathematical thought processes
|
Daniel Solow
|
2002
|
|
24. |
Book
|
Elements of logic via numbers and sets
|
D. L. Johnson
|
1998
|
|
25. |
Book
|
ãÞÏãÉ Ýí ÇáãäØÞ ÇáÑãÒí
|
ãÍãÏ ãåÑÇä ÑÔæÇä
|
2004
|
|
26. |
Book
|
An introduction to mathematical reasoning : numbers, sets, and functions
|
Peter J. Eccles
|
1997
|
|
27. |
Book
|
Introduction to the theory of computation
|
Michael Sipser
|
2006
|
|
28. |
Book
|
Introduction to languages and the theory of computation
|
John C. Martin
|
2013 (reprint)
|
|
29. |
Book
|
Introduction to the theory of computation
|
Michael Sipser
|
2013
|
|
30. |
Book
|
Introduction to theory of computation
|
Bikash Kanti Sarkar
|
2019
|
|
31. |
Book
|
Elementary symbolic logic
|
William Gustason, Dolph E. Ulrich
|
1973
|
|