Black Week: Spar op til 85% Spar op til 85% på et kæmpe udvalg af gode bøger
Udvidet returret til d. 31. januar 2025
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 - Uwe Schoening - Bog

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.
  • 9. december 2024
På lager

Normalpris

  • BLACK WEEK

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

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:

Gør som tusindvis af andre bogelskere

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