Proof and Disproof in Formal Logic: An Introduction for programmers (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk logik
  5. Matematikprogrammer og statistikprogrammer
  6. Matematisk datateori
  7. Proof and Disproof in Formal Logic: An Introduction for...

Proof and Disproof in Formal Logic: An Introduction for programmers

(Bog, Paperback / softback, Engelsk)
Forfatter: Richard (School of Computing Science Bornat
Proof and Disproof in Formal Logic: An Introduction for programmers
Forlag: Oxford University Press

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Matematikprogrammer og statistikprogrammer Matematisk datateori Matematisk logik
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

Introducing formal logic, this book provides insight into how a simple logic works. It concentrates on using logic as a tool, and is divided in to four parts. Aimed at undergraduates and graduates in computer science, logic, mathematics, and philosophy, this text includes reference to and exercises based on the computer software package Jape.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Oxford University Press
Forfatter Richard (School of Computing Science Bornat
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgivelsesdato 21-07-2005
Første udgivelsesår 2005
Serie Oxford Texts in Logic
Illustrationer numerous line drawings and mathematical examples
Originalsprog United Kingdom
Sideantal 264
Indbinding Paperback / softback
Forlag Oxford University Press
Sideoplysninger 264 pages, numerous line drawings and mathematical examples
Mål 239 x 170 x 14
ISBN-13 / EAN-13 9780198530275