Litt om Logikk og Litt om Vår Forskning
|
|
- Carl Ask
- 7 år siden
- Visninger:
Transkript
1 og Litt om Vår Forskning February 2, 2009
2 Hva vi skal snakke om? 1 Hva er? 2 Hva er? 3 Hva driver to tilfeldig valget matematiske logikere (vi) med?
3 Noen definisjoner av er (det formelle) studiet av gyldige resonnementer. Logic is the art/science of non-contradictory identification. (Ayn Rand) Logic is the anatomy of thought (John Locke) Logic takes care of itself; all we have to do is to look and see how it does it. (Ludwig Wittgenstein)
4 Aristoteles Veldig kort Historie en som displin oppstod med Aritoteles, da nært knyttet til læren om retorikk. Aristoteles huskes særlig for sine studier av syllogismene: et argument der én konklusjon følger fra to premisser. Den mest berømte er kanskje modus ponens som har formen: A medfører B, og A, dermed B. Dette skriver vi med symboler som: (A B A) B Aristoteles forfatterskap regnes fremdeles som meget relevant faktisk er betydelige deler av logikk-delen i ExPhil nesten direkte oversatt fra de originale tekstene.
5 Etter Aristoteles Veldig kort Historie Aristoteles blir gjenoppdaget i den tidlige middelalderen i de Mauriske bibliotekene i Spania. Siden har filosofer bygget videre på Aristoteles verker. Filosofer som f.eks. Francis Bacon, John Locke, David Hume, Immanuel Kant, Friedrich Hegel og Ludwig Wittgenstein studerer mere eller mindre formellt grunnlaget for menneskelig viten og tenkning. Filosofer (og matematikere) som f.eks. Leibniz, Boole, Peirce utvikler en abstrakt, symbolsk beskrivelse av Aristotelsk (og nyere) logikk.
6 Hva er? Hva er? To definisjoner: er studiet av med matematiske metoder. er studiet av Matematikk med logiske metoder. På en side: regne med argumenter med en matematisk presisjon og formalisme, f.eks. symbolsk logikk. På en annen side: studere hvordan matematikere jobber fra et filosofisk perspektiv, f.eks. Hva er et matematisk bevis?.
7 Noen Viktige Navn Hva er? G. Frege og G. Cantor: Matematikere og filosofer på slutten av 1800-tallet, som inspirert av bl.a. Leibniz og Boole begynnte å beskrive matematikken ved hjelp av logiske formalismer. Principia Mathematica: Et trebindsverk om matematikkens grunnlag, skrevet av Alfred North Whitehead og Bertrand Russell, utgitt i årene Et forsøk på å utlede hele den moderne matematikken fra en veldefinert menge aksiomer og slutningsregler (tenk: syllogismer). Navn: Hilbert, Gödel, Kleene,... Blant norske logikere er Thoralf Skolem en bauta. Litt mer om ham siden.
8 idag Hva er? Modellteori Hvilke Strukturer/Universer oppfyller gitte Aksiomer? Bevisteori Slutningsregler og Teoremer, hvor vanskelige er der? Mengdelære Abstrakt modell for hele matematikken(?: Derom strides de lærde). Rekursjonsteori Grunnlaget for regneprosedyrer (algoritmer). Teoretisk Informatikk Anvendt rekursjonsteori++. Matematisk Filosofi det var f.eks. den striden da...
9 Hvem vi er Hva er? Philipp er ansatt som Post doktor. Mathias er anstatt som PhD student. En forsker-lærling.
10 Thoralf Skolem ( ) Hva er? Thoralf Skolem er en berømt logiker innen matematisk logikk er hans navn like kjent som Abel! Hans arbeider omfatter de fleste logiske underdisiplinene. Han virket ved UiO (som het Det Kongelige Fredriks Universitet frem til 1939). Vi skal se litt på en artikkel publisert i 1956, og et problem han antydet kunne være interessant å kikke på. Artikkelen heter An ordered set of arithmetic functions representing the least ɛ-number, og vi skal først raskt forklare tittelen.
11 Ordninger Hva er? Intuitivt er en ordning av en mengde elementer en måte å sammenligne (to og to) elementer på. Man har f.eks. sin egen subjektive ordning av matretter. Det finnes mange ulike typer ordninger: Partielle ordninger: Matrettene: Ikke total, men antisymmetrisk og transitiv. Totale ordninger: Den vanlige ordningen av Q, eller av N. En partiell ordning der alle elementer kan sammenlignes. Vellordninger: En total ordning som opfyller følgende tilleggskriterium: Ingen uendelige nedadstigende kjeder! (N, ) er en vellordning, (Q) er det ikke:
12 Ordinaler Hva er? En ordinal er en kanonisk vellordning. Vi kan tenke på dem som en spesiell type tall (Tenk ordenstall etc.). Eksempler: Tallene 0,1,2,3,.... F.eks. representerer tallet 3. = ({0, 1, 2}, ) en vellordning av tre objekter, der kan representere tre objekter med en total ordning. Tallet ω. Dette tallet som er et uendelig tall representerer alle ordninger av typen (N, ). ω + 1 ω + 2 ω 2 ω 2 ω ω. ɛ 0. Tilfredsstiller ω α = α.
13 Majorisering Hva er? La f og g være to funksjoner N N. Vi sier at: Spørsmål f g hvis f (n) g(n) for alle n N. g majoriserer f hvis Vi skriver f g. M n M (f (n) g(n)). Gitt en mengde funksjoner A N N, er (A, ) en vellordning? Hvis den er det, hva er dens ordinal?
14 Eksempler Hva er? Alle funksjoner: Nei! Usammnelignbare funksjoner, samt uendelige nedadstigende kjeder av funksjoner. Heltalls-polynomer (N[x]): Ja! (Tenk asymptotisk vekst).
15 Genererte mengder Hva er? Se på funksjonene som kan genereres ved at vi starter med x og 1, og kan legge sammen funksjoner (f + g) eller multiplisere (f g). Da får vi nøyaktig N[x]! x 2 + 2x + 3 = (x x) + [(x + x) + ((1 + 1) + 1)] Mange ulike måter å gjøre dette på, f.eks.: 2x = x + x = x (1 + 1) = (x 1) + (x 1) =
16 Eksponentiering og Tetrering Hva er? Vi vet godt hva x y betyr: x y = x x }{{} y Tetrering er for eksponensiering det eksponensiering er for mulitiplikasjon. x y = x x} Eksempel: 4 3 = 4 (44) = = (som er mye større en antall elementærpartikler i universet!) Tetrering er altså en ekstremt raskt voksende funksjon. y
17 Skolems Resultat Hva er? Skolem definerte S som den mengden generert av 1, x og f + g, f g og x f. x x2 +2, x (xx ), men ikke f.eks. (x + 2) (x+3). (S, ) er en vellordning, og dens ordinal er ɛ 0. ɛ 0 kan illustreres ved ω ω. Merk at alle funksjoner i S har endelig tårnhøyde x c N. Funksjonen x x derimot... x} c for en
18 Skolems Problem Hva er? Skolem antydet også en mengde S som den mengden generert av 1, x og f + g, f g, x f og x f. Spørsmål Er (S, ) en vellordning? Spørsmål Hvis den er det: Hva er dens ordinal? Dette har vi arbeidet med det siste året, og svaret er JA! og større enn τ 0 (som er diger.)
19 What is it good for? Hva er? Vellordnede mengder finnes overalt i matematikken. Transfinitt induksjon baseres på vellordninger av vilkårlig type, og har mange viktige anvendelser. (Zorn s Lemma). Også nyttig i analyse av kompleksitet og terminering av algoritmer. Utallige anvendelser i. Det å forstå ordinalene når de begynner å bli store, kan være utfordrende. Spesiellt når man kun kjenner ordinalen som en abstrakt, og ikke som ordningstypen til en mer konkret struktur. Vår vellordning (S, ) representerer en ordinal som vi ikke så vidt vi vet har noe slik konkret eksempel på fra før.
20 Takk for Oss! Hva er? Takk for Oss! Spørsmål?
Last ned Utvalgte tekster - Gottlob Frege. Last ned. Last ned e-bok ny norsk Utvalgte tekster Gratis boken Pdf, ibook, Kindle, Txt, Doc, Mobi
Last ned Utvalgte tekster - Gottlob Frege Last ned Forfatter: Gottlob Frege ISBN: 9788253036014 Antall sider: 286 Format: PDF Filstørrelse:14.72 Mb Gottlob Frege (1848-1925) var en tysk filosof, logiker
DetaljerLast ned Utvalgte tekster - Gottlob Frege. Last ned. Last ned e-bok ny norsk Utvalgte tekster Gratis boken Pdf, ibook, Kindle, Txt, Doc, Mobi
Last ned Utvalgte tekster - Gottlob Frege Last ned Forfatter: Gottlob Frege ISBN: 9788253036014 Antall sider: 286 Format: PDF Filstørrelse: 10.98 Mb Gottlob Frege (1848-1925) var en tysk filosof, logiker
DetaljerLØSNINGSFORSLAG EKSAMEN V06, MA0301
Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag Side 1 av 7 LØSNINGSFORSLAG EKSAMEN V06, MA0301 Oppgave 1 a) Sett opp en sannhetsverditabell(truth table) for det logiske uttrykket
DetaljerMengder, relasjoner og funksjoner
MAT1030 Diskret Matematikk Forelesning 15: og induksjon Dag Normann Matematisk Institutt, Universitetet i Oslo Mengder, relasjoner og funksjoner 9. mars 2010 (Sist oppdatert: 2010-03-09 14:18) MAT1030
DetaljerMatematikk for IT, høsten 2015
Matematikk for IT, høsten 015 Oblig 5 Løsningsforslag 5. oktober 016 3.1.1 3.1.13 a) Modus ponens. b) Modus tollens. c) Syllogismeloven. a) Ikke gyldig. b) Gyldig. 3.1.15 a) Hvis regattaen ikke avlyses,
DetaljerHva kan overordnede læringsmål være?
Hva kan overordnede læringsmål være? Knut STUT 16. januar 2015 Hvorfor en faglig strategi? Hvis vi ønsker utvikling bør vi vite i hvilken retning Vi er enige om at det generelt er en tydelig utvikling
DetaljerForelesning 14. Rekursjon og induksjon. Dag Normann februar Oppsummering. Oppsummering. Beregnbare funksjoner
Forelesning 14 og induksjon Dag Normann - 27. februar 2008 Oppsummering Mandag repeterte vi en del om relasjoner, da spesielt om ekvivalensrelasjoner og partielle ordninger. Vi snakket videre om funksjoner.
DetaljerDagens plan. INF3170 Logikk. Negasjon som bakgrunn for intuisjonistisk logikk. Til nå i kurset. Forelesning 9: Intuisjonistisk logikk.
INF3170 Logikk Dagens plan Forelesning 9: Arild Waaler 1 Institutt for informatikk, Universitetet i Oslo 2 Konsistens 19. mars 2007 Institutt for informatikk (UiO) INF3170 Logikk 19.03.2007 2 / 28 Innledning
DetaljerMAT1030 Diskret matematikk
MAT1030 Diskret matematikk Forelesning 14: Rekursjon og induksjon Dag Normann Matematisk Institutt, Universitetet i Oslo 27. februar 2008 Oppsummering Mandag repeterte vi en del om relasjoner, da spesielt
DetaljerMAT1140: Partielle ordninger, Zorns lemma og utvalgsaksiomet
MAT1140: Partielle ordninger, Zorns lemma og utvalgsaksiomet I dette notatet skal vi se på Zorns lemma, som er et kraftig redskap for å bevise eksistensen av matematiske objekter. Beviset for Zorns lemma
DetaljerForelesning 1 mandag den 18. august
Forelesning 1 mandag den 18 august 11 Naturlige tall og heltall Definisjon 111 Et naturlig tall er et av tallene: 1,, Merknad 11 Legg spesielt merke til at i dette kurset teller vi ikke 0 iblant de naturlige
DetaljerMAT1030 Diskret Matematikk
MAT1030 Diskret Matematikk Forelesning 10: Mengdelære Dag Normann Matematisk Institutt, Universitetet i Oslo 17. februar 2010 (Sist oppdatert: 2010-02-17 12:40) Kapittel 5: Mengdelære MAT1030 Diskret Matematikk
DetaljerKapittel 5: Mengdelære
MAT1030 Diskret Matematikk Forelesning 10: Mengdelære Dag Normann Matematisk Institutt, Universitetet i Oslo Kapittel 5: Mengdelære 17. februar 2010 (Sist oppdatert: 2010-02-17 12:41) MAT1030 Diskret Matematikk
DetaljerIntuisjonistisk logikk
INF3170 Logikk Forelesning 11: Intuisjonistisk logikk Roger Antonsen Institutt for informatikk, Universitetet i Oslo Intuisjonistisk logikk 27. april 2010 (Sist oppdatert: 2010-04-27 11:58) INF3170 Logikk
DetaljerINF3170 Logikk. Forelesning 11: Intuisjonistisk logikk. Roger Antonsen. 27. april Institutt for informatikk, Universitetet i Oslo
INF3170 Logikk Forelesning 11: Intuisjonistisk logikk Roger Antonsen Institutt for informatikk, Universitetet i Oslo 27. april 2010 (Sist oppdatert: 2010-04-27 11:58) Intuisjonistisk logikk INF3170 Logikk
DetaljerMAT1030 Diskret Matematikk
MAT1030 Diskret Matematikk Forelesning 10: Mengdelære Roger Antonsen Institutt for informatikk, Universitetet i Oslo 24. februar 2009 (Sist oppdatert: 2009-02-25 08:27) Kapittel 5: Mengdelære MAT1030 Diskret
DetaljerMAT1030 Forelesning 10
MAT1030 Forelesning 10 Mengdelære Roger Antonsen - 24. februar 2009 (Sist oppdatert: 2009-02-25 08:27) Kapittel 5: Mengdelære Oversikt Vi har nå innført de Boolske operasjonene, union snitt komplement
DetaljerKapittel 5: Mengdelære
MAT1030 Diskret Matematikk Forelesning 10: Mengdelære Roger Antonsen Institutt for informatikk, Universitetet i Oslo Kapittel 5: Mengdelære 24. februar 2009 (Sist oppdatert: 2009-02-25 08:27) MAT1030 Diskret
DetaljerTMA4100 Matematikk 1, høst 2013
TMA4100 Matematikk 1, høst 2013 Teknostart Forelesning 3 www.ntnu.no TMA4100 Matematikk 1, høst 2013, Teknostart Forelesning 3 Tema Logikk Definisjoner og Teoremer Mengder og Egenskaper ved de Reelle Tall
DetaljerDagens plan. INF3170 Logikk. Induktive definisjoner. Eksempel. Definisjon (Induktiv definisjon) Eksempel
INF3170 Logikk Dagens plan Forelesning 2: Induktive definisjoner, utsagnslogikk og sekventkalkyle Christian Mahesh Hansen Institutt for informatikk, Universitetet i Oslo 1 Induktive definisjoner 2 29.
DetaljerMatematikk for IT, høsten 2017
Matematikk for IT, høsten 017 Oblig 5 Løsningsforslag 0. september 017 Oppgave 1 (eksamen desember 013) Gitt følgende logiske utsagn: ( p ( p q)) Benytt lovene i logikk til å finne hvilket av følgende
DetaljerDagens plan. INF3170 Logikk. Semantikk for sekventer. Definisjon (Motmodell/falsifiserbar sekvent) Definisjon (Gyldig sekvent) Eksempel.
INF3170 Logikk Dagens plan Forelesning 3: Utsagnslogikk sekventkalkyle, sunnhet og kompletthet 1 Sekventkalkyle Christian Mahesh Hansen 2 Institutt for informatikk, Universitetet i Oslo 3 5. februar 2007
DetaljerKvalitative utsagn fra en logikers ståsted
Kvalitative utsagn fra en logikers ståsted Bjørnar Solhaug Seminar om estimering av sikkerhetsnivå fra et tverrfaglig perspektiv SINTEF, 29. september, 2015 1 Oversikt Hva er logikk? Logikk vs. naturlig
DetaljerØvingsforelesning 2. Mengdelære, funksjoner, rekurrenser, osv. TMA4140 Diskret Matematikk. 10. og 12. september 2018
Mengdelære, funksjoner, rekurrenser, osv. Øvingsforelesning 2 TMA4140 Diskret Matematikk 10. og 12. september 2018 Dagens øvingsforelesning Spørsmål til emnene i forrige uke Oppgaver fra midtsemesterprøver
DetaljerINF3170 Forelesning 11
INF3170 Forelesning 11 Intuisjonistisk logikk Roger Antonsen - 27. april 2010 (Sist oppdatert: 2010-04-27 11:58) Innhold Intuisjonistisk logikk 1 Innledning........................................... 1
DetaljerPartielle ordninger, Zorns lemma og utvalgsaksiomet
MAT1140, H-15 Partielle ordninger, Zorns lemma og utvalgsaksiomet I dette notatet skal vi se på Zorns lemma, som er et kraftig redskap for å bevise eksistensen av matematiske objekter. Beviset for Zorns
DetaljerKapittel 6: Funksjoner
MAT1030 Diskret Matematikk Forelesning 14: Mer om funksjoner Roger Antonsen Institutt for informatikk, Universitetet i Oslo Kapittel 6: Funksjoner 10. mars 2009 (Sist oppdatert: 2009-03-10 11:34) MAT1030
DetaljerKapittel 5: Relasjoner
MAT1030 Diskret Matematikk Forelesning 12: Relasjoner Dag Normann Matematisk Institutt, Universitetet i Oslo Kapittel 5: Relasjoner 24. februar 2010 (Sist oppdatert: 2010-02-24 12:36) MAT1030 Diskret Matematikk
DetaljerBevis for sunnhet (og kompletthet) av bevissystemet med hensyn på semantikken
Forelesning 4: Intuisjonistisk logikk Arild Waaler - 11. februar 2008 1 Intuisjonistisk logikk 1.1 Innledning Til nå i kurset Det utsagnslogiske språket: konnektiver og formler Bevissystem:LK og DPLL for
DetaljerEmne 13 Utsagnslogikk
Emne 13 Utsagnslogikk Et utsagn er en erklæring som er entydig sann eller usann, men ikke begge deler. Noen eksempler på (ekte) utsagn: Utsagn : Gjøvik har bystatus er sann ( i alle fall pr. dags dato
DetaljerMAT1030 Diskret Matematikk
MAT1030 Diskret Matematikk Forelesning 29: Kompleksitetsteori Roger Antonsen Institutt for informatikk, Universitetet i Oslo 13. mai 2009 (Sist oppdatert: 2009-05-17 22:38) Forelesning 29: Kompleksitetsteori
DetaljerForelesning 29: Kompleksitetsteori
MAT1030 Diskret Matematikk Forelesning 29: Kompleksitetsteori Roger Antonsen Institutt for informatikk, Universitetet i Oslo Forelesning 29: Kompleksitetsteori 13. mai 2009 (Sist oppdatert: 2009-05-17
DetaljerØvingsforelesning 7. Resten av kombinatorikk, litt modulusregning, rekurrenser og induksjon og MP13 eller MP18. TMA4140 Diskret Matematikk
Resten av kombinatorikk, litt modulusregning, rekurrenser og induksjon og MP13 eller MP18 Øvingsforelesning 7 TMA4140 Diskret Matematikk 15. og 17. oktober 2018 Dagen i dag Generaliserte permutasjoner
DetaljerValg av kontaktpersoner/tillitsvalgte. MAT1030 Diskret matematikk. Oppsummering av kapittel 2. Representasjon av hele tall
Valg av kontaktpersoner/tillitsvalgte MAT1030 Diskret matematikk Forelesning 4: Tall som data Dag Normann Matematisk Institutt, Universitetet i Oslo 23. januar 2008 Før vi tar pause skal vi velge to til
DetaljerRepetisjonsforelesning - INF1080
Repetisjonsforelesning - INF1080 Mengder, relasjoner og funksjoner 18. november 2015 1 Grunnleggende mengdelære 1.1 Elementært om mengder 1.1.1 Hva er en mengde? Definisjon 1.1 (Mengde). En mengde er en
DetaljerMerk: kopieringen av hovedformelen i γ-reglene medfører at bevissøk i førsteordens logikk ikke nødvendigvis behøver å terminere!
Forelesning 8: Førsteordens logikk kompletthet Martin Giese - 10. mars 2008 1 Repetisjon: Kalkyle og Sunnhet av LK 1.1 Sekventkalkyleregler Definisjon 1.1 (γ-regler). γ-reglene i sekventkalkylen LK er:
DetaljerMAT1030 Diskret matematikk
MAT1030 Diskret matematikk Forelesning 8: Predikatlogikk, bevisføring Dag Normann Matematisk Institutt, Universitetet i Oslo 6. februar 2008 Kvantorer Mandag 04.02.2008 introduserte vi predikatlogikk Vi
DetaljerKvantorer. MAT1030 Diskret matematikk. Kvantorer. Kvantorer. Eksempel. Eksempel (Fortsatt) Forelesning 8: Predikatlogikk, bevisføring
Kvantorer MAT1030 Diskret matematikk Forelesning 8: Predikatlogikk, bevisføring Dag Normann Matematisk Institutt, Universitetet i Oslo 6. februar 008 Mandag 04.0.008 introduserte vi predikatlogikk Vi innførte
DetaljerMAT1030 Forelesning 14
MAT1030 Forelesning 14 Mer om funksjoner Roger Antonsen - 10. mars 2009 (Sist oppdatert: 2009-03-10 11:34) Kapittel 6: Funksjoner Surjektive funksjoner Den neste gruppen av funksjoner vi skal se på er
DetaljerDagens plan. INF3170 Logikk. Resolusjon: regel og utledninger. Overblikk. Definisjon. Forelesning 14: Avanserte emner. Christian Mahesh Hansen
INF3170 Logikk Forelesning 14: Avanserte emner Dagens plan 1 Christian Mahesh Hansen 2 Dualiteter Institutt for informatikk, Universitetet i Oslo 3 14. mai 2007 4 5 Teorier, aksiomer og ufullstendighet
DetaljerFør vi begynner. Kapittel 5: Relasjoner og funksjoner. MAT1030 Diskret Matematikk. Litt om obligen og studentengasjementet
MAT1030 Diskret Matematikk Forelesning 12: Relasjoner og litt funksjoner Roger Antonsen Institutt for informatikk, Universitetet i Oslo Før vi begynner 3. mars 2009 (Sist oppdatert: 2009-03-04 01:00) MAT1030
DetaljerDagens plan. INF3170 Logikk. Sekventkalkyle Gerhard Gentzen ( ) Innhold. Forelesning 12: Snitteliminasjon. Herman Ruge Jervell. 8.
INF3170 Logikk Dagens plan Forelesning 12: Herman Ruge Jervell 1 Institutt for informatikk, Universitetet i Oslo 2 8. mai 2006 Institutt for informatikk (UiO) INF3170 Logikk 08.05.2006 2 / 27 Regler Innhold
DetaljerGottlob Frege: matematiker, logiker, og filosof
Gottlob Frege: matematiker, logiker, og filosof Friedrich Ludwig Gottlob Frege ble født i Wismar i Tyskland 8. november 1848. Frege regnes som grunnleggeren av den i dag dominerende retningen innenfor
DetaljerMAT1030 Forelesning 8
MAT1030 Forelesning 8 Logikk, predikatlogikk, bevisteknikker Roger Antonsen - 11. februar 009 (Sist oppdatert: 009-0-17 10:5) Kapittel 4: Mer predikatlogikk Oppsummering Læringsmålene for kapitlet om logikk
Detaljer(a) R n defineres som mengden av kolonnevektorer. a 1 a 2. a n. (b) R n defineres som mengden av radvektorer
5 Vektorrom Et vektorrom er en mengde V med tre algebraiske operasjoner (addisjon, negasjon og skalærmultiplikasjon) som tilfredsstiller de 10 betingelsene fra Def. 4.1.1. Jeg vil ikke gi en eksamensoppgave
DetaljerI Kapittel 2 lærte vi om tall i alternative tallsystemer, i hovedsak om binære tall, oktale tall og heksadesimale tall.
Forelesning 4 Tall som data Dag Normann - 23. januar 2008 Valg av kontaktpersoner/tillitsvalgte Før vi tar pause skal vi velge to til fire tillitsvalgte/kontaktpersoner. Kontaktpersonene skal være med
DetaljerZorns lemma og utvalgsaksiomet
MAT1140, H-16 Zorns lemma og utvalgsaksiomet I dette notatet skal vi se på Zorns lemma, som er et kraftig redskap for å bevise eksistensen av matematiske objekter. Beviset for Zorns lemma bygger på det
DetaljerDagens plan. INF3170 Logikk. Introduksjon. Forelesning 7: Førsteordens logikk sekventkalkyle og sunnhet. Christian Mahesh Hansen. 5.
INF3170 Logikk Dagens plan Forelesning 7: Førsteordens logikk sekventkalkyle og sunnhet Christian Mahesh Hansen 1 Institutt for informatikk, Universitetet i Oslo 2 5. mars 2007 Institutt for informatikk
DetaljerForelesning 2: Induktive definisjoner, utsagnslogikk og sekventkalkyle Christian Mahesh Hansen januar 2007
Forelesning 2: Induktive definisjoner, utsagnslogikk og sekventkalkyle Christian Mahesh Hansen - 29. januar 2007 1 Induktive definisjoner Induktive definisjoner Definisjon 1.1 (Induktiv definisjon). Å
DetaljerUNIVERSITETET I OSLO. Det matematisk-naturvitenskapelige fakultet
UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i INF1080 Logiske metoder for informatikk Eksamensdag: 10. desember 2013 Tid for eksamen: 09.00 13.00 Oppgave 1 Mengdelære (10 poeng)
DetaljerINF1800 LOGIKK OG BEREGNBARHET
INF1800 LOGIKK OG BEREGNBARHET FORELESNING 1: INTRODUKSJON Roger Antonsen Institutt for informatikk Universitetet i Oslo 19. august 2008 (Sist oppdatert: 2008-09-03 12:35) Velkommen til INF1800! Introduksjon
DetaljerNotat om kardinalitet for MAT1140 (litt uferdig)
Notat om kardinalitet for MAT1140 (litt uferdig) Poenget med tall kan man kanskje si er det å telle. In mengdeteorien ønsker man å telle antall elementer i en mengde, og det tallet man oppnår kalles da
DetaljerKompletthet av LK. INF3170 Logikk. Overblikk. Forelesning 9: Mer sekventkalkyle og kompletthet. Roger Antonsen
INF370 Logikk Forelesning 9: Mer sekventkalkyle og kompletthet Roger Antonsen Institutt for informatikk, Universitetet i Oslo Kompletthet av LK 3. april 200 (Sist oppdatert: 200-04-3 2:04) INF370 Logikk
DetaljerLøsningsforslag. Emnekode: Emne: Matematikk for IT ITF Eksamenstid: Dato: kl til kl desember Hjelpemidler: Faglærer:
Løsningsforslag Emnekode: ITF75 Dato: 7. desember Emne: Matematikk for IT Eksamenstid: kl 9. til kl. Hjelpemidler: To -ark med valgfritt innhold på begge sider. Kalkulator er ikke tillatt. Faglærer: Christian
DetaljerKapittel 4: Logikk (predikatlogikk)
MAT1030 Diskret Matematikk Forelesning 7: Logikk, predikatlogikk Dag Normann Matematisk Institutt, Universitetet i Oslo Kapittel 4: Logikk (predikatlogikk) 9. februar 2010 (Sist oppdatert: 2010-02-09 14:22)
DetaljerThoralf Skolem Einfacher Beweis der Unmöglichkeit eines allgemeinen Lösungsverfahren für aritmetische Probleme DKNVS Forhandlinger
Det Kongelige Norske Videnskabers Selskabs Skrifter (Kgl. Norske Vidensk. Selsk. Skr. 2011 (4), 131-137) Thoralf Skolem Einfacher Beweis der Unmöglichkeit eines allgemeinen Lösungsverfahren für aritmetische
DetaljerFigurtall en kilde til kreativitet
Vigdis Brevik Petersen Figurtall en kilde til kreativitet I læreplanen er det lagt vekt på at elevene skal bruke initiativ, kreativitet og utforskning for å etablere kjennskaper og innsikt i matematikkfaget.
DetaljerMAT1030 Diskret matematikk
MAT1030 Diskret matematikk Forelesning 13: Funksjoner Dag Normann Matematisk Institutt, Universitetet i Oslo 25. februar 2008 Opphenting Forrige forelesning fortsatte vi innføringen av ekvivalensrelasjoner.
DetaljerForelesning 13. Funksjoner. Dag Normann februar Opphenting. Opphenting. Opphenting. Opphenting
Forelesning 13 Dag Normann - 25. februar 2008 Forrige forelesning fortsatte vi innføringen av ekvivalensrelasjoner. Vi definerte hva vi mener med partielle ordninger og med totale ordninger. Deretter snakket
DetaljerGenerell induksjon og rekursjon. MAT1030 Diskret matematikk. Generell induksjon og rekursjon. Generell induksjon og rekursjon.
MAT1030 Diskret matematikk Forelesning 18: Generell rekursjon og induksjon Dag Normann Matematisk Institutt, Universitetet i Oslo 12. mars 2008 Mandag så vi på induktivt definerte mengder og noen eksempler
DetaljerMA1301 Tallteori Høsten 2014 Oversikt over pensumet for midtsemesterprøven
MA1301 Tallteori Høsten 2014 Oversikt over pensumet for midtsemesterprøven Richard Williamson 3. oktober 2014 Innhold Pensumet 2 Generelle råd 2 Hvordan bør jeg forberede meg?..........................
DetaljerMAT1030 Diskret Matematikk
MAT1030 Diskret Matematikk Forelesning 7: Logikk, predikatlogikk Roger Antonsen Institutt for informatikk, Universitetet i Oslo 10. februar 2009 (Sist oppdatert: 2009-02-11 01:52) Kapittel 4: Logikk (predikatlogikk)
DetaljerMAT1030 Diskret Matematikk
MAT1030 Diskret Matematikk Forelesning 4: Logikk Dag Normann Matematisk Institutt, Universitetet i Oslo 27. januar 2010 (Sist oppdatert: 2010-01-27 12:47) Kapittel 4: Logikk (fortsettelse) MAT1030 Diskret
DetaljerKapittel 4: Mer predikatlogikk
MAT1030 Diskret Matematikk Forelesning 8: Logikk, predikatlogikk, bevisteknikker Roger Antonsen Institutt for informatikk, Universitetet i Oslo Kapittel 4: Mer predikatlogikk 11. februar 009 (Sist oppdatert:
DetaljerForelesning 3-6. februar 2006 Utsagnslogikk sekventkalkyle og sunnhet. 1 Mengdelære III. 2 Utsagnslogikk. 1.1 Multimengder. 2.
Forelesning 3-6. februar 2006 Utsagnslogikk sekventkalkyle og sunnhet 1 Mengdelære III 1.1 Multimengder Multimengder Mengder der antall forekomster av hvert element teller Definisjon (Multimengde). En
DetaljerKapittel 3: Litt om representasjon av tall
MAT1030 Diskret Matematikk Forelesning 3: Litt om representasjon av tall Dag Normann Matematisk Institutt, Universitetet i Oslo Kapittel 3: Litt om representasjon av tall 26. januar 2010 (Sist oppdatert:
DetaljerForelesning 14 torsdag den 2. oktober
Forelesning 14 torsdag den 2. oktober 4.1 Primtall Definisjon 4.1.1. La n være et naturlig tall. Da er n et primtall om: (1) n 2; (2) de eneste naturlige tallene som er divisorer til n er 1 og n. Eksempel
DetaljerMAT1030 Diskret Matematikk
MAT1030 Diskret Matematikk Plenumsregning 11: Ukeoppgaver Mathias Barra Matematisk institutt, Universitetet i Oslo 7. mars 009 (Sist oppdatert: 009-03-30 09:39) Oppgave 7. Finn en rekursiv og en ikke-rekursiv
DetaljerMAT1030 Diskret Matematikk
MAT1030 Diskret Matematikk Forelesning 4: Logikk Roger Antonsen Institutt for informatikk, Universitetet i Oslo 21. januar 2009 (Sist oppdatert: 2009-01-22 13:02) Kapittel 4: Logikk (fortsettelse) MAT1030
DetaljerKapittel 4: Logikk (fortsettelse)
MAT1030 Diskret Matematikk Forelesning 4: Logikk Roger Antonsen Institutt for informatikk, Universitetet i Oslo Kapittel 4: Logikk (fortsettelse) 21. januar 2009 (Sist oppdatert: 2009-01-22 13:03) MAT1030
DetaljerTillegg til kapittel 11: Mer om relasjoner
MAT1140, H-16 Tillegg til kapittel 11: Mer om relasjoner I læreboken blir ekvivalensrelasjoner trukket frem som en viktig relasjonstype. I dette tillegget skal vi se på en annen type relasjoner som dukker
DetaljerRepetisjon. MAT1030 Diskret Matematikk. Oppsummering. Oppsummering. Forelesning 15: Rekursjon og induksjon. Roger Antonsen
MAT1030 Diskret Matematikk Forelesning 15: og induksjon Roger Antonsen Institutt for informatikk, Universitetet i Oslo Repetisjon 11. mars 2009 (Sist oppdatert: 2009-03-10 20:38) MAT1030 Diskret Matematikk
DetaljerMAT1030 Forelesning 12
MAT1030 Forelesning 12 Relasjoner Dag Normann - 24. februar 2010 (Sist oppdatert: 2010-02-24 12:36) Kapittel 5: Relasjoner Repetisjon En relasjon på en mengde A er en delmengde R A A = A 2. Vi har satt
DetaljerDagens plan. INF4170 Logikk. Fri-variabel sekventkalkyle. Forelesning 10: Automatisk bevissøk II fri-variabel sekventkalkyle og sunnhet.
INF4170 Logikk Dagens plan Forelesning 10: fri-variabel sekventkalkyle og sunnhet Martin iese 1 Institutt for informatikk, Universitetet i Oslo 14. april 2008 Institutt for informatikk (UiO) INF4170 Logikk
DetaljerEmnebeskrivelse og emneinnhold
Emnebeskrivelse og emneinnhold Knut STUT 11. mars 2016 MAT-INF1100 Kort om emnet Naturlige tall, induksjon og løkker, reelle tall, representasjon av tall i datamaskiner, numerisk og analytisk løsning av
DetaljerOPPGAVESETT MAT111-H16 UKE 36. Oppgaver til seminaret 9/9. Husk at seminaret finnes i to varianter, begge fredag :
OPPGAVESETT MAT111-H16 UKE 36 Avsnitt 1.4: 17, 29, 32 Avsnitt 2.2: 12 Avsnitt 2.3: 41, 52 På settet: S.1 Oppgaver til seminaret 9/9 Husk at seminaret finnes i to varianter, begge fredag 12.15-14.00: Seminar
DetaljerTMA4100 Matematikk 1, høst 2013
TMA4100 Matematikk 1, høst 2013 Teknostart forelesning 5 www.ntnu.no TMA4100 Matematikk 1, høst 2013, Teknostart forelesning 5 Grenseverdier I dagens forelesning skal vi se på grenseverdier. 1 Hvorfor
DetaljerMAT1030 Diskret Matematikk
MAT1030 Diskret Matematikk Forelesning 27: Trær Dag Normann Matematisk Institutt, Universitetet i Oslo 4. mai 2010 (Sist oppdatert: 2010-05-04 14:11) Forelesning 27 MAT1030 Diskret Matematikk 4. mai 2010
DetaljerKapittel 4: Mer predikatlogikk
MAT1030 Diskret Matematikk Forelesning 8: Logikk, predikatlogikk, bevisteknikker Dag Normann Matematisk Institutt, Universitetet i Oslo Kapittel 4: Mer predikatlogikk 10. februar 010 (Sist oppdatert: 010-0-10
DetaljerOppgave 1. ( xφ) φ x t, hvis t er substituerbar for x i φ.
Oppgave 1 Beviskalklen i læreboka inneholder sluttningsregelen QR: {ψ φ}, ψ ( xφ). En betingelse for å anvende regelen er at det ikke finnes frie forekomste av x i ψ. Videre så inneholder beviskalklen
DetaljerKapittel 6: Funksjoner
MAT1030 Diskret Matematikk Forelesning 14: Mer om funksjoner Dag Normann Matematisk Institutt, Universitetet i Oslo Kapittel 6: Funksjoner 3. mars 2010 (Sist oppdatert: 2010-03-03 15:00) MAT1030 Diskret
DetaljerLO118D Forelesning 2 (DM)
LO118D Forelesning 2 (DM) Kjøretidsanalyse, matematisk induksjon, rekursjon 22.08.2007 1 Kjøretidsanalyse 2 Matematisk induksjon 3 Rekursjon Kjøretidsanalyse Eksempel Finne antall kombinasjoner med minst
DetaljerDagens plan. INF3170 Logikk. Obliger og eksamen. Forelesning 1: Introduksjon. Utsagnslogikk og sekventkalkyle. Arild Waaler. 21.
INF3170 Logikk Dagens plan Forelesning 1: Introduksjon. og sekventkalkyle Arild Waaler Institutt for informatikk, Universitetet i Oslo 1 Praktisk informasjon 2 21. januar 2008 3 Institutt for informatikk
DetaljerDagens plan. INF4170 Logikk. Modelleksistens for grunn LK repetisjon. Kompletthet av fri-variabel LK. Teorem (Kompletthet) Lemma (Modelleksistens)
INF4170 Logikk Dagens plan Forelesning 11: Automatisk bevissøk III fri-variabel kompletthet og repetisjon av sunnhet Martin Giese 1 Institutt for informatikk, Universitetet i Oslo 2 31. april 2008 Institutt
DetaljerPlenumsregning 1. MAT1030 Diskret Matematikk. Repetisjon: Algoritmer og pseudokode. Velkommen til plenumsregning for MAT1030
MAT1030 Diskret Matematikk Plenumsregning 1: Kapittel 1 Mathias Barra Matematisk institutt, Universitetet i Oslo Plenumsregning 1 16. januar 2009 (Sist oppdatert: 2009-02-02 14:21) MAT1030 Diskret Matematikk
DetaljerMAT1030 Forelesning 14
MAT1030 Forelesning 14 Mer om funksjoner Dag Normann - 3. mars 2010 (Sist oppdatert: 2010-03-03 15:01) Kapittel 6: Funksjoner Injektive funksjoner Igår begynte vi på kapitlet om funksjoner f : X Y, og
DetaljerMAT1030 Diskret Matematikk
MAT1030 Diskret Matematikk Plenumsregning 1: Kapittel 1 Mathias Barra Matematisk institutt, Universitetet i Oslo 16. januar 2009 (Sist oppdatert: 2009-02-02 14:21) Plenumsregning 1 MAT1030 Diskret Matematikk
DetaljerEKSAMEN. Emnekode: Emne: Matematikk for IT ITF Eksamenstid: Dato: kl til kl desember Hjelpemidler: Faglærer:
EKSAMEN Emnekode: ITF0705 Dato: 7. desember 0 Emne: Matematikk for IT Eksamenstid: kl 09.00 til kl 3.00 Hjelpemidler: To A4-ark med valgfritt innhold på begge sider. Kalkulator er ikke tillatt. Faglærer:
DetaljerDet utsagnslogiske spraket: konnektiver og formler. Semantikk: Denisjon av sannhet og gyldighet
Forelesning 4-13. februar 2006 Intuisjonistisk logikk 1 Intuisjonistisk logikk 1.1 Innledning Til na i kurset Det utsagnslogiske spraket: konnektiver og formler Bevissystem: sekventkalkylen LK for klassisk
DetaljerINF1080 Logiske metoder for informatikk. 1 Små oppgaver [70 poeng] 1.1 Grunnleggende mengdelære [3 poeng] 1.2 Utsagnslogikk [3 poeng]
INF1080 Logiske metoder for informatikk Digital eksamen (med løsningsforslag) Dette er et utkast til løsningsforslag til eksamen i INF1080, og feil kan forekomme. Hvis du finner noen feil, si ifra til
DetaljerINF1800 LOGIKK OG BEREGNBARHET
INF1800 LOGIKK OG BEREGNBARHET FORELESNING 15: UTSAGNSLOGIKK Roger Antonsen Institutt for informatikk Universitetet i Oslo 7. oktober 2008 (Sist oppdatert: 2008-10-07 20:59) Sekventkalkyle for utsagnslogikk
DetaljerSANNSYNLIGHETSREGNING
SANNSYNLIGHETSREGNING Er tilfeldigheter tilfeldige? Når et par får vite at de skal ha barn, vurderes sannsynligheten for pike eller gutt normalt til rundt 50/50. Det kan forklare at det fødes omtrent like
DetaljerSekventkalkyle for utsagnslogikk
INF1800 LOGIKK OG BEREGNBARHET FORELESNING 15: UTSAGNSLOGIKK Roger Antonsen Sekventkalkyle for utsagnslogikk Institutt for informatikk Universitetet i Oslo 7. oktober 2008 (Sist oppdatert: 2008-10-07 20:59)
DetaljerEksamensoppgave i MA0301 Elementær diskret matematikk løsningsforslag
Institutt for matematiske fag Eksamensoppgave i MA0301 Elementær diskret matematikk løsningsforslag Faglig kontakt under eksamen: Martin Strand Tlf: 970 7 848 Eksamensdato: 3. mai 014 Eksamenstid (fra
DetaljerINF1080 Logiske metoder for informatikk. 1 Små oppgaver [70 poeng] 1.1 Grunnleggende mengdelære [3 poeng] 1.2 Utsagnslogikk [3 poeng]
INF1080 Logiske metoder for informatikk Digital eksamen Tid: Onsdag 7. desember 2016 kl. 14.30 18.30 (4 timer) Tillatte hjelpemidler: Ingen Eksamen består av to deler som er verdt omtrent like mye. Den
DetaljerTrue False. Q(0, 1, 2) yq(0, y, y) x yq(x, y, 10) x yq(x, y, x + x) y xq(x, y, x + x) x y Q(x, y, x + x) y x Q(x, y, x + x) x y zq(x, y, z)
BOKMÅL-MNF130 Kand.nr:... Det matematisk-naturvitenskapelige fakultet UNIVERSITETET I BERGEN Eksamen i emnet MNF130 - Diskrete Strukturer Onsdag 8. juni 2005, kl. 09-14, dvs 5 timer. Skriv ditt kanidatnr
DetaljerFørsteordens sekventkalkyle
INF3170 Logikk Forelesning 7: Sekventkalkyle for førsteordens logikk Roger Antonsen Institutt for informatikk, Universitetet i Oslo Førsteordens sekventkalkyle 16. mars 2010 (Sist oppdatert: 2010-04-06
DetaljerINF4170 { Logikk. Forelesning 1: Utsagnslogikk. Arild Waaler. 20. august Institutt for informatikk, Universitetet i Oslo
INF4170 { Logikk Forelesning 1: Utsagnslogikk Arild Waaler Institutt for informatikk, Universitetet i Oslo 20. august 2013 Dagens plan 1 Utsagnslogikk 2 Sekventkalkyle 3 Sunnhet 4 Kompletthet Institutt
DetaljerDisposisjon for faget
Side 1 for Exphil03 Hva er Exphil 26. august 2014 17:16 Disposisjon for faget Hva er kunnskap Hva kan vi vite sikkert Hvordan kan vi vite Kan vi vite noe sikkert Metafysikk, hva er virkelig De mest grunnleggende
Detaljer