Hitta e-boken

Logik med tillämpningar

Logik med tillämpningar
Studentlitteratur AB,
9144006039
E-bok
ePub PDF ePub (DE) PDF (DE)
Den formella logiken utvecklades under nittonhundratalet till en bred matematisk teoribildning vars begrepp och resultat har fått slående tillämpningar inom beräkningsteori, datalogi och matematik. Samtidigt har ämnet i högsta grad sin anknytning till grunderna för det logiska tänkandet, och den moderna logiken har gett djupa insikter i den axiomatiska metodens möjligheter och begränsningar.

Boken presenterar ett urval av den formella logikens centrala begrepp, resultat och tillämpningar, däribland fullständighetssatsen för predikatlogiken, Gödels ofullständighetssats, avgörbarheten hos teorin för de reella talen, det konstruerbara universum som modell av axiomatisk mängdlära. Framställningen kombinerar matematisk precision med informella förklaringar och diskussioner avsedda att belysa de centrala begreppen. Boken innehåller också många övningsuppgifter, delvis med lösningar.
  • Vänta lite...

  • Hämtar priser... Det kan ta upp till 1 minut.
  • Prenumerationstjänster

  • kr

  • Köp e-boken online

    Priser från 0 - 0 kr

  • kr

Priserna hämtas dagligen från resp. butiks hemsida.
  • Köp e-boken online

  • Den här boken säljs inte i någon butik
  • Låna e-boken på biblioteket

  • Låna e-boken på biblioteket

  • Tyvärr tillåter inte Elib längre att Hitta e-boken gör e-bokslån. Du behöver därför låna e-böcker via ditt biblioteks sajt. Har du testat Storytel? Hos Storytel kan du läsa e-böcker och ljudböcker till en fast månadskostnad. Du kan prova gratis i två veckor.

Låna bok på biblioteket

För att läsa lånade böcker på Windows eller Mac OSX behöver du använda gratisprogrammet Adobe Digital Editions.

Available in the App Store För att läsa låneböcker iPad och iPhone behöver du en app som kan hantera Adobe Digital Edition, t ex Bluefire Reader.

Ladda ner hos Google Play För att läsa låneböcker på Android behöver du en app som kan hantera Adobe Digital Edition, t ex Aldiko.

Avbryt

Du kan endast låna e-böcker om du har en pinkod till ditt lånekort och ditt bibliotek använder sig av pinkod vid inloggning. Om du saknar pinkod, låna boken direkt hos Elib istället.

Din bok laddas nu ner...

Klart!

Din bok laddas nu ner. Om den inte öppnas automatiskt så titta i din nedladdnings-hanterare och öppna filen därifrån.

Stäng