Deze website maakt gebruik van cookies. Klik hier voor meer informatie.X sluit
Uitgebreid zoeken
Boek

Elementary Logic

For Software Development

Elementary Logic - Lover, Robert - ISBN: 9781848000810
Prijs: € 45,70
Levertijd: 12 tot 15 werkdagen
Bindwijze: Boek
Genre: Theoretische informatica
Boekenliefde.nl:
Elementary Logic op boekenliefde.nl
Add to cart

Beschrijving

This Book Teaches Readers How To Better Reason About Software Development. It Teaches How To Communicate Reasoning, To Distinguish Between Good And Bad Reasoning, And To Read Professional Literature That Presumes Knowledge Of Elementary Logic.

Details

Titel: Elementary Logic
auteur: Lover, Robert
Mediatype: Boek
Taal: Engels
Aantal pagina's: 314
Uitgever: Springer London Ltd
Plaats van publicatie: 03
NUR: Theoretische informatica
Afmetingen: 235 x 155
Gewicht: 478 gr
ISBN/ISBN13: 9781848000810
Intern nummer: 9241052

Inhoudsopgave

Part I: Language and Logical Form.- Atomic Statements.- Compound Statements.- Quantified Statements.- Expressing Arguments.- Defining Data Structures.- Expressing Problem Specifications.- Expressing Program Designs.- Part II: Material Truth.- Truth for Statements with At Most One Connective.- Truth for Statements with Multiple Connectives.- Tracing Program Execution.-Part III: Truth Functional Forms.- Truth Functional Properties of Program Designs.- Quantified Forms.- Logical Equivalence.- Logical Implication and Validity.- Rules of Inference.- Proof.- Algorithmic Unsolvability Proofs.- Program Correctness Proofs.- What Else is There?.- Sources and Bibliography.- Index

Winkelvoorraad

Dit product is op dit moment niet op voorraad in een van onze vestigingen.