Εξώφυλλο

Κώδικας QR

Στοιχεία θεωρίας υπολογισμού /

Κύριος συγγραφέας:	Lewis, Harry R.
Άλλοι συγγραφείς:	Παπαδημητρίου, Χρίστος Χ., Αντωνιάδης, Παναγιώτης., Σιδέρη, Μάρθα.
Μορφή:	Βιβλίο
Γλώσσα:	English
Στοιχεία έκδοσης:	Αθήνα : Κριτική, 2005.
Ταξινομικός αριθμός:	511 LEW ΜΤΦ
Θέματα:	Machine theory. Formal languages. Computational complexity. Logic, Symbolic and mathematical.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

Παρόμοια τεκμήρια

Elements of the theory of computation /
από: Lewis, Harry R.
Στοιχεία έκδοσης: (1981)

Elementary logic /
από: Quine, Willard Orman van.
Στοιχεία έκδοσης: (1981)

The logic of partial information /
από: Nait Abdallah, Areski, 1950-
Στοιχεία έκδοσης: (1995)

Truth, deduction, and computation : logic and semantics for computer science /
από: Davis, R.E.
Στοιχεία έκδοσης: (1989)

Logic for applications /
από: Nerode, Anil.
Στοιχεία έκδοσης: (1997)

Incosistent mathematicics /
από: Mortensen, Chris.
Στοιχεία έκδοσης: (1995)

Foundations of mathematical logic/
από: Curry, Haskell B., 1900-
Στοιχεία έκδοσης: (1977)

Logic and knowledge : essays 1901-1950 /
από: Russell, Bertrand, 1872-1970.
Στοιχεία έκδοσης: (1971)

Logic, sets, and recursion /
από: Causey, Robert L.
Στοιχεία έκδοσης: (2001)

Handbook of mathematical logic /
Στοιχεία έκδοσης: (1977)

Mathematical logic /
από: Chiswell, Ian, 1948-
Στοιχεία έκδοσης: (2007)

Mathematical logic
από: Turing, Alan Mathison, 1912-1954.
Στοιχεία έκδοσης: (2001)

Temporal Logic of Programs /
Στοιχεία έκδοσης: (1987)

Schaum's outline of theory and problems of discrete mathematics /
από: Lipschutz, Seymour.
Στοιχεία έκδοσης: (1976)

Closure spaces and logic /
από: Martin, Norman M.
Στοιχεία έκδοσης: (1996)

Formal languages and automata theory /
από: Drobot, Vladimir.
Στοιχεία έκδοσης: (1989)

Tractatus Logico-Philosophicus /
από: Wittgenstein, Ludwig, 1889-1951.
Στοιχεία έκδοσης: (2016)

Εισαγωγή στην ασαφή λογική (Fuzzy Logic) : βασικές αρχές της ασαφούς λογικής με εφαρμογές στην τεχνολογία: στοιχεία ασαφούς συνολοθεωρίας, ασαφούς αριθμητικής, ασαφούς γραμμικής άλγεβρας, ασαφή συστήματα ελέγχου, εφαρμογές Matlab /
από: Θεοδώρου, Γιάννης Α.
Στοιχεία έκδοσης: (2012)

Logic-based decision support : mixed integer model formulation /
από: Jeroslow, Robert G., 1942-
Στοιχεία έκδοσης: (1989)

Analysis and decision making in uncertain systems /
από: Bubnicki, Zdzislaw.
Στοιχεία έκδοσης: (2004)

Symbolic logic and mechanical theorem proving /
από: Chang, Chin-Liang, 1937-
Στοιχεία έκδοσης: (1987)

Doing Worlds with worlds: formal semantics without formal metaphysics /
από: Peregrin, Jaroslav.
Στοιχεία έκδοσης: (1995)

Introduction to automata theory, languages, and computation /
από: Hopcroft, John E., 1939-
Στοιχεία έκδοσης: (1979)

Commonsense reasoning
από: Mueller, Erik T.
Στοιχεία έκδοσης: (2006)

Logic programming with Prolog /
από: Bramer, M. A. 1948-
Στοιχεία έκδοσης: (2005)

Essays in memory of Imre Lakatos /
Στοιχεία έκδοσης: (1976)

Εφαρμογές της λογικής στην πληροφορική
από: Στεφανέας, Πέτρος.
Στοιχεία έκδοσης: (2015)

The informational complexity of learning : Perspectives on Neural Networks andGenerative Grammar /
από: Niyogi, Partha.
Στοιχεία έκδοσης: (1998)

Studies in logic and the foundations of mathematics: vol. 73: Model theory/
από: Chang, C. C.
Στοιχεία έκδοσης: (1977)

The Godel Programming Language /
από: Hill, Patricia.
Στοιχεία έκδοσης: (1994)

Formal logic: its scope and limits/
από: Jeffrey, Richard C.
Στοιχεία έκδοσης: (1967)

Stochastic automata : constructive theory /
από: Lorenz, Aivar Arvidovich.
Στοιχεία έκδοσης: (1974)

Digital design with CPLD applications and VHDL /
από: Dueck, Robert K.
Στοιχεία έκδοσης: (2005)

Logic programming : formal methods and practical applications /
Στοιχεία έκδοσης: (1995)

Εισαγωγή στη θεωρία υπολογισμού /
από: Sipser, Michael.
Στοιχεία έκδοσης: (2017)

Logic,Automata , and Algorithms /
Στοιχεία έκδοσης: (1971)

Self-checking and fault-tolerant digital design /
από: Lala, Parag K.
Στοιχεία έκδοσης: (2001)

Introduction to the theory of computation.
από: Engeler, Erwin.
Στοιχεία έκδοσης: (1973)

An introduction to philoshophical logic /
από: Grayling, A. C.
Στοιχεία έκδοσης: (1997)

Simulated annealing and Boltzmann machines : a stochastic approach to combinatorial optimization and neural computing /
από: Aarts, Emile H. L.
Στοιχεία έκδοσης: (1989)