Main Page
From Logic
Line 36: | Line 36: | ||
[http://daisy.dsv.su.se/servlet/schema.moment.Momentschema?id=3340 Schema Logik för Affärssystem, 7,5hp (ID1016) HT2009] | [http://daisy.dsv.su.se/servlet/schema.moment.Momentschema?id=3340 Schema Logik för Affärssystem, 7,5hp (ID1016) HT2009] | ||
+ | |||
+ | Ordlista logik | ||
+ | Kapitel 2 | ||
+ | Drawing conlusions Dra slutsatser | ||
+ | Connectives Konnektiv | ||
+ | Proposition Proposition | ||
+ | Premiss Premiss | ||
+ | Sentence Sats | ||
+ | Conjunction Konjunktion | ||
+ | Disjunction Disjunktion | ||
+ | Implication Implikation | ||
+ | Negation Negation | ||
+ | |||
+ | Kapitel 3 | ||
+ | Truth value Sanningsvärde | ||
+ | Tautology Tautologi | ||
+ | Contradiction Motsägelse | ||
+ | Satisfy Satisfiera | ||
+ | Falsify Falsifiera | ||
+ | |||
+ | Kapitel 4-5 | ||
+ | Logical consequence Logisk följd | ||
+ | Derivation Härledning | ||
+ | Proof Bevis | ||
+ | Deducibility Härledbarhet | ||
+ | Assumption Antagande | ||
+ | Sound Sund | ||
+ | Valid Giltig | ||
+ | |||
+ | Kapitel 6 | ||
+ | Set Mängd | ||
+ | Sub-set Delmängd | ||
+ | Union Union | ||
+ | Intersection Snitt | ||
+ | |||
+ | Kapitel 7 | ||
+ | Ordered pair Ordnat par | ||
+ | Equivalence relation Ekvivalensrelation | ||
+ | Reflexivity Reflexivitet | ||
+ | Symmetry Symmetri | ||
+ | Transitivity Transitivitet | ||
+ | |||
+ | Kapitel 8 | ||
+ | Counter-example Motexempel | ||
+ | Open expression Öppet uttryck | ||
+ | Free variable Fri variabel | ||
+ | Universal quantifier Allkvantifikator | ||
+ | Existential quantifier Existenskvantifikator |
Revision as of 13:11, 7 September 2009
Logik för datavetenskap 7,5 hp (ID1015), Logik för affärssystem, 7,5 hp (ID1016)
Kurstillfället hösten 2009 startar måndag 31 augusti 2009.
Kursen startar med en föreläsning på måndag 31 september kl 10:00. De första två studieveckorna (som handlar om satslogik) har som kurslitteratur boken "Propositional Logic - an Introduction", Davies-Ekenberg-Thorbiörnson, 2009, ISBN 978-91-978450-2-1. Den laddar du ner som pdf via länken längre ner på denna sida, och boken är gratis och fri att använda (för icke-kommersiellt bruk). I samband med kursstart måndag planeras också tryckt version att delas ut på papper.
Resten av kursen från måndag 14 september bygger på litteraturen "Logic - Basics and Beyond", Davies-Ekenberg-Thorbiörnson, 2009, ISBN 978-91-978450-1-4. Den kommer att finnas att köpa på Kårbokhandeln torsdag 10 september (eventuellt tidigare, vilket i så fall meddelas).
Till kursen hör också olika extramaterial och anvisningar som jag kommer att distribuera under kursens gång som stöd och för att underlätta ert arbete.
Välkomna!
Karl Karlander
==================
Propositional Logic - An Introduction (Davies-Ekenberg-Thorbiörnson, 2009) Ladda ner boken som pdf (1.2 MB): http://sites.google.com/site/logicbasicsbeyond/
Ladda ner Chapter Set Theory i boken Logic - Basics and Beyond:
Svar och lösningar till övningsuppgifterna i boken: Answers and Solutions to Selected Problems
Delkursinformation Logik för Datavetenskap, 7,5hp (ID1015) HT2009
Schema Logik för Datavetenskap, 7,5hp (ID1015) HT2009
Delkursinformation Logik för Affärssystem, 7,5hp (ID1016) HT2009
Schema Logik för Affärssystem, 7,5hp (ID1016) HT2009
Ordlista logik Kapitel 2 Drawing conlusions Dra slutsatser Connectives Konnektiv Proposition Proposition Premiss Premiss Sentence Sats Conjunction Konjunktion Disjunction Disjunktion Implication Implikation Negation Negation
Kapitel 3 Truth value Sanningsvärde Tautology Tautologi Contradiction Motsägelse Satisfy Satisfiera Falsify Falsifiera
Kapitel 4-5 Logical consequence Logisk följd Derivation Härledning Proof Bevis Deducibility Härledbarhet Assumption Antagande Sound Sund Valid Giltig
Kapitel 6 Set Mängd Sub-set Delmängd Union Union Intersection Snitt
Kapitel 7 Ordered pair Ordnat par Equivalence relation Ekvivalensrelation Reflexivity Reflexivitet Symmetry Symmetri Transitivity Transitivitet
Kapitel 8 Counter-example Motexempel Open expression Öppet uttryck Free variable Fri variabel Universal quantifier Allkvantifikator Existential quantifier Existenskvantifikator