Udvidet returret til d. 31. januar 2025

Logic for Computer Scientists

Bag om Logic for Computer Scientists

This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. It presents applications and themes of computer science research such as resolution, automated deduction, and logic programming in a rigorous but readable way.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780817647629
  • Indbinding:
  • Paperback
  • Sideantal:
  • 168
  • Udgivet:
  • 11. januar 2008
  • Udgave:
  • 1198922008
  • Størrelse:
  • 162x236x12 mm.
  • Vægt:
  • 320 g.
  • BLACK WEEK
  Gratis fragt
Leveringstid: 8-11 hverdage
Forventet levering: 9. december 2024

Beskrivelse af Logic for Computer Scientists

This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. It presents applications and themes of computer science research such as resolution, automated deduction, and logic programming in a rigorous but readable way.

Brugerbedømmelser af Logic for Computer Scientists



Find lignende bøger
Bogen Logic for Computer Scientists findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.