The Essence of Logic
Afbeeldingen
Sla de afbeeldingen over
Artikel vergelijken
Uitgever: Pearson Education (Us)
Auteur:
John Kelly
Kelly
- Engels
- Paperback
- 9780133963755
- 27 september 1996
- 280 pagina's
Samenvatting
The Prentice Hall Essence of Computing Series provides a concise, practical and uniform introduction to the core components of an undergraduate computer science degree. Acknowledging recent changes within Higher Education, this approach uses a variety of pedagogical tools, case studies, worked examples and self-test questions to underpin the students's learning. This book is a concise introduction to formal logic. Written for undergraduates, it makes no excessive demands on previous mathematical knowledge, requiring little maturity in mathematical thinking. The main objective of the book is in preparing the reader for the analysis and application of techniques of logic in computing. A wide range of topics in mathematical logic are covered with each new idea introduced in a gentle, yet brisk fashion which quickly leads to the development of important skills. Beginning with the Truth Tables, the reader is introduced to the concepts of Boolean Algebra and thus logical propositions and truth values. Propositional Logic is explored through the use of the methods of Semantic Tableaux, Natural Deduction and the Sequent Calculus. More formal Axiomatic systems are examined and illustrated with some important theorems about such systems. Properties of soundness. completeness and consistency are explained in terms of Propositional systems. Resolution is presented for Propositional Logic in preparation for an understanding of its use in computer science. The book then turns to the First Order Predicate Logic, revising the now familiar topics of deduction and semantic tableaux, as well as soundness completeness and consistency. Resolution is re-examined and the application of First Order Predicate Logic in computing is investigated.
Productspecificaties
Wij vonden geen specificaties voor jouw zoekopdracht '{SEARCH}'.
Inhoud
- Taal
- en
- Bindwijze
- Paperback
- Oorspronkelijke releasedatum
- 27 september 1996
- Aantal pagina's
- 280
- Illustraties
- Nee
Betrokkenen
- Hoofdauteur
- John Kelly
- Tweede Auteur
- Kelly
- Hoofduitgeverij
- Pearson Education (Us)
Overige kenmerken
- Editie
- 1
- Product breedte
- 10 mm
- Product hoogte
- 10 mm
- Product lengte
- 10 mm
- Studieboek
- Ja
- Verpakking breedte
- 156 mm
- Verpakking hoogte
- 234 mm
- Verpakking lengte
- 234 mm
- Verpakkingsgewicht
- 420 g
EAN
- EAN
- 9780133963755
Je vindt dit artikel in
- Categorieën
- Beschikbaarheid
- Leverbaar
- Boek, ebook of luisterboek?
- Boek
- Taal
- Engels
- Studieboek of algemeen
- Studieboeken
Kies gewenste uitvoering
Bindwijze
: Paperback
Editie
: 1
Prijsinformatie en bestellen
De prijs van dit product is 29 euro en 92 cent. Dit is een tweedehands product.
Alleen tweedehands
Goed
Ref2399
Ref2399
1 - 2 weken
Verkoop door
BAY EXPRESS
- Bestellen en betalen via bol
- Prijs inclusief verzendkosten, verstuurd door BAY EXPRESS
- 30 dagen bedenktijd en gratis retourneren
Shop dit artikel
Vaak samen gekocht
Rapporteer dit artikel
Je wilt melding doen van illegale inhoud over dit artikel:
- Ik wil melding doen als klant
- Ik wil melding doen als autoriteit of trusted flagger
- Ik wil melding doen als partner
- Ik wil melding doen als merkhouder
Geen klant, autoriteit, trusted flagger, merkhouder of partner? Gebruik dan onderstaande link om melding te doen.