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

Concepts of Proof in Mathematics, Philosophy, and Computer Science, Dieter Probst, Peter Schuster


Варианты приобретения
Цена: 20446.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до:
Ориентировочная дата поставки:
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Dieter Probst, Peter Schuster
Название:  Concepts of Proof in Mathematics, Philosophy, and Computer Science
ISBN: 9781501510809
Издательство: Walter de Gruyter
Классификация:


ISBN-10: 1501510800
Обложка/Формат: Hardback
Страницы: 384
Вес: 0.77 кг.
Дата издания: 25.07.2016
Серия: Philosophy
Язык: English
Размер: 234 x 156 x 25
Читательская аудитория: Professional and scholarly
Ключевые слова: Philosophy: epistemology & theory of knowledge,History of mathematics, MATHEMATICS / History & Philosophy,PHILOSOPHY / Epistemology,PHILOSOPHY / Logic,PHILOSOPHY / Methodology
Поставляется из: Германии
Описание: A proof is a successful demonstration that a conclusion necessarily follows by logical reasoning from axioms which are considered evident for the given context and agreed upon by the community. It is this concept that sets mathematics apart from other disciplines and distinguishes it as the prototype of a deductive science. Proofs thus are utterly relevant for research, teaching and communication in mathematics and of particular interest for the philosophy of mathematics. In computer science, moreover, proofs have proved to be a rich source for already certified algorithms. This book provides the reader with a collection of articles covering relevant current research topics circled around the concept proof. It tries to give due consideration to the depth and breadth of the subject by discussing its philosophical and methodological aspects, addressing foundational issues induced by Hilberts Programme and the benefits of the arising formal notions of proof, without neglecting reasoning in natural language proofs and applications in computer science such as program extraction.


Nelson International Mathematics Workbook 1b

Автор: Karen Morrison
Название: Nelson International Mathematics Workbook 1b
ISBN: 1408518929 ISBN-13(EAN): 9781408518922
Издательство: Oxford Education
Рейтинг:
Цена: 1000.00 р.
Наличие на складе: Есть (более 5-х шт.)
Описание: This title has been written specifically for primary schools teaching a UK based curriculum. Written with an international focus it is designed for primary pupils from a range of backgrounds to prepare them for studying mathematics at secondary level.

Nelson International Mathematics Workbook 2b

Автор: Karen Morrison
Название: Nelson International Mathematics Workbook 2b
ISBN: 1408518953 ISBN-13(EAN): 9781408518953
Издательство: Oxford Education
Рейтинг:
Цена: 959.00 р. 1066.00 -10%
Наличие на складе: Есть (2 шт.)
Описание: This title has been written specifically for primary schools teaching a UK based curriculum. Written with an international focus it is designed for primary pupils from a range of backgrounds to prepare them for studying mathematics at secondary level.

Nelson International Mathematics Workbook 1a

Автор: Morrison Karen
Название: Nelson International Mathematics Workbook 1a
ISBN: 1408518910 ISBN-13(EAN): 9781408518915
Издательство: Oxford University Press
Рейтинг:
Цена: 737.00 р.
Наличие на складе: Поставка под заказ.

Описание: This title has been written specifically for primary schools teaching a UK based curriculum. Written with an international focus it is designed for primary pupils from a range of backgrounds to prepare them for studying mathematics at secondary level.

Nelson International Mathematics Workbook 1c

Автор: Karen Morrison
Название: Nelson International Mathematics Workbook 1c
ISBN: 1408518937 ISBN-13(EAN): 9781408518939
Издательство: Oxford Education
Рейтинг:
Цена: 1066.00 р.
Наличие на складе: Заказано в издательстве.

Описание: This title has been written specifically for primary schools teaching a UK based curriculum. Written with an international focus it is designed for primary pupils from a range of backgrounds to prepare them for studying mathematics at secondary level.

Nelson International Mathematics Kindergarten Workbook

