Matematikens grundvalar och programmering av datorer
|
|
- Ellen Persson
- för 8 år sedan
- Visningar:
Transkript
1 Matematikens grundvalar och programmering av datorer Bengt Nordström Datavetenskap, Chalmers och Göteborgs Universitet, 14 februari, 2005
2 Datorerna föddes ur logiken 1870: Cantor: Det finns minst två slags oändligheter : Diskussion om matematikens grunder (Frege, Russel) 1928: Hilbert. Kan vi konstruera en metod som avgör om en matematisk sats är sann eller inte? 1930: Logiker studerade beräkningsbarhet: Turing, Church, Kleene, Gödel, Hilbert 1940: De första datorerna
3 De första datorerna von Neuman och EDVAC, designad 1945 ENIAC 1945
4 BESK 1953 BESK 1953 Tangentbordet BESKs konstruktörer Erik Stemme, Gösta Neovius och Olle Karlström.
5 Under 1960-talet började man använda integrerade kretsar.
6 1965: Moores observation Moores observation Goordon Moore lade märke till att antalet komponenter i en integrerad krets tiofaldigades vart tredje år : 50 komponenter 1968 : : : ???
7 Och Moore fick nästan rätt!
8 Varje decennium 10-faldigades allt
9 Men datorerna består inte bara av hårdvara. Antalet program ökade antagligen ocksa exponentiellt. Men hur fungerar de? (Demo)
10 Microsoft XP Lanserades den 25 oktober 2001 Samma dag lade bolaget ut ändringar på sin web-sida (18 miljoner tecken!) Två av dessa skulle fixa viktiga brister i säkerheten. Endast en fungerade. Innan man uppdaterar skall man enligt bolaget först spara viktiga filer på en speciell floppy-disk. Men som Microsofts Online Data Base säger: De speciella floppy-diskarna som är skapade av Windows XP Home do not work with Windows XP Home.
11 Kritiska tillämpningar: kraftverk flygplan (fly-by-wire) bilar överföring av pengar Komplicerade system som ingen människa förstår. Livsviktigt att de fungerar!
12 Computer Related Airplane Incidents and Accidents China Airlines Airbus A300 in Taipei (1998) The Korean Air Lines B747 CFIT Accident in Guam (1997) The FedEx MD11 Accident on Landing at Newark (1997) The Birgen Air B757 accident near Puerto Plata (1996) News on the Aeroperu B757 accident (1996) The Ariane 5 Failure (1996) The T-43A Accident near Dubrovnik (1996) Information About the Martinair B767 EFIS-loss Incident near Boston, MA The American Airlines B757 Accident in Cali (1995) The A320 Maintenance Incident at Gatwick (1995) The A330 Flight-Test Accident in Toulouse (1994) The Tokyo-London A340 FMGS Problem (1994) The A300 Crash in Nagoya (1994) The A320 Accident in Warsaw(1993) The Air Inter A320 Accident near Strasbourg(1992) The Sydney A320/DC10 Incident (1991) The Lauda Air B767 Accident (1991) (prof Peter Bladkin, 1999)
13 Exempel: Sizewell B För att stänga reaktorn används ett program som är rader långt. Fungerar det? Under 1993 gjorde man mer än tester i Programmet gick fel i hälften av fallen.
14 Varför? Lätt att skriva ett program. Svårt att skriva ett korrekt program. Vad betyder det att skriva ett korrekt program?
15 Hur vet vi att ett program är korrekt? Traditionellt: Vi testar om programmet fungerar ibland. Önskvärt: Vi bevisar att programmet alltid löser sin uppgift.
16 Kunskap av olika precision tyst språk (Ingemar Stenmark: Dä ä ba och åk!) naturligt språk (kan tolkas av en människa) formellt språk (kan tolkas av en maskin)
17 Vilken precision har olika delar inom programmeringen? Precision hos: inget språk naturligt språk formellt språk program alltid uppgift vanligt ibland sällsynt bevis ofta ibland sällsynt
18 Exempel på hur ett formellt bevis kan se ut:
19 Datavetenskapen har nytta av och ställer krav på Logik. Men vi kan också bidra.
20 En mänsklig konstruktion (t.ex. en bil, ett verktyg, en bro, ett programmeringsspråk eller en formell logik) kan studeras på olika sätt: i teorin (genom att göra en matematisk modell) i praktiken, genom att förverkliga konstruktionen experimentera med den (genom att använda den) Det är först under de senaste decennierna som vi har lyckats implementera och experimentera med olika logiska formalismer.
21 Teoretiska studier av ett logiskt språk (sedan 1930-talet) Vi ser på en logik som ett matematiskt objekt och resonerar matematiskt om olika egenskaper hos språket (normalisering, subjekt reduktion etc) Praktiska studier (sedan 1990) implementering: beviskontroll, teorembevisare, beviseditor. experiment: bygger bevis med hjälp av en dator.
22 Vi kan använda datorer för att kontrollera bevis Bevis av programs egenskaper Exempel: Resonera om JavaCard-program Säkerhetskritiska exempel Matematiska bevis Exempel: Egenskaper hos logiska system Keplers förmodan Algebrans fundamentalsats
23 Konsekvenser av ett stigande praktiskt intresse Teoretiska studier av en logik reducerar logiken till ett matematiskt objekt, man betonar intressanta matematiska egenskaper. Logiska språk med intressanta praktiska egenskaper kommer att utvecklas (vi är intresserad av att använda, inte bara studera) Ökat intresse av semantik och grundvalsproblem.
24 Argument mot formalism Formalism Matematiken handlar om att manipulera symboler med hjälp av givna regler Mot formalism När vi använder en logik för att bevisa egenskaper hos program vill vi ha en riktig semantik. Egenskaper måste ha en mening i verkligheten.
25 Program är konkreta matematiska objekt konkreta Program tar fysiskt utrymme (som byggnader, stolar, etc). En programmerare konstruerar ett program i samma anda som en snickare tillverkar ett bord. Objekt sätts ihop av delar med vissa egenskaper och det är en viktig del av konstruktionsprocessen att övertyga sig om att dessa egenskaper gäller. matematiska Funktionella programmeringsspråk, typteori.
26 Sammanfattning Under de senaste århundranden utvecklades den matematiska analysen från framsteg inom fysiken. På samma sätt kommer logiken i framtiden att utvecklas från starka praktiska behov av korrekta datorsystem och nya möjligheter till logiska experiment. Inom logiken kommer intresset att skiftas från ett intresse av syntax till semantik och från teori till praktik. Grundvalsfrågor inom matematik och logik har plötsigt blivit praktiskt viktiga.
Grundläggande programmeringsteknik Datorsystem
Datorsystem Från abakus till Z3 Datorsystem Från kursplanen Moment 3, Datorsystem 3hp I detta moment ges en introduktion till datorsystem och dess uppbyggnad. Minneshantering, vad en CPU är och gör samt
Läs merFöreläsning 5. Deduktion
Föreläsning 5 Deduktion Hur ett deduktivt system fungerar Komponenter - Vokabulär Ett deduktivt system använder ett visst slags språk som kan kallas för systemets vokabulär. I mindre formella fall är kanske
Läs merel o;; Utbildningsplan för Kognitionsvetenskapligt kandidatprogram Bachefor Programmein Cognitive Science 180 Högskolepoäng
el o;; Utbildningsplan för Kognitionsvetenskapligt kandidatprogram Bachefor Programmein Cognitive Science 180 Högskolepoäng Kognitionsvetenskap är ett tvärvetenskapligt kunskaps- och forskningsområde som
Läs merF5 Introduktion till digitalteknik
George Boole och paraplyet F5 Introduktion till digitalteknik EDAA05 Roger Henriksson Jonas Wisbrant p = b! (s " r) George Boole (1815-1864) Professor i Matematik, Queens College, Cork, Irland 2 Exklusiv
Läs merBERÄKNINGSKONSTENS HISTORIA - Från kulram till dator
BERÄKNINGSKONSTENS HISTORIA - Från kulram till dator 3000 f.kr - 1981 Gunnar Holmdahl Några av de första uppfinningarna Noll uppfanns (1900 f.kr) MDCCXI dividerat med LIX = XXIX? 1711 / 59 = 29 I det sumeriska
Läs mer7, Diskreta strukturer
Objektorienterad modellering och diskreta strukturer 7, Diskreta strukturer Sven Gestegård Robertz Datavetenskap, LTH 2015 Modeller Matematiska modeller Kontinuerliga modeller Kontinuerliga funktioner
Läs merDatorhistoria Introduktion till PBL
Datorhistoria Erfarenheter Inlärningsmål Ämne: Datorhistorik Första datorn? Eniac 1946? Definiera dator Internationellt? Svenskt? Dator = räknehjälpmedel? Mer räknehjälpmedel Abacus (kulram) c:a 3000 fkr
Läs merViktiga moment i kursplanen
Viktiga moment i kursplanen En process där eleverna medverkar aktivt genom att tillsammans bygga, experimentera, undersöka, ställa frågor och kommunicera ger en mängd fördelar. Flera exempel på aktiviteter
Läs merDATORER OCH PROGRAM. Datorn är en symbolmaskin
DATORER OCH PROGRAM Datorn är en symbolmaskin men kan ha såväl symboliska som fysiska gränssnitt till omvärlden Program beteendeplan och beteendegenerator Programmerade maskiner Generalitet och portabilitet
Läs merProgrammering. Seminarier i datavetenskap, datorteknik och informationsteknik. Niklas Broberg niklas.broberg@chalmers.
Programmering Seminarier i datavetenskap, datorteknik och informationsteknik Niklas Broberg niklas.broberg@chalmers.se 2015-09-24 Hur många från Datavetenskap? Datateknik? Informationsteknik? Översikt
Läs merVarför är logik viktig för datavetare?
Varför är logik viktig för datavetare? 1. Datavetenskap handlar ofta om att automatisera processer som tidigare styrts av människor. Intuition, intelligens och mänskliga resonemang ersätts av beräkningar.
Läs merDATORER OCH PROGRAM. Programmerade maskiner Program beteendeplan och beteendegenerator Generalitet och portabilitet Datorn är en symbolmaskin
DATORER OCH PROGRAM Programmerade maskiner Program beteendeplan och beteendegenerator Generalitet och portabilitet Datorn är en symbolmaskin men kan ha såväl symboliska som fysiska gränssnitt till omvärlden
Läs merDatavetenskapliga programmet, 180 hp
HÖGSKOLAN I GÄVLE UTBILDNINGSPLAN GRUNDNIVÅ DATAVETENSKAPLIGA PROGRAMMET Programkod: TGDAK Inriktningskod IT-arkitekt: ITAR Inriktningskod visiomatik: VISI Fastställd av NT-nämnden 2006-09-21 Reviderad
Läs merIT OCH PROGRAMMERING I SKOLAN. Jan Erik Moström Peter Vinnervik
IT OCH PROGRAMMERING I SKOLAN Jan Erik Moström Peter Vinnervik VILKA ÄR VI OCH VAD KOMMER VI ATT PRATA OM? Jan Erik Moström - undervisar på institutionen för datavetenskap Peter Vinnervik - doktorand vid
Läs merDatorarkitekturer. Sammanfattande bedömning. Ämnesbeskrivning
Datorarkitekturer Sammanfattande bedömning Datorarkitektur är det teknikvetenskapliga ämne som behandlar principer för konstruktion av datorsystem. Datorns arkitektur definierar ett funktionellt gränssnitt
Läs merIntroduktion till logik
Introduktion till logik Av Johan Johansson Johan.johansson@guldstadsgymnasiet.se Logik sägs som många andra saker komma från de grekiska filosoferna, och ordet kommer också därifrån. Grekerna kallade det
Läs merUtbildningsplan Dnr CF 52-66/2007. Sida 1 (7)
Utbildningsplan Dnr CF 52-66/2007 Sida 1 (7) PROGRAMMET FÖR SIMULERING OCH DATASPELSUTVECKLING, 180 HÖGSKOLEPOÄNG Programme in Simulation and Computer Game Development, 180 ECTS Utbildningsplanen är inrättad
Läs merAutomationsingenjör, 180 hp
1 (5) Utbildningsplan för: Automationsingenjör, 180 hp Automation Engineering, 180 Credits Allmänna data om programmet Programkod Tillträdesnivå Diarienummer TAUMG Grundnivå MIUN 2013/2104 Högskolepoäng
Läs merUnderlag för arbete med kvalitetsindikatorn
Utbildningsförvaltningen Avdelningen för utveckling och samordning Underlag Underlag för arbete med kvalitetsindikatorn Anteckningssidor med plats för avstämningar och reflektioner utifrån Stockholms stads
Läs merKursplan. Ämnesövergripande
Ämnesövergripande Processen när eleverna aktivt bygger, programmerar, undersöker, skriver och kommunicerar påverkar deras utveckling på många olika sätt. Här finns en unik möjlighet att arbeta gränsöverskridande
Läs merDynamisk programvara, ett didaktiskt verktyg?
Dynamisk programvara, ett didaktiskt verktyg? På SMDF:s årsmöte 24 jan 2003 höll Sveriges första professor i matematikdidaktik, Rudolf Strässer, ett föredrag rubricerat Learning Geometry in Secondary Schools.
Läs merLEGO MINDSTORMS Education EV3
LEGO MINDSTORMS Education EV3 Framtiden tillhör de kreativa πr ROBOTAR OCH IT KREATIVITET SAMARBETE PROBLEMLÖSNING EV3 en evolution av MINDSTORMS Education! LEGO MINDSTORMS Education har bevisat att det
Läs merExplorativ övning 11 GEOMETRI
Explorativ övning 11 GEOMETRI Syftet med denna övning är att ge kunskaper om grundläggande geometriska begrepp och resultat om geometriska figurer. Vi vill också ge en uppfattning om geometri som en matematisk
Läs mer4-7 Pythagoras sats. Inledning. Namn:..
Namn:.. 4-7 Pythagoras sats Inledning Nu har du lärt dig en hel del om trianglar. Du vet vad en spetsig och en trubbig triangel är liksom vad en liksidig och en likbent triangel är. Vidare vet du att vinkelsumman
Läs merGrundläggande logik och modellteori
Modeller och uttrycksfullhet hos predikatlogik Department of mathematics Umeå university Föreläsning 10 Dagens föreläsning 1 Innehåll på resten av kursen 2 Varför verifikation? Formella metoder för verifikation
Läs merDigitalt lärande och programmering i klassrummet
Digitalt lärande och programmering i klassrummet Innehåll Programmering Vad är programmering och varför behövs det? Argument för (och emot) programmering Kort introduktion om programmering Några grundbegrepp
Läs merAvslutning. Vad? Hur? Anmärkningar inför tentan 2. Vad ska ni kunna?
Avslutning Anmärkningar inför tentan Vad ska ni kunna? Avslutning 1 Vad? Anmärkningar inför tentan 1 Att ha en bra förståelse för det som behandlades på föreläsningarna, inlämningsuppgifterna och gruppövningarna
Läs mer1 ALLMÄNNA BESTÄMMELSER. 1.1 Allmänna mål. 1.2 Särskilda mål. Examensbeskrivning Konstnärlig kandidatexamen
2012-05-30 Utbildningsplan för Kandidatprogrammet Inredningsarkitektur och möbeldesign Gäller från HT 2012. Prefektbeslut 2011-09-09. Fastställd av KU-nämnden 2012-05-30. 1 ALLMÄNNA BESTÄMMELSER 1.1 Allmänna
Läs merUTBILDNINGSPLAN. Högskoleingenjörsutbildning i datateknik, 180 högskolepoäng. Computer Engineering Programme, 180 ECTS Credits
Dnr: 1013/2007-510 Grundutbildningsnämnden för matematik, naturvetenskap och teknik UTBILDNINGSPLAN Högskoleingenjörsutbildning i datateknik, 180 högskolepoäng Computer Engineering Programme, 180 ECTS
Läs merT1-modulen Lektionerna 10-12. Radioamatörkurs OH6AG - 2011 OH6AG. Bearbetning och översättning: Thomas Anderssén, OH6NT Heikki Lahtivirta, OH2LH
T1-modulen Lektionerna 10-12 Radioamatörkurs OH6AG - 2011 Bearbetning och översättning: Thomas Anderssén, OH6NT Original: Heikki Lahtivirta, OH2LH 1 Logikkretsar Logikkretsarna är digitala mikrokretsar.
Läs merGrunderna i stegkodsprogrammering
Kapitel 1 Grunderna i stegkodsprogrammering Följande bilaga innehåller grunderna i stegkodsprogrammering i den form som används under kursen. Vi kommer att kort diskutera olika datatyper, villkor, operationer
Läs merTommy Färnqvist, IDA, Linköpings universitet. 2 Strukturer 2 2.1 Domäner... 2 2.2 Tolkningar... 3
Föreläsning 2 Semantik 729G06 Logikdelen Föreläsningsanteckningar i Programmering och logik 27 januari 2014 Tommy Färnqvist, IDA, Linköpings universitet 2.1 Innehåll Innehåll 1 Lite mer syntax 1 2 Strukturer
Läs merFTEA12:4 Vetenskapsteori. Deduktiv metod - Falsifikationism -
FTEA12:4 Vetenskapsteori Deduktiv metod - Falsifikationism - Falsifikationism Karl Popper, 1902-1994 The Logic of Scientific Discovery (1934) Falsifikationisten anammar gladeligen tesen att observation
Läs merTentamen i kurserna Beräkningsmodeller (TDA181/INN110) och Grundläggande Datalogi (TDA180)
Göteborgs Universitet och Chalmers Tekniska Högskola 19 januari 2005 Datavetenskap TDA180/TDA181/INN110 Tentamen i kurserna Beräkningsmodeller (TDA181/INN110) och Grundläggande Datalogi (TDA180) Onsdagen
Läs merBakgrund. Bakgrund. Bakgrund. Håkan Jonsson Institutionen för systemteknik Luleå tekniska universitet Luleå, Sverige
Är varje påstående som kan formuleras matematiskt*) alltid antingen sant eller falskt? *) Inom Institutionen för systemteknik Luleå tekniska universitet Luleå, Sverige Exempel: 12 = 13 nej, falskt n! >
Läs merMålet med undervisningen är att eleverna ska ges förutsättningar att:
Fysik Mål Målet med undervisningen är att eleverna ska ges förutsättningar att: - använda kunskaper i fysik för att granska information, kommunicera och ta ställning i frågor som energi, teknik, miljö
Läs merLINKÖPINGS TEKNISKA HÖGSKOLA
Utdrag ur LITHs Studiehandbok Programspecifik infromation Matematik ht-1998 Studiehandboken finns på http://www.lith.liu.se/sh/ LINKÖPINGS TEKNISKA HÖGSKOLA c4 UTBILDNINGSPROGRAMMET FÖR MATEMATIK, 120-160
Läs merAtt välja kurser på Datateknik år 4-5
Att välja kurser på Datateknik -5 Inledning På D-programmet är alla kurser i årskurs 1-3 obligatoriska. Efter det är alla kurser valfria. Det skapar möjligheter för dig att sätta din egen prägel på utbildningen
Läs merStyrdokumentkompendium
Styrdokumentkompendium Information och kommunikation 2 Sammanställt av Joni Stam Inledning Jag brukar säga till mina elever, halvt på skämt och halvt på allvar, att jag förhåller mig till kursens centrala
Läs merMatematik och statistik
och statistik ens betydelse inom olika vetenskapsgrenar har på ett avgörande sätt ökat sedan början av förra århundradet. De facto är vetenskapernas "matematisering" ett av vår tidsålders, den tekniskvetenskapliga
Läs merFöreläsning 1 & 2 INTRODUKTION
Föreläsning 1 & 2 INTRODUKTION Denna föreläsning Vad händer under kursen? praktisk information Kursens mål vad är programmering? Skriva små program i programspråket Java Skriva program som använder färdiga
Läs merKvalitetsutvärdering av matematik och matematisk statistik och närliggande huvudområden
BESLUT 1(2) 2013-09-06 411-00308-13 Handläggare Loulou von Ravensberg 08-563 085 47 loulou.von.ravensberg@uk-ambetet.se Rektorer vid berörda lärosäten Kvalitetsutvärdering av matematik och matematisk statistik
Läs merLogik. Boolesk algebra. Logik. Operationer. Boolesk algebra
Logik F4 Logik Boolesk algebra EDAA05 Roger Henriksson Jonas Wisbrant Konsten att, och vetenskapen om, att resonera och dra slutsatser. Vad behövs för att man ska kunna dra en slutsats? Hur kan man dra
Läs merMATEMATIK 3.5 MATEMATIK
TETIK 3.5 TETIK Matematiken har en flertusenårig historia med bidrag från många kulturer. Den utvecklas såväl ur praktiska behov som ur människans nyfikenhet och lust att utforska matematiken som sådan.
Läs merHands-On Math. Matematikverkstad. Förskolans nya läroplan 1 juli 2011. Matematik är en abstrakt och generell vetenskap
Hands-On Math Matematikverkstad 09.00 10.30 & 10.45 12.00 Elisabeth.Rystedt@ncm.gu.se Lena.Trygg@ncm.gu.se eller ett laborativt arbetssätt i matematik Laborativ matematikundervisning vad vet vi? Matematik
Läs merCV - John Berggren - Sommarjobb GKN
Namn: John Berggren Adress: Frälsegårdsgatan 10 461 54 Trollhättan Personnummer: 19941116-4875 CV - John Berggren - Sommarjobb GKN Telefon: 0737414601 E-post: JohnEbbeBerggren@Gmail.com/johnber@student.chalmers.se
Läs merKONSTRUKTION. Ämnets syfte. Kurser i ämnet
KONSTRUKTION Ämnet konstruktion behandlar konstruktionsprocesser från idé till färdig produkt, där syftet är att utforma och dimensionera produkter med sikte på ändamålsenlig formgivning, funktion och
Läs merSagt & gjort. House of Alvik
House of Alvik För drygt två år sedan fick eleverna i årskurs 5 och 6 på Alviksskolan i Luleå egna datorer. I samband med det började jag, som undervisar i matematik, no och bild, och min kollega, som
Läs merUtbildningsplan för. International Software Engineering, 180 högskolepoäng
Utbildningsplan för Dnr 56-1113/07 International Software Engineering, 180 högskolepoäng (International Software Engineering, 180 ECTS credit points) 1. Allmän information Software Engineering Software
Läs merTDDD02 Föreläsning 2 HT-2013. Reguljära uttryck och reguljära språk Lars Ahrenberg
TDDD02 Föreläsning 2 HT-2013 Reguljära uttryck och reguljära språk Lars Ahrenberg Översikt Reguljära uttryck sökproblem i texter definitioner och exempel UNIX-funktionen grep Reguljära transformationer
Läs merSkolverkets förslag till kursplan i matematik i grundskolan. Matematik
Matematik Matematiken har en mångtusenårig historia med bidrag från många kulturer. Den har utvecklats ur människans praktiska behov och hennes naturliga nyfikenhet och lust att utforska. Matematisk verksamhet
Läs merDen här texten ska förhoppningsvis underlätta en del av anpassningarna. Det kan säkert finnas en del fel och annat tok.
Ver Okt 2011/pls Windows7, GX-IEC Developer, USB-adapter I olika kurser i styrteknik på Högskolan Dalarna används ett styrsystem från Mitsubishi och programvaran GX-IEC Developer. Kurserna går på distans
Läs merI D C : S Y T T R A N D E. Sponsrad av: VMware. Brett Waldman Maj 2013
Globalt huvudkontor: 5 Speen Street Framingham, MA 01701, USA Tel. 508,872.8200 Fax 508,935.4015 www.idc.com V I T B O K B yg g vi d a r e p å d i n l ö s n i n g f ö r l i vs c yk e l h a n t e r i n
Läs merSmart låsning utan nyckel.
Smart låsning utan nyckel. Glöm dina gamla nycklar! En borttappad nyckel till ett mekaniskt låssystem kan Anledningar bli en riktig till dyr varför historia du som bör åtföljs av fl era dagars gå över
Läs merFöreläsning 8: Intro till Komplexitetsteori
Föreläsning 8: Intro till Komplexitetsteori Formalisering av rimlig tid En algoritm som har körtid O(n k ) för någon konstant k är rimligt snabb. En algoritm som har körtid Ω(c n ) för någon konstant c>1
Läs merKONSTRUKTION. Ämnets syfte
KONSTRUKTION Ämnet konstruktion behandlar konstruktionsprocesser från idé till färdig produkt, där syftet är att utforma och dimensionera produkter med sikte på ändamålsenlig formgivning, funktion och
Läs merProgrammering och digital kompetens
Kollegialt lärande Föreläsning Workshop Programmering och digital kompetens Lärcafé, 14 juni OSÄKERHET RÄDSLA NYFIKENHET FÖRVALTARE OCH ENTREPRENÖRER Kompetensutveckling Skolverket släpper en modul i oktober.
Läs merDD1350 Logik för dataloger. Vad är logik?
DD1350 Logik för dataloger Fö 1 - Introduktion Vad är logik? Vetenskapen som studerar hur man bör resoneraoch dra slutsatser utifrån givna påståenden (=utsagor, satser). 1 Aristoteles (384-322 f.kr) Logik
Läs merF5 Introduktion till digitalteknik
Exklusiv eller XOR F5 Introduktion till digitalteknik EDAA05 Roger Henriksson Jonas Wisbrant På övning 2 stötte ni på uttrycket x = (a b) ( a b) som kan utläsas antingen a eller b, men inte både a och
Läs merFöreläsning 11. Giriga algoritmer
Föreläsning 11 Giriga algoritmer Föreläsning 11 Giriga algoritmer Användning Växelproblemet Kappsäcksproblemet Schemaläggning Färgläggning Handelsresandeproblemet Uppgifter Giriga algoritmer (Greedy algorithms)
Läs merVad är semantik? LITE OM SEMANTIK I DATORLINGVISTIKEN. Språkteknologi semantik. Frågesbesvarande
LITE OM SEMANTIK I DATORLINGVISTIKEN (FORMELL SEMANTIK) Vad är semantik? Form (abstrakt struktur): grammatik Innehåll (betydelse): semantik Användning: pragmatik/diskurs Mats Dahllöf Språkteknologisk motivation
Läs merBER AKNINGSBARHET F OR DATALOGER. Kent Petersson. Institutionen for Datavetenskap Goteborgs Universitet / Chalmers Goteborg, Sweden
BER AKNINGSBARHET F OR DATALOGER Fran till P Kent Petersson Institutionen for Datavetenskap Goteborgs Universitet / Chalmers 412 96 Goteborg, Sweden ii Kent Petersson Department of Computer Science Goteborgs
Läs merLektion 1: Fördelningar och deskriptiv analys
Density Lektion 1: Fördelningar och deskriptiv analys 1.,3 Uniform; Lower=1; Upper=6,3,2,2,1,, 1 2 3 X 4 6 7 Figuren ovan visar täthetsfunktionen för en likformig fördelning. Kurvan antar värdet.2 över
Läs merC: Skrollhjul D: Batterihållare E: På/Av-knapp F: Anslutningsknapp G: Optisk rörelsesensor. Installation SE
Produktinformation Mottagare Mus Knappsats A: Indikator B: Anslutningsknapp C: Skrollhjul D: Batterihållare E: På/Av-knapp F: Anslutningsknapp G: Optisk rörelsesensor H: Batterihållare I: Anslutningsknapp
Läs merF1 Introduktion och ingenjörsrollen EDAA05 Datorer i system! Roger Henriksson!
F1 Introduktion och ingenjörsrollen EDAA05 Roger Henriksson I kursen får du en introduktion till de frågeställningar och problemområden som omfattas av D-programmet och ämnet datavetenskap och underlättar
Läs merUndervisningen i ämnet mekatronik ska ge eleverna förutsättningar att utveckla följande:
MEKATRONIK Mekatronik är en sammanslagning av mekanik och elektronik. De två teknikområdena slås ihop för att man ska kunna studera sådan teknisk utrustning i vardagen som integrerar elektriska och mekaniska
Läs merUtbildningsplan. Maskiningenjör - produktutveckling BSc in Mechanical Engineering - Product Development 180 högskolepoäng
Utbildningsplan Maskiningenjör - produktutveckling BSc in Mechanical Engineering - Product Development 180 högskolepoäng Ladokkod: TGMAI Version: 1.0 Utbildningsnivå: Grundnivå Fastställd av: Forsknings-
Läs merF1 Introduktion och ingenjörsrollen
F1 Introduktion och ingenjörsrollen EDAA05 Roger Henriksson Jonas Wisbrant I kursen får du en introduktion till de frågeställningar och problemområden som omfattas av D-programmet och ämnet datavetenskap
Läs merSemantik och pragmatik
Semantik och pragmatik OH-serie 4 http://stp.lingfil.uu.se/~matsd/uv/uv12/semp/ Mats Dahllöf Institutionen för lingvistik och filologi Januari 2012 Om barnet har svårt att andas eller har ont i bröstet
Läs merK3 Om andra ordningens predikatlogik
KTH Matematik Bengt Ek Maj 2005 Kompletteringsmaterial till kursen 5B1928 Logik för D1: K3 Om andra ordningens predikatlogik Vi presenterar på dessa sidor kortfattat andra ordningens predikatlogik, vilket
Läs merIntegration av matematik och teknik på ingenjörsutbildningar
Integration av matematik och teknik på ingenjörsutbildningar BTH, Sektionen för teknik: Anders Hultgren Wlodek Kulesza Magnus Nilsson Lunds universitet, Matematikcentrum Björn Walther m m v2(t) 2 k2 b2
Läs merDel ur Lgr 11: kursplan i slöjd i grundskolan
Del ur Lgr 11: kursplan i slöjd i grundskolan 3.16 Slöjd Att tillverka föremål och bearbeta material med hjälp av redskap är ett sätt för människan att tänka och uttrycka sig. Slöjdande är en form av skapande
Läs mer7, Diskreta strukturer
Objektorienterad modellering och diskreta strukturer 7, Diskreta strukturer Sven Gestegård Robertz Datavetenskap, LTH 2013 1 Inledning 2 Satslogik Inledning Satslogiska uttryck Resonemang och härledningar
Läs mereck utv relativt väl ecklade utv goda relativt väl ecklade elativt väl förhållandevis stor utv lade och r 213
ÖJD 3.16 ÖJD Att tillverka föremål och bearbeta material med hjälp av redskap är ett sätt för människan att tänka och uttrycka sig. Slöjdande är en form av skapande som innebär att finna konkreta lösningar
Läs merFilosofisk Logik. föreläsningsanteckningar/kompendium (FTEA21:4) v. 2.0, den 5/ Kompakthet och Löwenheim-skolemsatsen
Filosofisk Logik (FTEA21:4) föreläsningsanteckningar/kompendium VI v. 2.0, den 5/5 2014 Kompakthet och Löwenheim-skolemsatsen 19.6-19.7 Närhelst vi har en mängd satser i FOL som inte är självmotsägande
Läs mer[FOKUSOMRÅDE LÄRANDE & UTVECKLING]
Lärande & utveckling En kvalitetsanalys inom det systematiska kvalitetsarbetet Läsåret 2014/2015 Förskolan Åskullen Barn- och utbildningsförvaltningen www.karlskoga.se Läroplansmål (i sammanfattning) Förskolan
Läs merTeknikprogrammet, inriktning informations- och medieteknik
Teknikprogrammet, inriktning informations- och medieteknik Varför välja oss? Kursplan Presentation av våra datatekniska kurser Eftersom företag mycket sällan anställer gymnasieelever (de vill att ni ska
Läs merTENTAMEN. Kurs: Objektorienterad programmeringsmetodik 5DV133 Ansvarig lärare: Anders Broberg. VT-13 Datum: 13-06-05 Tid: kl 16.00-20.
Umeå Universitet Datavetenskap Anders Broberg 130605 TENTAMEN Kurs: Objektorienterad programmeringsmetodik 5DV133 Ansvarig lärare: Anders Broberg VT-13 Datum: 13-06-05 Tid: kl 16.00-20.00 Namn: Personnummer:
Läs merMATEMATIKENS SPRÅK. Syftet med denna övning är att med hjälp av logik lära oss att uttrycka matematik mer exakt,
Explorativ övning 1 MATEMATIKENS SPRÅK Syftet med denna övning är att med hjälp av logik lära oss att uttrycka matematik mer exakt, lära oss förstå språket. Vi skall försöka utveckla vårt matematiska språk,
Läs merDatorn föds. http://www.youtube.com/watch?v=anrjsigryjw
Datorkunskap Vad är en dator Datorer är maskiner som utför uppgifter och beräkningar med hjälp av givna instruktioner eller program. Datorer arbetar genom att låta maskin- och programvara interagera. Maskinvara
Läs merCOMPUTABILITY BERÄKNINGSBARHET. Källa: Goldschlager, Lister: Computer Science A Modern Introduction 2. upplaga 1988, Prentice Hall
COMPUTABILITY BERÄKNINGSBARHET Källa: Goldschlager, Lister: Computer Science A Modern Introduction 2. upplaga 1988, Prentice Hall Den centrala frågan: givet ett problem, kan det ha en algoritmisk lösning?
Läs merProgrammering A. Johan Eliasson johane@cs.umu.se
Programmering A Johan Eliasson johane@cs.umu.se 1 Jag Undervisar mest grundläggande programmering på Institutionen för datavetensakap Applikationsutveckling för iphone Applikationsutveckling i Java Datastrukturer
Läs merAngreppssätt. Vilka är våra studieobjekt? Population och stickprov
Angreppssätt Vilka är våra studieobjekt? 4:1 Population och stickprov Population = en mängd enheter som vi vill studera egenskaper & attityder för Ram = register eller annan förteckning över populationens
Läs merProjekt på Elektro i Haninge
Projekt på Elektro i Haninge Projektanhängare KTH-IS Haninge Jean-Pierre Leibig Lars Ödling Ingo Sander Piotr Kolodziejski Projekt - idé och utkast för metod att uppnå visst (större) resultat: ofta äv..
Läs merSanningsvärdet av ett sammansatt påstående (sats, utsaga) beror av bindeord och sanningsvärden för ingående påståenden.
MATEMATISK LOGIK Matematisk logik formaliserar korrekta resonemang och definierar formellt bindeord (konnektiv) mellan påståenden (utsagor, satser) I matematisk logik betraktar vi påståenden som antingen
Läs merUtveckling av undervisningen i matematik och datateknik i gymnasiet
Utveckling av undervisningen i matematik och datateknik i gymnasiet Ralph-Johan Back Åbo Akademi, Avdelningen för Informationsteknologi CREST Learning and Reasoning laboratoriet 22 mars 2007 Gymnasieundervisning
Läs mer1-6:an skriver sig till läsning läsåret 2006-2007.
Utvärdering av projektet 1-6:an skriver sig till läsning läsåret 2006-2007. Teknisk utrustning. Vi startade ht 2005 med att få nya datorer till gupp 1 och grupp 3. Platta skärmar installerades i alla 3
Läs merHÖGSKOLAN I GÄVLE UTBILDNINGSPLAN AVANCERAD NIVÅ. Besluts-, risk- och policyanalys Programkod: NABRP Fastställd av NT-nämnden 2009-09-17
HÖGSKOLAN I GÄVLE UTBILDNINGSPLAN AVANCERAD NIVÅ Besluts-, risk- och policyanalys Programkod: NABRP Fastställd av NT-nämnden 2009-09-17 Utbildningsplan Magisterprogram i Besluts-, risk- och policyanalys,
Läs merTEKNIK/EKONOMIPROGRAMMET, 120 POÄNG Programme for Business Economics and Engineering, 120 points
UTBILDNINGSPLAN TEKNIK/EKONOMIPROGRAMMET, 120 POÄNG Programme for Business Economics and Engineering, 120 points Fastställande av utbildningsplan Utbildningsplanen är fastställd av fakultetsnämnden för
Läs merINDUKTION OCH DEDUKTION
Explorativ övning 3 INDUKTION OCH DEDUKTION Syftet med övningen är att öka Din problemlösningsförmåga och bekanta Dig med olika bevismetoder. Vårt syfte är också att öva skriftlig framställning av matematisk
Läs merAktiv sittställning för alla. Justera efter dina behov
RH Mereo RH Mereo Nu lanserar RH en stol som också är ett arbetsredskap och ett affärsverktyg på samma gång. RH Mereo är konstruerad för att höja kapaciteten, både din egen och på hela arbetsplatsen. Den
Läs merTentamen: Programutveckling ht 2015
Tentamen: Programutveckling ht 2015 Datum: 2015-11-04 Tid: 09:00-13:00 Sal: Ansvarig: Resultat: Hjälpmedel: Maxpoäng: Betygsgränser: Anslås inom 3 veckor. Inga 40 p 20 p för G, 32 p för VG. Iakttag följande:
Läs merUmeå 13-29 april 2015 och lite till. För alla elever och pedagoger från förskoleklass till årskurs 9
Umeå 13-29 april 2015 och lite till För alla elever och pedagoger från förskoleklass till årskurs 9 Måndag 13 april [1] Fysikskoj med leksaker och flytande kväve Eleverna får själva prova på fysikleksaker
Läs merIndividuellt val, PASS A Tisdagar kl 1240-1410 och onsdagar kl 1420-1520
1 Individuellt val, PASS A Tisdagar kl 1240-1410 och onsdagar kl 1420-1520 Kurs Innehåll Poäng Period/åk 450 p Läsåret År 2 och 3 Musikprofilen, omfattar totalt 450 poäng, dvs hela utrymmet för det individuella
Läs merTal till Solomon Feferman
Ur: Filosofisk tidskrift, 2004, nr 1. Dag Westerståhl Tal till Solomon Feferman (Nedanstående text utgör det tal som Dag Westerståhl höll på Musikaliska Akademien i oktober 2003, i samband med att Feferman
Läs merGöteborg 15 januari 2008
Göteborg 15 januari 2008 Debatt Mina egna frågor i mötet med Reggio Emilia Varför väcker Reggio Emilias pedagogik så stort intresse runt om i hela världen? Inte bara bland pedagoger... Hur har de lyckats
Läs merDD1350 Logik för dataloger. Fö 7 Predikatlogikens semantik
DD1350 Logik för dataloger Fö 7 Predikatlogikens semantik 1 Kryssprodukt av mängder Om A och B är två mängder så är deras kryssprodukt A B mängden av alla par (a,b), där a A och b B. Ex: A={1,2}, B={3,4},
Läs mer729G04 Programmering och diskret matematik. Python 2: Villkorssatser, sanningsvärden och logiska operatorer
729G04 Programmering och diskret matematik Python 2: Villkorssatser, sanningsvärden och logiska operatorer Föreläsningsöversikt Vad händer när vi kör vår pythonkod? Programmerare Villkorssatser Jämförelser
Läs mer3:e generationen laserskrivare. Imaje 7000-serien. Gör mer med mindre YOU MAKE IT, WE MARK IT
3:e generationen laserskrivare Imaje Gör mer med mindre YOU MAKE IT, WE MARK IT En smart modulkonstruktion kan mer Imaje erbjuder en innovativ modulkonstruktion som består av tre separata komponenter (kontrollenhet,
Läs merLaboration 2 Elektriska kretsar Online fjärrstyrd laborationsplats Blekinge Tekniska Högskola (BTH)
Laboration 2 Elektriska kretsar Online fjärrstyrd laborationsplats Blekinge Tekniska Högskola (BTH) Växelspänningsexperiment Namn: Elektriska kretsar Online fjärrstyrd laborationsplats Blekinge Tekniska
Läs mer