Artículos relacionados a Foundations of Logic and Mathematics: Applications...

Foundations of Logic and Mathematics: Applications to Computer Science and Cryptography - Tapa dura

 
9780817642495: Foundations of Logic and Mathematics: Applications to Computer Science and Cryptography

Sinopsis

This modern introduction to the foundations of logic and mathematics not only takes theory into account, but also treats in some detail applications that have a substantial impact on everyday life (loans and mortgages, bar codes, public-key cryptography). A first college-level introduction to logic, proofs, sets, number theory, and graph theory, and an excellent self-study reference and resource for instructors.

"Sinopsis" puede pertenecer a otra edición de este libro.

Críticas

From the reviews:

"The book under review covers the topics which can usually be found in textbooks of discrete mathematics for students in computer science or mathematics (Boolean logic, predicate calculus, sets and functions, induction, integers, rational numbers, cardinality, modular arithmetic, cryptography, combinatorics, probability, graphs) as well as more advanced topics in mathematical logic (intuitionistic logic, transfinite induction). While the range of topics is relatively standard, the way they are presented is highly original. The author has chosen a strictly formal and axiomatic approach. All the results are proved in full detail from first principles . . . remarkably, all the arithmetic laws on the rational numbers are proved, step after step, starting from the very definitions! . . . a valuable reference text and a useful companion for anybody wondering how the basic mathematical concepts can be rigorously developed within set theory. The author has managed to combine the foundational approach with a careful treatment of many applications. More than 1000 exercises complete the text. ...All the results are proved in full detail from first principles...remarkably, the arithmetic laws on the rational numbers are proved, step after step, starting from the very definitions!...This is a valuable reference text and a useful companion for anybody wondering how basic mathematical concepts can be rigorously developed within set theory."

—MATHEMATICAL REVIEWS

"In order to give an idea of the originality of this book in combining theoretical and applied issues, having a source in everyday life and a strong impact on civilization, let us mention that the first section of Part A includes a typology of proofs and of theorems. The section on induction includes arithmetic in finance.  The section on decidability includes a chapter on automatic theorem proving. Section 6 in Part B describes the Enigma machines: how the German machine cipher was broken and how it was read by the Allies in World War Two.  Rigorous and modern in its theoretical aspect, attractive as a detective novel in its applied aspects, this paper book deserves the attention of both beginners and advanced students in mathematics, logic and computer sciences as well as in social sciences."

---Zentralblatt MATH

“This book could serve as a text and as a reference; it has a different presentation style. ... The book is divided in two parts; Part A is titled Theory and Part B Applications. It has a five and a half page bibliography, and a 13 page extensive index. ... The book provides detailed coverage of topics on Logic and Mathematics. The two part presentation of theory and applications is well thought out. ... the exercises provided are exhaustive.” (Saif Terai, The Book Review Column, 2011)

Reseña del editor

This modern introduction to the foundations of logic and mathematics not only takes theory into account, but also treats in some detail applications that have a substantial impact on everyday life (loans and mortgages, bar codes, public-key cryptography). A first college-level introduction to logic, proofs, sets, number theory, and graph theory, and an excellent self-study reference and resource for instructors.

"Sobre este título" puede pertenecer a otra edición de este libro.

  • EditorialBirkhauser Boston
  • Año de publicación2001
  • ISBN 10 0817642498
  • ISBN 13 9780817642495
  • EncuadernaciónTapa dura
  • IdiomaInglés
  • Número de páginas415
  • Contacto del fabricanteno disponible

Comprar usado

Condición: Aceptable
Ships from the UK. Former library...
Ver este artículo

EUR 5,96 gastos de envío desde Reino Unido a España

Destinos, gastos y plazos de envío

Otras ediciones populares con el mismo título

9781461266235: Foundations of Logic and Mathematics: Applications to Computer Science and Cryptography

Edición Destacada

ISBN 10:  1461266238 ISBN 13:  9781461266235
Editorial: Birkhäuser, 2012
Tapa blanda

Resultados de la búsqueda para Foundations of Logic and Mathematics: Applications...

Imagen de archivo

Nievergelt, Yves
Publicado por Birkhäuser Boston, 2001
ISBN 10: 0817642498 ISBN 13: 9780817642495
Antiguo o usado Tapa dura

Librería: Better World Books Ltd, Dunfermline, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: Good. Ships from the UK. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Nº de ref. del artículo: 9177354-75

Contactar al vendedor

Comprar usado

EUR 11,29
Convertir moneda
Gastos de envío: EUR 5,96
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Nievergelt, Yves
Publicado por Birkhäuser Boston, 2001
ISBN 10: 0817642498 ISBN 13: 9780817642495
Antiguo o usado Tapa dura

Librería: Better World Books, Mishawaka, IN, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: Very Good. Used book that is in excellent condition. May show signs of wear or have minor defects. Nº de ref. del artículo: 50734993-6

Contactar al vendedor

Comprar usado

EUR 17,88
Convertir moneda
Gastos de envío: EUR 22,48
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Yves Nievergelt
Publicado por Birkhäuser Boston, 2001
ISBN 10: 0817642498 ISBN 13: 9780817642495
Antiguo o usado Tapa dura

Librería: suspiratio - online bücherstube, Basel, Suiza

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Hardcover. Condición: Gut. geringe lagerspuren am cover, sonst gut. Nº de ref. del artículo: a781-fv

Contactar al vendedor

Comprar usado

EUR 37,00
Convertir moneda
Gastos de envío: EUR 14,99
De Suiza a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Yves Nievergelt
ISBN 10: 0817642498 ISBN 13: 9780817642495
Antiguo o usado Tapa dura

Librería: BooksRun, Philadelphia, PA, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Hardcover. Condición: Good. 2002. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported. Nº de ref. del artículo: 0817642498-11-1

Contactar al vendedor

Comprar usado

EUR 17,37
Convertir moneda
Gastos de envío: EUR 66,16
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Nievergelt, Yves
Publicado por Birkhäuser, 2001
ISBN 10: 0817642498 ISBN 13: 9780817642495
Antiguo o usado Tapa dura

Librería: Mispah books, Redhill, SURRE, Reino Unido

Calificación del vendedor: 4 de 5 estrellas Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

Hardcover. Condición: Like New. Like New. book. Nº de ref. del artículo: ERICA70408176424985

Contactar al vendedor

Comprar usado

EUR 83,49
Convertir moneda
Gastos de envío: EUR 29,80
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito