Это краткое, но строгое введение в логику и дискретную математику. Книга представляет собой уникальное сочетание всестороннего охвата логики с прочным изложением наиболее важных областей дискретной математики. Материал проверен и отточен авторами в университетских курсах, читавшихся более десяти лет. Главы о логике - пропозициональной и логике предикатов - дают мощный инструментарий для логических рассуждений, делая акцент на концептуальном понимании языка и семантики классической логики, а также практических приложениях через легко понимаемые и используемые дедуктивные системы семантических таблиц и резолюций. Главы о теории множеств, теории чисел, комбинаторике и теории графов сочетают необходимый минимум теории с многочисленными примерами и отдельными приложениями.
Написанная ясным и доступным стилем, каждая секция заканчивается обширным набором упражнений, большинство из которых снабжены полными решениями, доступными в сопровождающем учебник решении.
Ключевые особенности:
-
Подходит для различных курсов студентов как математических, так и компьютерных специальностей.
-
Обширное, глубокое освещение классической логики в сочетании с прочным изложением отобранных наиболее важных областей дискретной математики.
-
Краткое, ясное и наглядное изложение с многочисленными примерами.
-
Охватывает некоторые приложения, включая криптографические системы, дискретную теорию вероятностей и алгоритмы для сетей.
"Логика и дискретная математика" - это краткое введение, ориентированное в первую очередь на бакалаврские курсы для студентов математики и информатики, но книга также будет ценным ресурсом для магистерских модулей и для самостоятельного изучения.
Электронная Книга «Logic and Discrete Mathematics» написана автором Willem Conradie в году.
Минимальный возраст читателя: 0
Язык: Английский
ISBN: 9781119000099
Описание книги от Willem Conradie
A concise yet rigorous introduction to logic and discrete mathematics. This book features a unique combination of comprehensive coverage of logic with a solid exposition of the most important fields of discrete mathematics, presenting material that has been tested and refined by the authors in university courses taught over more than a decade. The chapters on logic – propositional and first-order – provide a robust toolkit for logical reasoning, emphasizing the conceptual understanding of the language and the semantics of classical logic as well as practical applications through the easy to understand and use deductive systems of Semantic Tableaux and Resolution. The chapters on set theory, number theory, combinatorics and graph theory combine the necessary minimum of theory with numerous examples and selected applications. Written in a clear and reader-friendly style, each section ends with an extensive set of exercises, most of them provided with complete solutions which are available in the accompanying solutions manual. Key Features: Suitable for a variety of courses for students in both Mathematics and Computer Science. Extensive, in-depth coverage of classical logic, combined with a solid exposition of a selection of the most important fields of discrete mathematics Concise, clear and uncluttered presentation with numerous examples. Covers some applications including cryptographic systems, discrete probability and network algorithms. Logic and Discrete Mathematics: A Concise Introduction is aimed mainly at undergraduate courses for students in mathematics and computer science, but the book will also be a valuable resource for graduate modules and for self-study.