Formel logik byder på en grundlæggende og lettilgængelig introduktion til klassisk doms- og prædikatslogik med særligt fokus på semantiske metoder som sandhedstabeller og semantiske træer. Denne tilgang giver læseren en effektiv måde at forstå centrale logiske begreber såsom gyldighed, formalisering, fortolkning, model og modeksempel. Med en klar, kontant formidling og et væld af pædagogiske eksempler og øvelser, er bogen ideel til undervisning på universitetsniveau. Publikationen fra 2006 af Århus Universitetsforlag præsenterer stoffet på en måde, der gør den til en værdifuld ressource for både studerende og undervisere, som ønsker et solidt fundament i logikkens verden.
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.