Articoli correlati a A Logical Approach to Discrete Math
Sinossi
Here, the authors strive to change the way logic and discrete math are taught in computer science and mathematics: while many books treat logic simply as another topic of study, this one is unique in its willingness to go one step further. The book traets logic as a basic tool which may be applied in essentially every other area.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Recensione
"This is a rather extraordinary book, and deserves to be read by everyone involved in computer science and - perhaps more importantly - software engineering. I recommend it highly... If the book is taken seriously, the rigor that it unfolds and the clarity of its concepts could have a significant impact on the way in which software is conceived and developed." - Peter G. Neumann
Contenuti
0 Using Mathematics.- 1 Textual Substitution, Equality, and Assignment.- 2 Boolean Expressions.- 3 Propositional Calculus.- 4 Relaxing the Proof Style.- 5 Applications of Propositional Calculus.- 6 Hilbert-style Proofs.- 7 Formal Logic.- 8 Quantification.- 9 Predicate Calculus.- 10 Predicates and Programming.- 11 A Theory of Sets.- 12 Mathematical Induction.- 13 A Theory of Sequences.- 14 Relations and Functions.- 15 A Theory of Integers.- 16 Combinatorial Analysis.- 17 Recurrence Relations.- 18 Modern Algebra.- 19 A Theory of Graphs.- 20 Infinite Sets.- References.- Theorems of the propositional and predicate calculi.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSpringer Nature
- Data di pubblicazione1993
- ISBN 10 0387941150
- ISBN 13 9780387941158
- RilegaturaCopertina rigida
- LinguaInglese
- Numero di pagine516
- Contatto del produttorenon disponibile
Compra usato
Condizioni: discretoReadable copy. Pages may have considerable...
Visualizza questo articolo
EUR 13,88
EUR 12,80 per la spedizione da U.S.A. a Italia
Destinazione, tempi e costiCompra nuovo
Visualizza questo articolo
EUR 26,80
EUR 32,89 per la spedizione da U.S.A. a Italia
Destinazione, tempi e costiAltre edizioni note dello stesso titolo
Risultati della ricerca per A Logical Approach to Discrete Math
Foto dell'editore
A Logical Approach to Discrete Math
Da: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less 1.97. Codice articolo G0387941150I5N00
Quantità: 1 disponibili
Foto dell'editore
A Logical Approach to Discrete Math
Da: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.97. Codice articolo G0387941150I3N00
Quantità: 1 disponibili
Foto dell'editore
A Logical Approach to Discrete Math
Editore:
Springer New York, 1993
ISBN 10: 0387941150
ISBN 13: 9780387941158
Antico o usato
Rilegato
Prima edizione
Da: Better World Books, Mishawaka, IN, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Very Good. 1st Edition. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects. Codice articolo 13581776-6
Quantità: 1 disponibili
Foto dell'editore
A Logical Approach to Discrete Math (Texts and Monographs in Computer Science)
Da: Anybook.com, Lincoln, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Poor. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In poor condition, suitable as a reading copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1000grams, ISBN:0387941150. Codice articolo 9786254
Quantità: 1 disponibili
Foto dell'editore
A Logical Approach to Discrete Math (Monographs in Computer Science)
Da: Anybook.com, Lincoln, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1000grams, ISBN:9780387941158. Codice articolo 9779755
Quantità: 1 disponibili
Foto dell'editore
A Logical Approach to Discrete Math (Monographs in Computer Science)
Da: Anybook.com, Lincoln, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In fair condition, suitable as a study copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1000grams, ISBN:9780387941158. Codice articolo 9779756
Quantità: 1 disponibili
Foto dell'editore
A Logical Approach to Discrete Math (Monographs in Computer Science)
Da: Anybook.com, Lincoln, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In fair condition, suitable as a study copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1050grams, ISBN:9780387941158. Codice articolo 4125250
Quantità: 1 disponibili
Foto dell'editore
A Logical Approach to Discrete Math (Texts and Monographs in Computer Science)
Da: Friends of Johnson County Library, Lenexa, KS, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. Hardcover book. The exterior can have some minor wear. The pages appear to be clean and unmarked. All items ship Monday - Saturday - Fast Shipping in a secure package. Your purchase will help support the programs and collections of the Johnson County (Kansas) Library. Codice articolo 53DTTR000R3N
Quantità: 1 disponibili
Foto dell'editore
A LOGICAL APPROACH TO DISCRETE MATH
Da: Viking Book, Glenwood, MN, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Very Good Plus. Very light wear and completely clean and square. Very nice copy. Codice articolo 033363
Quantità: 1 disponibili
Foto dell'editore
A Logical Approach to Discrete Math
Editore:
Springer, New York, 1993
ISBN 10: 0387941150
ISBN 13: 9780387941158
Antico o usato
Rilegato
Prima edizione
Da: Webbooks, Wigtown, Wigtown, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hard Cover. Condizione: Good. No Jacket. First Edition. From an academic library with the usual stamps etc. This item is heavy and will attract postal surcharges. A00023739. Codice articolo A00023739
Quantità: 1 disponibili