_____ _ _____ _______ _____ _ ____ _ _ _______ _ ____ _ _
| __ \(_)/ ____|__ __| __ \(_) _ \| | | |__ __(_)/ __ \| \ | |
| | | |_| (___ | | | |__) |_| |_) | | | | | | _| | | | \| |
| | | | |\___ \ | | | _ /| | _ <| | | | | | | | | | | . ` |
| |__| | |____) | | | | | \ \| | |_) | |__| | | | | | |__| | |\ |
|_____/|_|_____/ |_| |_| \_\_|____/ \____/ |_| |_|\____/|_| \_|
Gives You
Studentlitteratur.AB.Logik.Med.Tillampningar.2007.SWEDiSH.Retail.Ebook-DiSTRiBUTiON
Supplied.By... : TEAM DiSTRiBUTiON
Release.Date.. : 2011-09-26
Store.Date.... :
Publisher..... : Studentlitteratur AB
Language...... : Swedish
Genre......... : Ebook
System........ : Retail
Protection.... : Condom
Disksize...... : 1 x 5,000 MB
R E L E A S E I N F O
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.
C O N T A C T U S
Contact: distribution@hushmail.com
Wanted: Hot chicks and beer