Search
Feedback
About
Help
News
| Listing 1 - 5 of 5 |
Sort by
|
ISBN: 9780444864765 0444864768 Year: 1982 Volume: v. 109 Publisher: Amsterdam New York New York, N.Y. North-Holland Pub. Co. Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Year: 1982 Publisher: Amsterdam, New York, Oxford North-Holland
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
ISBN: 9780444864765 0444864768 Year: 1982 Volume: v. 109 Publisher: Amsterdam ; New York : New York, N.Y. : North-Holland Pub. Co. ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematical logic --- Mathematics --- Logic, Symbolic and mathematical --- Physical Sciences & Mathematics --- Mathematical Theory --- Congresses
ISBN: 0444816445 9786613272751 128327275X 0080539645 9780080539645 9780444816443 6613272752 Year: 1996 Volume: 13. Publisher: Amsterdam Elsevier
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logic's basic elements are unfolded in this book. The relation of and the transition from Logic to Logic Programming are analysed. With the use and the development of computers in the beginning of the 1950's, it soon became clear that computers could be used, not only for arithmetical computation, but also for symbolic computation. Hence, the first arithmetical computation programs, and the first programs created to answer elementary questions and prove simple theorems, were written simultaneously. The basic steps towards a general method based on Logic, were accomplished in 1965 by Robinson
Logic programming --- Logic, Symbolic and mathematical --- Programmation logique --- Logique symbolique et mathématique --- 681.3*D16 --- 681.3*F41 --- 681.3*I23 --- 681.3*I24 --- Computerwetenschap--?*D16 --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) --- 681.3*I24 Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer programming --- Logique symbolique et mathématique --- Logic programming. --- Logic, Symbolic and mathematical.
ISBN: 9780080539645 0080539645 9780444816443 0444816445 9786613272751 6613272752 Year: 1996 Publisher: New York Elsevier
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logic's basic elements are unfolded in this book. The relation of and the transition from Logic to Logic Programming are analysed. With the use and the development of computers in the beginning of the 1950's, it soon became clear that computers could be used, not only for arithmetical computation, but also for symbolic computation. Hence, the first arithmetical computation programs, and the first programs created to answer elementary questions and prove simple theorems, were written simultaneously. The basic steps towards a general method based on Logic, were accomplished in 1965 by Robinson and later by Kowalski and Colmerauer who made use of Logic directly as a Logic Programming language. Each chapter includes solved as well as unsolved exercises provided to help the reader assimilate the corresponding topics. The solved exercises demonstrate how to work methodically, whereas the unsolved exercises aim to stimulate the reader's personal initiative. The contents of the book are self-contained; only an elementary knowledge of analysis is required. Thus, it can be used by students in every academic year, as simply reading material, or in the context of a course. It can also be used by those who utilize Logic Programming without having any particular theoretical background knowledge of Logic, or by those simply interested in Logic and its applications in Logic Programming.
| Listing 1 - 5 of 5 |
Sort by
|