Studiesalg.dk
* Plusbog medlemspris. Få 7 dages gratis medlemsskab uden binding.
"Logic for Mathematicians" er en grundig introduktion til den matematiske logiks teknikker og vigtigste resultater, skrevet af A. G. Hamilton og udgivet af Cambridge University Press. Denne lærebog er målrettet både kommende logikere samt matematikstuderende og professionelle, hvis faglige baggrund blot behøver at omfatte det typiske pensum fra matematikkens første studieår. Indholdet bygger på forfatterens forelæsninger for matematikstuderende på tredje og fjerde år ved University of Stirling. Bogen indledes på et elementært niveau og guider læseren fra uformelle diskussioner til en præcis forståelse og anvendelse af formelle logiske systemer. De tidlige kapitler gennemgår udsagns- og prædikatlogik, hvorefter de senere kapitler dykker ned i Gödels ufuldstændighedssætning for aritmetik samt forskellige resultater inden for ubeslutbarhed og uløselighed. Dette inkluderer også en diskussion af Turing-maskiner og abstrakt beregnelighed. Emnerne præsenteres uden forudindtagede holdninger til bestemte retninger, for i stedet at sætte logikken i en bredere matematisk kontekst og understrege dens relevans for matematikere. Hvert afsnit afsluttes med øvelser, der hjælper med at afklare og konsolidere læringen, og der medfølger hints eller løsninger til mange af dem bagerst i den 240 sider lange bog. Denne anden udgave i paperback fra 1988 bygger videre på den succesfulde første udgave og inkluderer rettelser, ekstra øvelser samt helt nye sektioner om Skolemisation og anvendelsen af velformede formler i logikprogrammering.
Studiesalg.dk er en markedsplads hvor studerende i hele landet kan handle direkte med
hinanden.
Vores betalingsystem sikrer, at du både som køber og sælger er beskyttet, i alt lige fra
betaling, forsendelse og godkendelse af bøgerne.
Vi kræver MitID verificering af både sælger og køber. Dette er med til at sikre begge parter en god oplevelse og undgå svindel af enhver art.
Betal online med MobilePay. Vi opbevarer betalingen, og udbetaler først pengene til sælger når bøgerne er leveret og godkendt.
Sælg nemt dine bøger videre når du ikke længere har brug for dem. Med vores web-app er det nemt at scanne stregkoder og tage billeder af dine bøger.
