Predicate Logic – alle Bücher

Ihre Suche nach "predicate logic" ergab 4 Treffer

New Directions in Term Logic

The systematic account of deductive reasoning and the development of a formal logic to reveal the principles of such reasoning began with Aristotle's syllogistic. It was a term logic, a logic that dominat…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 41,41*

Artikel merken

In den Warenkorb

Menge ändern

William M. Farmer

Simple Type Theory

Computer Science Foundations and Applied Logic

This unique textbook, in contrast to a standard logic text, provides the reader with a logic that actually can be used in practice to express and reason about mathematical ideas. The book is an introducti…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 63,99*

Artikel merken

In den Warenkorb

Menge ändern

Gerard O'Regan

Mathematical Foundations of Software Engineering

Texts in Computer Science

This textbook presents an introduction to the mathematical foundations of software engineering. It presents the rich applications of mathematics in areas such as error-correcting codes, cryptography, the …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 63,99*

Artikel merken

In den Warenkorb

Menge ändern

George Tourlakis

Discrete Mathematics

Synthesis Lectures on Mathematics & Statistics

This book is ideal for a first or second year discrete mathematics course for mathematics, engineering, and computer science majors. The author has extensively class-tested early conceptions of the book o…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 42,66*

Artikel merken

In den Warenkorb

Menge ändern