GEORGE TOURLAKIS, Ph D, is University Professor of Computer Science and Engineering at York University, Canada. Dr. Tourlakis has authored or coauthored numerous articles in his areas of research interest, which include calculational logic, modal logic, computability, complexity theory, and arithmetical forcing.
7 Ebooks bởi George Tourlakis
George Tourlakis: Mathematical Logic
A comprehensive and user-friendly guide to the use of logic in mathematical reasoning Mathematical Logic presents a comprehensive introduction to formal methods of logic and their use as a reliable t …
PDF
Anh
DRM
€116.99
George Tourlakis: Theory of Computation
Learn the skills and acquire the intuition to assess the theoretical limitations of computer programming Offering an accessible approach to the topic, Theory of Computation focuses on the metatheory …
PDF
Anh
DRM
€116.99
George Tourlakis: Theory of Computation
Learn the skills and acquire the intuition to assess the theoretical limitations of computer programming Offering an accessible approach to the topic, Theory of Computation focuses on the metatheory …
EPUB
Anh
DRM
€116.99
George Tourlakis: Lectures in Logic and Set Theory: Volume 1, Mathematical Logic
…
PDF
Anh
DRM
€61.63
George Tourlakis: Computability
This survey of computability theory offers the techniques and tools that computer scientists (as well as mathematicians and philosophers studying the mathematical foundations of computing) need to ma …
EPUB
Anh
DRM
€71.05
George Tourlakis: Discrete Mathematics
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 b …
EPUB
Anh
DRM
€44.93
