Utvidet returrett til 31. januar 2025

Logic for Computer Scientists

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 mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9780817647629
  • Bindende:
  • Paperback
  • Sider:
  • 168
  • Utgitt:
  • 11. januar 2008
  • Utgave:
  • 1198922008
  • Dimensjoner:
  • 162x236x12 mm.
  • Vekt:
  • 320 g.
  • BLACK NOVEMBER
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 18. desember 2024

Beskrivelse av 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.

Brukervurderinger av Logic for Computer Scientists



Finn lignende bøker
Boken Logic for Computer Scientists finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.