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): 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): João Rasga | Cristina Sernadas • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Mathematics and Statistics • BISAC: LogicThis textbook provides a self-contained introduction to decidability of first-order theorie...

• 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): 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): Michael Holz | Klaus-Peter Podewski • Publisher: Springer Verlag • Publisher Imprint: Springer V • Subject: Mathematics and Statistics • BISAC: Logic

• Author(s): Alessandro Andretta | Keith Kearnes | Domenico Zambella • Publisher: Cambridge UP • Publisher Imprint: Cambridge • Subject: Mathematics and Statistics • BISAC: LogicAbout the Book Highlights of this volume from the 2004 Annual Europe...

• 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): Kossak • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Mathematics and Statistics • BISAC: History & PhilosophyPresents an introduction to of formal mathematical logic and set theoryPresents simple yet nontr...

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

• Author(s): Haimanti Sarbadhikari; Shashi Mohan Srivastava • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Mathematics and Statistics • BISAC: LogicFrom the Back CoverThis self-contained book is an exposition of the fundame...

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

• Author(s): Gerard O'Regan • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Mathematics and Statistics • BISAC: Data Science - GeneralAbout the Book This stimulating textbook/reference presents a broad and accessible guide t...

• 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): Serovajsky • Publisher: Taylor & Francis • Publisher Imprint: Chapman Hall • Subject: Mathematics and Statistics • BISAC: Set TheoryArchitecture of Mathematics describes the logical structure of Mathematics from its foundations t...

• Author(s): David Marker • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Mathematics and Statistics • BISAC: LogicIn addition to covering the essentials, the author’s intention in writing this text is to entice the reader t...

• Author(s): H.D. Ebbinghaus | Jorg Flum • Publisher: Springer Verlag • Publisher Imprint: Springer V • Subject: Mathematics and StatisticsFinite model theory has its origins in classical model theory but owes its systematic development to resear...

• Author(s): Vilém Novàk | Irina Perfilieva | Antonín Dvorák • Publisher: Wiley • Publisher Imprint: Wiley • Subject: Mathematics and Statistics • BISAC: Electronics - GeneralAbout the Book Provides a unique and methodologically consistent treatm...

• 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): Gerstein • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Mathematics and Statistics • BISAC: LogicFrom the Back CoverAs a student moves from basic calculus courses into upper-division courses in linear and abstr...

• 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): Jeffrey Yi-Lin Forrest • Publisher: Taylor & Francis • Publisher Imprint: CRC Press • Subject: Mathematics and Statistics • BISAC: AppliedThis book is devoted to the study of human thought, its systemic structure, and the histori...

• 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): George Tourlakis • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Mathematics and Statistics • BISAC: Discrete MathematicsThis book is ideal for a first or second year discrete mathematics course for mathematics,...

• Author(s): Kim KyungMann • Publisher: Taylor & Francis • Publisher Imprint: Chapman Hall • Subject: Mathematics and Statistics • BISAC: Probability & Statistics - GeneralStatistical concepts provide scientific framework in experimental ...

• 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): Jose Iovino • Publisher: Taylor & Francis • Publisher Imprint: Chapman Hall • Subject: Mathematics and Statistics • BISAC: Number TheoryModel theory is one of the central branches of mathematical logic. The field has evolved rapi...

• 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): Anne Benoit | Frederic Vivien • Publisher: Taylor & Francis • Publisher Imprint: CRC Press • Subject: Mathematics and Statistics • BISAC: Programming - AlgorithmsPresenting a complementary perspective to standard books on algorit...

• 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...