Första ordningens logik Upplaga 1
Utöver en ren introduktion till predikatlogikens syntax och semantik presenteras fragment och extensioner till denna. Även intensionala logiker som modala satslogiker berörs.Exempel ges på hur logik kan användas för att analysera naturligt språk, men också på första ordningens teorier. I ett kapitel om mängdlära presenteras grundläggande mängdteoretiska begrepp, Cantors analys av oändlighetsbegreppet och Zermelo-Fraenkels axiom för mängdteorin.Övningar, typ-tentor och annat till gagn för studenter och lärare kan hämtas på länken till höger.
Upplaga: 1a upplagan
Utgiven: 2004
ISBN: 9789144034539
Förlag: Studentlitteratur AB
Format: Häftad
Språk: Svenska
Sidor: 171 st
Utöver en ren introduktion till predikatlogikens syntax och semantik presenteras fragment och extensioner till denna. Även intensionala logiker som modala satslogiker berörs.Exempel ges på hur logik kan användas för att analysera naturligt språk, men också på första ordningens teorier. I ett kapitel om mängdlära presenteras grundläggande mängdteoretiska begrepp, Cantors analys av oändlighetsbegreppet och Zermelo-Fraenkels axiom för mängdteorin.Övningar, typ-tentor och annat till gagn för studenter och lärare kan hämtas på länken till höger.
Varje vecka tillkommer tusentals nya säljare. Bevaka boken så får du meddelande när den finns tillgänglig igen.