Автор: Morrison Karen
Название: Nelson International Mathematics Kindergarten Workbook
ISBN: 1408519011 ISBN-13(EAN): 9781408519011
Издательство: Oxford Education
Рейтинг:
Цена: 853.00 р. 1066.00 -20%
Наличие на складе: Есть (1 шт.)
Описание: This title has been written specifically for primary schools teaching a UK based curriculum. Written with an international focus it is designed for primary pupils from a range of backgrounds to prepare them for studying mathematics at secondary level.

Nelson International Mathematics Workbook 2c

Автор: Morrison Karen
Название: Nelson International Mathematics Workbook 2c
ISBN: 1408518961 ISBN-13(EAN): 9781408518960
Издательство: Oxford Education
Рейтинг:
Цена: 1066.00 р.
Наличие на складе: Есть (1 шт.)
Описание: This title has been written specifically for primary schools teaching a UK based curriculum. Written with an international focus it is designed for primary pupils from a range of backgrounds to prepare them for studying mathematics at secondary level.

Nelson International Mathematics Workbook 2a

Автор: Morrison Karen
Название: Nelson International Mathematics Workbook 2a
ISBN: 1408518945 ISBN-13(EAN): 9781408518946
Издательство: Oxford Education
Рейтинг:
Цена: 1066.00 р.
Наличие на складе: Поставка под заказ.

Описание: This title has been written specifically for primary schools teaching a UK based curriculum. Written with an international focus it is designed for primary pupils from a range of backgrounds to prepare them for studying mathematics at secondary level.

Philosophy of mathematics and natural science

Автор: Weyl, Hermann
Название: Philosophy of mathematics and natural science
ISBN: 0691141207 ISBN-13(EAN): 9780691141206
Издательство: Wiley
Рейтинг:
Цена: 8712.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Examines how advances in philosophy were led by scientific discoveries - the more humankind understood about the physical world, the more curious we became. Drawing on work by Descartes, Galileo, Hume, Kant, Leibniz, and Newton, this book helps readers understand science through the lens of philosophy.

Discrete Mathematics Using a Computer

Автор: O`Donnell
Название: Discrete Mathematics Using a Computer
ISBN: 1846282411 ISBN-13(EAN): 9781846282416
Издательство: Springer
Рейтинг:
Цена: 6981.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Offers a "hands-on" approach to teaching Discrete Mathematics. This second edition contains additional material on the applications of formal methods to practical programming problems. Designed for 1st and 2nd year undergraduates, it is also well suited for self-study.

Concepts, techniques, and models of computer programming

Автор: Roy, Peter Van Haridi, Seif
Название: Concepts, techniques, and models of computer programming
ISBN: 0262220695 ISBN-13(EAN): 9780262220699
Издательство: MIT Press
Рейтинг:
Цена: 11642.00 р.
Наличие на складе: Нет в наличии.

Описание: This innovative text presents computer programming as a unified discipline in a way that is both practical and scientifically sound. It presents all major programming paradigms in a uniform framework that shows their deep relationships and how and where to use them together.

Genetics Essentials. Concepts and Connections. - 3th ed.

Автор: Pierce Benjamin A
Название: Genetics Essentials. Concepts and Connections. - 3th ed.
ISBN: 1464190755 ISBN-13(EAN): 9781464190759
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Поставка под заказ.

Описание: Derived from Ben Pierce's popular and acclaimed Genetics: A Conceptual Approach, this streamlined text covers basic transmission, molecular, and population genetics.

Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version

Автор: Reghis
Название: Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version
ISBN: 0849331978 ISBN-13(EAN): 9780849331978
Издательство: Taylor&Francis
Рейтинг:
Цена: 16843.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presents coverage of the fundamentals of two-valued logic, multivalued logic, and fuzzy logic. Exploring the parallels between classical and fuzzy mathematical logic, this book examines the use of logic in computer science, addresses questions in automatic deduction, and describes efficient computer implementation of proof techniques.


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