De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Logic for Computer Scientists

Logic for Computer Scientists

af Uwe Schoening

indgår i Modern Birkhauser Classics serien

Logic for Computer Scientists af Uwe Schoening
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.
  • 8-11 hverdage.
  • 16. januar 2025
På lager
Forlænget returret til d. 31. januar 2025
  •  

    Kan ikke leveres inden jul.
    Køb nu og print et gavebevis

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

Bag om Uwe Schoening

Vis alle bøger af Uwe Schoening

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



Andre købte også..
Find lignende bøger
Bogen Logic for Computer Scientists findes i følgende kategorier: