Formel logik

Af: Crispin Wright;Stephen Read

148,75 kr

På lager

ISBN

9788779341142

Formel logik er en grundlæggende, lettilgængelig indføring i klassisk doms- og prædikatslogik beregnet til undervisning på universitetsniveau. Den fokuserer på de semantiske metoder - sandhedstabeller og semantiske træer - frem for bevisteori. Derved giver den et klart og let tilgængeligt overblik over logiske nøglebegreber som ´gyldighed´, ´formalisering´, ´fortolkning´, ´model´ og ´modeksempel´. Dens kontante og præcise form såvel som de mange pædagogiske eksempler og øvelser har gjort den til en populær lærebog på introducerende logikkurser i gymnasiet og på videregående uddannelsesinstitutioner i Storbritannien, Australien og USA.

Med denne oversættelse foreligger den nu for første gang på dansk.

Specifikationer

Specifikationer
Forfatter	Crispin Wright;Stephen Read
Forlag	Aarhus Universitetsforlag
Indbinding	Hæftet
Thema koder	Filosofi: logik
Varegruppe	Filosofi
Ekspedition	DBK
Udgivelsesdato	20. sep. 2006
Sideantal	93
Bredde	158
Højde	230
Dybde	6
Vægt	202
Første udgave	2006
Oplagsdato	26. sep. 2011
Oplag	2
Udgave	1
ISBN-13	9788779341142
ISBN-10	8779341144
EAN	9788779341142
Sprog	dan
Orignalsprog	eng
Oversætter	Lars Bo Gundersen¤Jens Kristian Mathiasen
Illustreret i farver/sh	Nej

Boginfo

BoghandelensVaregruppe	Filosofi	Oplysningen om varegruppen bruges af boghandleren til at vurdere, hvor i butikken produktet skal placeres. Den indgår desuden i mange boghandleres omsætningsstatistikker og endelig bliver den af nogle boghandlere (både fysiske butikker og internetboghandlere) brugt som grundlag for emnesøgninger. Det er altså meget vigtigt at der vælges en varegruppe, der skal være så præcis som den grove inddeling nu tillader det. Du kan kun vælge en gruppe. Ved tryk på piletasten til højre i feltet, kommer en rulleliste frem.
EkspeditionsID	6	Du vælger forlagsekspedition samtidig med, at du vælger rabatkoden. Dine muligheder findes i rullelisten. Hvis dit forlag benytter sig af mere end én ekspedition, skal du være opmærksom på at vælge den rigtige. Du kan kun knytte én ekspedition til den enkelte post. Du kan altså ikke sige, at du både ekspederer fra forlagets adressen (egen ekspedition) og fra f.eks. DBK. Dine valgmuligheder afspejler de oplysninger, vi har modtaget om forlaget inden adgangen til ForlagOnline blev etableret. Hvis du skifter eksepedition, så husk at orientere os. Kun på den måde kan vi sikre, at du har de rigtige valgmuligheder.
Varetype	1
Materialekode	Papir-bog
EANBeregnet	9788779341142	EAN-13 er den stregkode, der forventes at være på udgivelsen ud fra en beregning med udgangspunkt i ISBN. Den beregnede kode kan ikke rettes. Feltet kan være tomt, da det ikke er alle udgivelser, som har et ISBN. Hvis stregkoden imod forventning ikke er dannet i overensstemmelse med ISBN, eller der er tale om et ikke bogligt materiale uden brug af ISBN, så skrives varens stregkode i feltet EAN korrekt.
ISBN	978-87-7934-114-2
BOPISBN13	9788779341142
Bogklubbog	ikke bogklubbog/vare.
Subskriptionsbog	ikke subskriptionsbog
Er varen til videresalg	Yes	Som udgangspunkt vil den udgivelse der oprettes være beregnet til videresalg. Dvs. at boghandleren hjemtager varen for at sælge den. I sjældne tilfælde er en oprettelse imidlertid ikke beregnet på videresalg. Det kan f.eks. være markedsføringsmaterialer, smudsomslag eller inventar til udstilling.
Titel	Formel logik	Når der er indlæst data fra Dansk Bogfortegnelse, er det ikke længere muligt at rette i dette felt.
Varetekst	Formel logik	Varetekst til fakturaer og varekartoteker. Teksten dannes automatisk og rummer elementer fra titel, undertitel, bind, serietitel, supplementstitel og nogle gange forfatterens efternavn. Vareteksten er maksimalt 60 karakterer lang.
Varetekst_Låst	Nej / ikke låst
Titel_Del_Hovedtitel	Formel logik
EkspeditionsVaretekst	Formel logik	Hvis posten opdateres med filopdateringer fra forlagets ekspedition, vil ekspeditionens varetekst blive vist her. Der er filopdateringer fra DBK, NBC, Dafolo, Praxis (EF) og Scanvik.
BookScan-Titel	Formel logik
Ombyttes	Yes
Kan returneres	No
Kædetitel	False
Forlagstekst	Formel logik er en grundlæggende, lettilgængelig indføring i klassisk doms- og prædikatslogik beregnet til undervisning på universitetsniveau. Den fokuserer på de semantiske metoder - sandhedstabeller og semantiske træer - frem for bevisteori. Derved giver den et klart og let tilgængeligt overblik over logiske nøglebegreber som ´gyldighed´, ´formalisering´, ´fortolkning´, ´model´ og ´modeksempel´. Dens kontante og præcise form såvel som de mange pædagogiske eksempler og øvelser har gjort den til en populær lærebog på introducerende logikkurser i gymnasiet og på videregående uddannelsesinstitutioner i Storbritannien, Australien og USA. Med denne oversættelse foreligger den nu for første gang på dansk.	En fri tekst der beskriver produktets indhold og ikke ydre forhold som f.eks. udsalgsperiode, priser og ISBN henvisninger. Disse accepteres ikke. Teksten må ikke være her og nu orienteret. Vi anbefaler ca. 200 ord og maksimum 1.500 tegn alt inkl. Teksten bør fokusere på indhold og målgruppe frem for at udgøre en masse anmeldercitater. Tænk på at kunden skal have gode oplysninger om udgivelsen for at kunne afgøre om det vil være det rigtige at købe netop denne udgivelse. Teksten må ikke indeholde pling (’) eller anførselstegn/gåseøjne (”). Brug evt. accent ` (Det er systemtekniske forhold der er årsagen til dette krav, også selvom accent ikke er grammatisk korrekt.) Titler kursiveres hele vejen igennem teksten. Dette gælder såvel produktets titel som andre titler nævnt i forlagsteksten. Forfatternavne skal ikke fremhæves. Citater indfattes i rigtige citationstegn (ikke at forveksle med gåseøje) » og «. ( Hold alt-knappen nede og tast 175 for » og 174 for «). De skal være med kildeangivelse og må maksimalt udgøre 10% af den citerede tekst. Punktopstilling accepteres (normale bullets - ingen specielle tegn) Brug af koder til at ændre skriftfarve eller font fjernes. Brug af versalskrift accepteres ikke. Links accepteres ikke, da det er helt umuligt at vedligeholde sådanne links. Hvis der henvises til links som kildeangivelse fjerner BogInfo-redaktionen henvisningen. Ved oplysning om mulighed for download (f.eks. ved opgaver), skriv da ´på seriens hjemmeside´ eller hvad der er hensigtsmæssigt. Oplysninger om kommercielle forhold eller ISBN fjernes
Anden information	Oversat fra engelsk
ForlagsNavn	Aarhus Universitetsforlag	Her skrives forlagets navn sådan som det er trykt på bogens titelblad. Det er ikke muligt at ændre navnet i forbindelse med at udgivelsen overdrages fra et forlag til et andet.
Note om udgavens oplag	1. oplag. 2006. 2. oplag. 2011
Medforfatter	Stephen Read, Crispin Wright	Når udgivelsen har mere end én forfatter skrives de alle i fri tekst med Fornavn efterfulgt af Efternavn og adskilt af komma. Bemærk, her skal kun skrives ophavspersonernes navne. F.eks.: Ole Olsen, Hans Hansen. Hvis her er tale om f.eks. en kunstnergruppe eller arbejdsgruppe fra en virksomhed, så skal oplysningen skrives i feltet Korporation. Du må ikke skrive og / & eller lignende imellem forfatterne. Er der mere end 5 forfattere, skal du i stedet bruge feltet ´Bidrag af´ og evt. kombineret med indhold i redaktør-feltet. Dette er ofte tilfældet ved antologier m.v. Vær opmærksom på, at ingen af forfatterne skal nævnes i felterne forfatter fornavn eller forfatter efternavn.
Oversætter	Lars Bo Gundersen, Jens Kristian Mathiasen
Bredde	158	Her oplyses varens bredde i mm. Der må ikke indtastes decimaltegn. For bøger vil det sige fra ryg imod åbning. Boghandlerne bruger informationerne om de fysiske dimensioner til vurdering af fragtomkostninger.
Dybde	6	Her oplyses varens dybde i mm. Der må ikke indtastes decimaltegn. For bøger vil det sige tykkelsen af bogen. Boghandlerne bruger informationerne om de fysiske dimensioner til vurdering af fragtomkostninger.
Højde	230	Her oplyses varens højde i mm. Der må ikke indtastes decimaltegn. For bøger vil det sige fra over- til underkant af indbindingen. Boghandlerne bruger informationerne om de fysiske dimensioner til vurdering af fragtomkostninger.
Vægt	202	Her oplyses varens vægt i gram. Der må ikke indtastes decimaltegn. Boghandlerne bruger informationerne om de fysiske dimensioner til vurdering af fragtomkostninger.
Indbindingsform	12	Paperback: Limet ryg og blødt omslag. Der kan være flapper Hardback: Limet ryg og stift omslag. Der kan være et smudsomslag, det er dog ikke standard Hæftet: Limet og syet i ryggen, blødt omslag. Meget ofte men ikke altid med flapper Indbundet: Limet og syet i ryggen, stift omslag. Nogle gange er der et smudsomslag. En indbundet bog der er limet og syet i ryggen kan have mange forskellige typer af omslag f.eks. lærred ofte kaldet shirting, skind i forskellige farver. Foruden de her nævnte eksempler er der mange andre muligheder. Åben rullemenuen og find det der passer til den aktuelle udgivelse.
Sider	93
LandId	131
Billede	jpg	En billedfil skal være mindst 500 pixel i bredden. Den må maksimalt fylde 1 MB. Vi foretrækker JPG/JPEG.
Sidste ændring for billede	2006-09-07 00:00:00
Decimalklasse	11
ThemaKode	QDTL
ThemaDBC	DBC
Hovedfaust	2 644 757 7
ISBNFejltrykt	87-7934-114-4
FørsteUdgivÅr	2006
Oplag	2	Her indtaster du oplagets nummer. Har du bestilt et nyt optryk, så skal oplag f.eks. ændres fra 1 til 2. Du skal IKKE oplyse hvor mange eksempler, du har trykt af bogen. Udgivelsesdatoen skal IKKE ændres bare fordi du laver et nyt oplag af bogen.
Udgave	1
ÅrForSenesteOplag	2011	Der oplyses året for dette oplags trykning. Ved første oplag oplyses det samme årstal som udgivelsesåret for udgaven. Året for oplaget kan ikke være mindre end året for udgaven. Hvis du f.eks. har oplyst at første udgave udkom i 2011 og der kun er trykt det samme oplag, så skal år for oplaget mindst være 2011 eller senere år. Det kan ikke være 2010 eller være uden indhold. Ved en success kan man godt komme ud for at lave mere en et oplag i samme år. Det er altså ikke altid at oplagets år ændres selvom der er trykt i 2. eller flere oplag. Udgivelsesdatoen skal IKKE ændres, fordi du laver et nyt oplag af bogen. Den følger udgaven.
ÅrForUdgave	2006	Her oplyses den aktuelle udgaves år, sådan som det er trykt i kolofonen. Der kan godt være forskel på udgavens år og udgivelsesdatoen. Udgavens år kan ikke være højere end oplagets år. Det sker ganske ofte at en udgivelse der er planlagt til udgivelse omkring årsskiftet, har forskellige oplysninger om udgavens år og den dato, hvor bogen udkommer og dermed må sælges.
OrdreoptagelseDato	2006-09-18	Hvis forlaget ønsker at modtage bestillinger tidligere end udgivelsesdatoen, så udfyldes datoen for hvornår der tidligst ønskes bestillinger her.
Udgivelsesdato	2006-09-20	Der skal oplyses enten en præcis udgivelsesdato ved kommende udgivelser. Det er muligt at rette i udgivelsesdatoen helt frem til den valgte dato er nået. Derefter er det ikke muligt at rette udgivelsesdatoen. Hvis det ikke er muligt at oplyse en præcis dato, er det muligt at vælge et udgivelsestidspunkt. Se det særlige felt til dette valg.
Udgivelsesland	dk
Hovedsprog	dan
SprogOriginaludgaven	eng
Materialet sprog	dan
Oprettet	2006-09-07
DagForSenesteÆndring	2015-01-15
OpdateringsDatoHovedpost	20111026112048
OprettelsesDatoHovedpost	20060920
Forlagets hjemsted	Århus	Forlaget hjemsted. Der kan være mere end én byoplysning i feltet. Oplysningen stammer fra DBC. Hvis oplysningen ajourføres sker det fra DBC.
År (fra DBC)	2006
Ophavsangivelse	Stephen Read, Crispin Wright
Personnavn	Stephen Read, Crispin Wright
Post status	Ny post
Post Type	Enkeltstående post
Sidetal bemærkninger	93 sider
Indholdets form	Nonfiktion
Festskrift	ikke festskrift
Stor skrift	almindelig skriftstørrelse
Bibliografisk kategori	monografi
Udgivelsesstatus	Uændret optryk
Katalogiseringsniveau	Katalogisering, selvsyn
EfterfølgendeUdgivelsesår	2011
Generel materialebetegnelse	tekst - tekst
Specifik materialebetegnelse	xx
Supplerende specifik materialebetegnelse
Mellemoriginalens sprog	und
SprogIResumeer	eng
Sprog_I_Undertekster	und
Trykkeri	Narayana Press, Gylling
Ugefortegnelse	DBF201145¤DAT200713
Udgivelsesår	2006

Gå til slutningen af billedgalleriet

Gå til starten af billedgalleriet