Första ordningens logik; Christian Bennet; 2004

Första ordningens logik Upplaga 1

av Christian Bennet
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.
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.
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.
Begagnad bok (0 st)
Begagnad bok (0 st)