Search results for “[Subject: logic-design]”

• Author(s): Michael Genesereth • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Mathematics and Statistics • BISAC: GeneralThis book is a gentle but rigorous introduction to Formal Logic. It is intended primarily for use at ...

• Author(s): Laszlo Csirmaz • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Mathematics and Statistics • BISAC: LogicThis book gathers together a colorful set of problems on classical Mathematical Logic, selected from over 3...

• Author(s): Moerdijk • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Mathematics and Statistics • BISAC: LogicAbout the Book This textbook provides a concise and self-contained introduction to mathematical logic, with a foc...

• Author(s): C.T. Chong • Publisher: Springer Verlag • Publisher Imprint: Springer V • Subject: Mathematics and Statistics • BISAC: Logic

• Author(s): Michael Holz | Klaus-Peter Podewski • Publisher: Springer Verlag • Publisher Imprint: Springer V • Subject: Mathematics and Statistics • BISAC: Logic

• Author(s): Andrzej Indrzejczak • Publisher: Springer Verlag • Publisher Imprint: Birkhauser • Subject: Mathematics and Statistics • BISAC: LogicFrom the Back CoverThis textbook offers a detailed introduction to the methodology and applications ...

• Author(s): Heinz-Dieter Ebbinghaus • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Mathematics and Statistics • BISAC: LogicThis introduction to first-order logic clearly works out the role of first-order logic in the foun...

• Author(s): A.S. Kechris | D.A. Martin • Publisher: Springer Verlag • Publisher Imprint: Springer V • Subject: Mathematics and Statistics

• Author(s): Heinz-Dieter Ebbinghaus | Gert H. Muller • Publisher: Springer Verlag • Publisher Imprint: Springer V • Subject: Mathematics and Statistics • BISAC: Logic

• Author(s): K.R. Gupta • Publisher: Atlantic • Publisher Imprint: Atlantic • Subject: Mathematics and StatisticsThe book Statistics, in two volumes, provides a balanced and rigorous coverage of all the topics taught to the students of economics,...

• Author(s): Vince • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Mathematics and Statistics • BISAC: Data Science - GeneralFrom the Back CoverIn this third edition of Foundation Mathematics for Computer Science, John Vinc...

• Author(s): C. Berline | K. McAloon • Publisher: Springer Verlag • Publisher Imprint: Springer V • Subject: Mathematics and Statistics • BISAC: Logic

• Author(s): Damir D. Dzhafarov • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Mathematics and Statistics • BISAC: Data Science - GeneralReverse mathematics studies the complexity of proving mathematical theorems and solvin...

• Author(s): Abhijit Barai • Publisher: Independently Published • Publisher Imprint: Independently Published • Subject: Mathematics and Statistics, • BISAC: Classroom ManagementThis book is specifically designed for those who think that the conc...

• Author(s): Bertrand A. W. Russell • Publisher: Kessinger Publishing • Publisher Imprint: Kessinger Publishing • Subject: Mathematics and Statistics • BISAC: Geometry - General""An Essay On The Foundations Of Geometry"" is a book written by Bert...

• Author(s): John Taylor | Rowan Garnier • Publisher: Taylor & Francis • Publisher Imprint: Chapman Hall • Subject: Mathematics and Statistics • BISAC: Set TheoryThe notion of proof is central to mathematics yet it is one of the most difficul...

• Author(s): K.R. Gupta • Publisher: Atlantic • Publisher Imprint: Atlantic • Subject: Mathematics and StatisticsThe book Mathematical Statistics provides a balanced and rigorous coverage of all the topics taught in mathematical statistics to the...

• Author(s): Hayashi | Takashi • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Mathematics and Statistics • BISAC: Game TheoryFrom the Back CoverThis textbook covers microeconomic theory at the level of intermediate and adva...

• Author(s): Markus Janczyk • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Mathematics and Statistics • BISAC: BiostatisticsWhat actually is a p-value for? And what is a significant result? This book answers such questions ...

• Author(s): Publishing, F. Chen • Publisher: MixIG • Publisher Imprint: MixIG • Subject: Mathematics and Statistics • BISAC: SudokuThis Sudoku Book Adults will bring lots of hours of fun and entertainment.This Sodoku book comes with solutions fo...

• Author(s): Robert S. Rumely • Publisher: Springer Verlag • Publisher Imprint: Springer V • Subject: Mathematics and Statistics • BISAC: Geometry - AlgebraicAbout the Book Capacity is a measure of size for sets, with diverse applications in pote...

• Author(s): Virdi • Publisher: Taylor & Francis • Publisher Imprint: Routledge • Subject: Engineering • BISAC: Construction - GeneralAdvanced Construction Mathematics covers the range of topics that a student must learn in order to achieve s...

• Author(s): Santambrogio | Filippo • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Mathematics and Statistics • BISAC: AppliedFrom the Back CoverThis book provides an introduction to the broad topic of the calculus of varia...

• Author(s): Anton Savin | Boris Sternin • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Mathematics and Statistics • BISAC: Mathematical AnalysisFrom the Back CoverThis book discusses the complex theory of differential equa...

• Author(s): Scott Jones • Publisher: Sage Publications • Publisher Imprint: Sage Publications • Subject: Mathematics and Statistics • BISAC: StatisticsNervous about statistics? This guide offers a clear, straight to the point break down of explo...

• Author(s): Susan A. Nolan | Kelly M. Goedert • Publisher: Macmillan Learning • Publisher Imprint: Worth Pub • Subject: Education & PsychologyAbout the Book This core textbook offers an introduction to the basics of statistics that is unique...

• Author(s): David S. Moore • Publisher: Macmillan Learning • Publisher Imprint: Worth Pub • Subject: Mathematics and StatisticsAbout the Book This practical textbook by David Moore and William Notz introduces a conceptual approach to statistics ...

• Author(s): David Mond • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Mathematics and Statistics • BISAC: Geometry - AlgebraicFrom the Back CoverThe first monograph on singularities of mappings for many years, this book pr...

• Author(s): K. Rybakowski • Publisher: Springer Verlag • Publisher Imprint: Springer V • Subject: Mathematics and Statistics • BISAC: Geometry - GeneralThe homotopy index theory was developed by Charles Conley for two- sided flows on compact spa...

• Author(s): João Rasga | Cristina Sernadas • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Mathematics and Statistics • BISAC: LogicFrom the Back CoverThis textbook provides a self-contained introduction to decidability of ...

• Author(s): John P. D'Angelo • Publisher: Pearson • Publisher Imprint: Pearson • Subject: Mathematics and Statistics

• Author(s): S. Chakraborty B.K. Sarkar | B.K. Sarkar • Publisher: Oxford UP • Publisher Imprint: Oxford UP • Subject: Mathematics and Statistics • BISAC: Discrete MathematicsDiscrete Mathematics is designed to serve as a textbook for undergradua...