Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Cертификаты | Хиты | | |
 

An Introduction to Formal Logic, Peter Smith



Варианты приобретения
Цена: 5060р.
Кол-во:
 о цене
Наличие: Отсутствует. Возможна поставка под заказ.

При оформлении заказа до: 30 май 2022
Ориентировочная дата поставки: Июнь
При условии наличия книги у поставщика.

Заказ пока невозможен
в Мои желания

Автор: Peter Smith
Название:  An Introduction to Formal Logic
ISBN: 9781108411394
Издательство: Cambridge Academ
Классификация:
ISBN-10: 1108411398
Обложка/Формат: Paperback
Страницы: 427
Вес: 0.381 кг.
Дата издания: 30.06.2020
Серия: Cambridge introductions to philosophy
Язык: English
Издание: 2 revised edition
Иллюстрации: Worked examples or exercises
Размер: 175 x 244 x 27
Читательская аудитория: Tertiary education (us: college)
Ключевые слова: Algebraic geometry,Algorithms & data structures,Algebra,Mathematical logic,Philosophy: logic, MATHEMATICS / Logic
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Англии



      Старое издание
An Introduction to Formal Logic

Автор: Peter Smith
Название: An Introduction to Formal Logic
ISBN: 0521008042 ISBN-13(EAN): 9780521008044
Издательство: Cambridge Academ
Цена: 5060 р.
Наличие на складе: Поставка под заказ.
Описание: Formal logic provides us with a powerful set of techniques for criticizing some arguments and showing others to be valid. These techniques are relevant to all of us with an interest in being skilful and accurate reasoners. In this highly accessible book, Peter Smith presents a guide to the fundamental aims and basic elements of formal logic. He introduces the reader to the languages of propositional and predicate logic, and then develops formal systems for evaluating arguments translated into these languages, concentrating on the easily comprehensible ‘tree’ method. His discussion is richly illustrated with worked examples and exercises. A distinctive feature is that, alongside the formal work, there is illuminating philosophical commentary. This book will make an ideal text for a first logic course, and will provide a firm basis for further work in formal and philosophical logic.


Introduction to algorithms  3 ed.

Автор: Cormen, Thomas H., E
Название: Introduction to algorithms 3 ed.
ISBN: 0262033844 ISBN-13(EAN): 9780262033848
Издательство: MIT Press
Рейтинг:
Цена: 13016 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A new edition of the essential text and professional reference, with substantial new material on such topics as vEB trees, multithreaded algorithms, dynamic programming, and edge-base flow.

Logic: A Very Short Introduction

Автор: Priest Graham
Название: Logic: A Very Short Introduction
ISBN: 0198811705 ISBN-13(EAN): 9780198811701
Издательство: Oxford Academ
Рейтинг:
Цена: 1625 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Graham Priest shows that formal logic is a powerful, exciting part of modern philosophy - a tool for thinking about everything from the existence of God and the reality of time to paradoxes of probability. Explaining formal logic in simple, non-technical terms, this edition includes new sections on mathematical algorithms, axioms, and proofs.

Introduction to Linear Algebra 5 ed.

Автор: Strang
Название: Introduction to Linear Algebra 5 ed.
ISBN: 0980232775 ISBN-13(EAN): 9780980232776
Издательство: Cambridge Academ
Рейтинг:
Цена: 13558 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Linear algebra is something all mathematics undergraduates and many other students, in subjects ranging from engineering to economics, have to learn. The fifth edition of this hugely successful textbook retains all the qualities of earlier editions, while at the same time seeing numerous minor improvements and major additions. The latter include: • A new chapter on singular values and singular vectors, including ways to analyze a matrix of data • A revised chapter on computing in linear algebra, with professional-level algorithms and code that can be downloaded for a variety of languages • A new section on linear algebra and cryptography • A new chapter on linear algebra in probability and statistics. A dedicated and active website also offers solutions to exercises as well as new exercises from many different sources (including practice problems, exams, and development of textbook examples), plus codes in MATLAB®, Julia, and Python.

Автор: Peter Smith
Название: An Introduction to Formal Logic
ISBN: 1108420060 ISBN-13(EAN): 9781108420068
Издательство: Cambridge Academ
Рейтинг:
Цена: 16268 р.
Наличие на складе: Поставка под заказ.

