Norges billigste bøker

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.
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 20. januar 2025
Utvidet returrett til 31. januar 2025
  •  

    Kan ikke leveres før jul.
    Kjøp nå og skriv ut et gavebevis

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.