Mathematical Logic
 |
|
Описание:
Mathematical Logic presents mathematical or "symbolic" logic as a reliable tool for deductive reasoning. It trains the student in both the established "Hilbert" style of writing proofs in mathematics, as well as in the emerging "equational" style that finds fruitful application in computer science curricula, especially in the areas of software engineering and program correctness. There are extensive sets of examples, remarks, problems, references, and textual discussions that aim to help the reader understand what makes logic a powerful tool in the scheme of mathematical truths.Похожие книги
 | Мала історія України. Автор: Каппєлер А. Год: 2007 |
 | Effective Writing Skills for Public Relations Автор: John Foster Год: 2008 |
 | Toward a Global Idea of Race Автор: Denise Ferreira da Silva Год: 2007 |
 | 1939 год. К истории советско - германского сговора. Автор: Трубайчук А.Ф. Год: 1994 |
 | Симон Петлюра і Єврейство. Автор: Сергійчук В. Год: 2006 |
 | Административное право Автор: Бахрах Д. Н. , Россинский Б. В. , Старилов Ю. Н. Год: 2008 |