Описание: Formal logic provides us with a powerful set of techniques for criticizing some arguments and showing others to be valid. These techniques are relevant to all of us with an interest in being skilful and accurate reasoners. In this very accessible book, extensively revised and rewritten for the second edition, Peter Smith presents a guide to the fundamental aims and basic elements of formal logic. He introduces the reader to the languages of propositional and predicate logic, and develops natural deduction systems for evaluating arguments translated into these languages. His discussion is richly illustrated with worked examples and exercises, and alongside the formal work there is illuminating philosophical commentary. This book will make an ideal text for a first logic course and will provide a firm basis for further work in formal and philosophical logic.

Introduction to Languages, Machines and Logic / Computable Languages, Abstract Machines and Formal Logic

Автор: Parkes Alan P.
Название: Introduction to Languages, Machines and Logic / Computable Languages, Abstract Machines and Formal Logic
ISBN: 1852334649 ISBN-13(EAN): 9781852334642
Издательство: Springer
Рейтинг:
Цена: 10388 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book provides an accessible introduction to the most important features of formal languages and automata theory - core topics on computer science degree schemes worldwide. It focuses on the key concepts, illustrating potentially intimidating material through diagrams and pictorial representations, and this edition will include new and expanded coverage of topics such as: reduction and simplification of material on Turing machines; complexity and O notation; propositional logic and first order predicate logic. Aimed primarily at computer scientists rather than mathematicians, algorithms and proofs are presented informally through examples, and there are numerous exercises (many with solutions) and an extensive glossary. This book will be invaluable to students of computer science but it will also prove essential reading to all practitioners needing to know about formal methods.

Introduction to Modern Cryptography, Second Edition

Автор: Katz
Название: Introduction to Modern Cryptography, Second Edition
ISBN: 1466570261 ISBN-13(EAN): 9781466570269
Издательство: Taylor&Francis
Рейтинг:
Цена: 18148 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Cryptography is ubiquitous and plays a key role in ensuring data secrecy and integrity as well as in securing computer systems more broadly. Introduction to Modern Cryptography provides a rigorous yet accessible treatment of this fascinating subject.

The authors introduce the core principles of modern cryptography, with an emphasis on formal definitions, clear assumptions, and rigorous proofs of security. The book begins by focusing on private-key cryptography, including an extensive treatment of private-key encryption, message authentication codes, and hash functions. The authors also present design principles for widely used stream ciphers and block ciphers including RC4, DES, and AES, plus provide provable constructions of stream ciphers and block ciphers from lower-level primitives. The second half of the book covers public-key cryptography, beginning with a self-contained introduction to the number theory needed to understand the RSA, Diffie-Hellman, and El Gamal cryptosystems (and others), followed by a thorough treatment of several standardized public-key encryption and digital signature schemes.

Integrating a more practical perspective without sacrificing rigor, this widely anticipated Second Edition offers improved treatment of:

  • Stream ciphers and block ciphers, including modes of operation and design principles
  • Authenticated encryption and secure communication sessions
  • Hash functions, including hash-function applications and design principles
  • Attacks on poorly implemented cryptography, including attacks on chained-CBC encryption, padding-oracle attacks, and timing attacks
  • The random-oracle model and its application to several standardized, widely used public-key encryption and signature schemes
  • Elliptic-curve cryptography and associated standards such as DSA/ECDSA and DHIES/ECIES

Containing updated exercises and worked examples, Introduction to Modern Cryptography, Second Edition can serve as a textbook for undergraduate- or graduate-level courses in cryptography, a valuable reference for researchers and practitioners, or a general introduction suitable for self-study.

Introduction to Formal Philosophy

Автор: Hansson
Название: Introduction to Formal Philosophy
ISBN: 3319774336 ISBN-13(EAN): 9783319774336
Издательство: Springer
Рейтинг:
Цена: 12621 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This Undergraduate Textbook introduces key methods and examines the major areas of philosophy in which formal methods play pivotal roles. Coverage begins with a thorough introduction to formalization and to the advantages and pitfalls of formal methods in philosophy. The ensuing chapters show how to use formal methods in a wide range of areas. Throughout, the contributors clarify the relationships and interdependencies between formal and informal notions and constructions. Their main focus is to show how formal treatments of philosophical problems may help us understand them better. Formal methods can be used to solve problems but also to express new philosophical problems that would never have seen the light of day without the expressive power of the formal apparatus. ?Formal philosophy merges work in different areas of philosophy as well as logic, mathematics, computer science, linguistics, physics, psychology, biology, economics, political theory, and sociology. This title offers an accessible introduction to this new interdisciplinary research area to a wide academic audience.

Introduction to Formal Philosophy

Автор: Sven Ove Hansson; Vincent F. Hendricks
Название: Introduction to Formal Philosophy
ISBN: 303008454X ISBN-13(EAN): 9783030084547
Издательство: Springer
Рейтинг:
Цена: 8909 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This Undergraduate Textbook introduces key methods and examines the major areas of philosophy in which formal methods play pivotal roles. Coverage begins with a thorough introduction to formalization and to the advantages and pitfalls of formal methods in philosophy. The ensuing chapters show how to use formal methods in a wide range of areas. Throughout, the contributors clarify the relationships and interdependencies between formal and informal notions and constructions. Their main focus is to show how formal treatments of philosophical problems may help us understand them better. Formal methods can be used to solve problems but also to express new philosophical problems that would never have seen the light of day without the expressive power of the formal apparatus. ?Formal philosophy merges work in different areas of philosophy as well as logic, mathematics, computer science, linguistics, physics, psychology, biology, economics, political theory, and sociology. This title offers an accessible introduction to this new interdisciplinary research area to a wide academic audience.

An Introduction to Fuzzy Logic for Practical Applications

Автор: Tanaka
Название: An Introduction to Fuzzy Logic for Practical Applications
ISBN: 0387948074 ISBN-13(EAN): 9780387948072
Издательство: Springer
Рейтинг:
Цена: 28214 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Offers a guide to the basic ideas of fuzzy logic, fuzzy sets, fuzzy relations, and fuzzy reasoning, and shows how they may be applied. This book assumes a basic knowledge of mathematics, and concludes with a chapter on fuzzy logic control. It uses numerous diagrams to illustrated the concepts.

Introduction to the Theory of Logic

Автор: Zalabardo
Название: Introduction to the Theory of Logic
ISBN: 081336602X ISBN-13(EAN): 9780813366029
Издательство: Perseus
Рейтинг:
Цена: 6778 р.
Наличие на складе: Поставка под заказ.

Описание: An introduction to the basic concepts and results of contemporary logic, including a discussion of the basic mathematical tools needed to mastthe technical aspects of the subject.. This book provides a rigorous introduction to the basic concepts and results of contemporary logic. It also presents, in two unhurried chapters, the mathematical tools (mainly from set theory) that are needed to master the technical aspects of the subject. Methods of definition and proof are also discussed at length, with special emphasis on inductive definitions, and proofs and recursive definitions. The book is ideally suited for readers who want to undertake a serious study of logic but lack the mathematical background that other texts at this level presuppose. It can be used as a textbook in graduate and advanced undergraduate courses in logic. Hundreds of exercises are provided. This book provides a rigorous introduction to the basic concepts and results of contemporary logic. It also presents, in two unhurried chapters, the mathematical tools (mainly from set theory) that are needed to master the technical aspects of the subject. Methods of definition and proof are also discussed at length, with

Learning to Reason: An Introduction to Logic, Sets, and Relations

Автор: Nancy Rodgers
Название: Learning to Reason: An Introduction to Logic, Sets, and Relations
ISBN: 047137122X ISBN-13(EAN): 9780471371229
Издательство: Wiley
Рейтинг:
Цена: 27588 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Dispelling the notion that mathematics is about doing computations, Nancy Rodgers shows how to view mathematics as the source for meaningful structures and relations that can be supported with logical reasoning. She proceeds to show readers in an easy-to-follow, friendly style how to improve their reasoning skills as well as the ability to read and write mathemats and symbolic languages.

An Introduction to Non-Classical Logic

Автор: Graham Priest
Название: An Introduction to Non-Classical Logic
ISBN: 0521854334 ISBN-13(EAN): 9780521854337
Издательство: Cambridge Academ
Рейтинг:
Цена: 14643 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This revised and considerably expanded 2nd edition brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant, and fuzzy logics. Part 1, on propositional logic, is the old Introduction, but contains much new material. Part 2 is entirely new, and covers quantification and identity for all the logics in Part 1. The material is unified by the underlying theme of world semantics. All of the topics are explained clearly using devices such as tableau proofs, and their relation to current philosophical issues and debates are discussed. Students with a basic understanding of classical logic will find this book an invaluable introduction to an area that has become of central importance in both logic and philosophy. It will also interest people working in mathematics and computer science who wish to know about the area.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия