Combinatory Logic in Programming. Computations with Objects Through Examples and Exercises

Combinatory logic in programming. Comput

📁 Combinatory logic in programming. Computations with objects through examples and exercises

✍ V.E. Wolfengagen 📂 Library 📅 2003 🏛 Center “JurInfoR” 🌐 English

The book is intended for computer science students, programmers and professionals who have already got acquainted with the basic courses and background on discrete mathematics. It may be used as a textbook for graduate course on theoretical computer science. The book introduces a reader to the conce

Combinatory logic in programming. Comput

📁 Combinatory logic in programming. Computations with ob- jects through examples and exercises

✍ Wolfengagen V.E. 📂 Library 📅 2003 🏛 Center “JurInfoR” 🌐 English

The book is intended for computer science students, programmers and professionals who have already got acquainted with the basic courses and background on discrete mathematics. It may be used as a textbook for graduate course on theoretical computer science. The book introduces a reader to the conce

Computing With Logic: Logic Programming

📁 Computing With Logic: Logic Programming With Prolog

✍ David Maier, David S. Warren 📂 Library 📅 1988 🏛 AW 🌐 English

Computing With Logic: Logic Programming

📁 Computing With Logic: Logic Programming With Prolog

✍ David Maier, David S. Warren 📂 Library 📅 1988 🏛 AW 🌐 English

This text is appropriate for a senior or first-year graduate course on logic programming. It concentrates on the formal semantics of logic programs, automatic theorem- proving techniques, and efficient implementation of logic languages. It is also an excellent reference for the computer professi

Logic Functions and Equations: Examples

📁 Logic Functions and Equations: Examples and Exercises

✍ Bernd Steinbach, Christian Posthoff 📂 Library 📅 2009 🏛 Springer 🌐 English

<P>The field of binary Logics has two main areas of application, the Digital Design of Circuits (related to Electrical Engineering) and Propositional Logics (related to Mathematics, Artificial Intelligence, Complexity etc.). In both cases it is quite possible to teach the theoretical foundations and

Logic Functions and Equations: Examples

📁 Logic Functions and Equations: Examples and Exercises

✍ Bernd Steinbach, Christian Posthoff 📂 Library 📅 2009 🌐 English

The field of binary Logics has two main areas of application, the Digital Design of Circuits (related to Electrical Engineering) and Propositional Logics (related to Mathematics, Artificial Intelligence, Complexity etc.). In both cases it is quite possible to teach the theoretical foundations and to