Schema för möte 3, 27/11

---

Obs! Tiderna är ungefärliga!

16.00-16.15 Samling/fika i fikarummet plan 4 (bottenvåningen) Matematiska institutionen,
Lindstedtsvägen 15 (precis under 21 på kartan), KTH. T-bana: Tekniska högskolan.

16.20-17.20 Linjär Algebra och Bioinformatik

• Dan Laksov: Kap 9

17.30-18.00 Föredrag: Sant eller falskt? - Ett par logiska gåtor och paradoxer (Klicka på länken för att hitta OH-bilder från föredraget).

• Bengt Ek

I matematiken sysslar vi med sanna påståenden. Den matematiska logiken studerar sanning och lögn. I detta föredrag illustreras det på ett lite lättsamt sätt, med hjälp av logiska gåtor. Om t.ex. A säger "B och jag talar båda sanning eller ljuger båda" och B säger "Precis en av A och mig ljuger", ljuger då A? Ljuger B? Vi skall tala om ett enkelt sätt att systematiskt lösa sådana och liknande problem, men också om hur man kan försäkra sig om svaret 'ja' av någon som själv väljer mellan att svara sanningsenligt och att ljuga och om påståenden som varken är sanna eller falska mm.