Conways Game of life: Att simulera några av livets egenskaper genom en datorprogram
|
|
- Anna-Karin Jakobsson
- för 7 år sedan
- Visningar:
Transkript
1 Conways Game of life: Att simulera några av livets egenskaper genom en datorprogram Mario Natiello Centre for Mathematical Sciences Lund University Sweden Conways Game of life: Att simulera några av livets egenskaper genom en datorprogram p.1/16
2 Innehåll Vi kommer att behandla följande punkter: Game of Life Conways Game of life: Att simulera några av livets egenskaper genom en datorprogram p.2/16
3 Innehåll Vi kommer att behandla följande punkter: Game of Life Den cybernetiska idealen Conways Game of life: Att simulera några av livets egenskaper genom en datorprogram p.2/16
4 Innehåll Vi kommer att behandla följande punkter: Game of Life Den cybernetiska idealen Simulering: lek vs det verkliga livet Conways Game of life: Att simulera några av livets egenskaper genom en datorprogram p.2/16
5 Innehåll Vi kommer att behandla följande punkter: Game of Life Den cybernetiska idealen Simulering: lek vs det verkliga livet Vidareläsning Conways Game of life: Att simulera några av livets egenskaper genom en datorprogram p.2/16
6 Innehåll Vi kommer att behandla följande punkter: Game of Life Den cybernetiska idealen Simulering: lek vs det verkliga livet Vidareläsning Diskussionspunkter Conways Game of life: Att simulera några av livets egenskaper genom en datorprogram p.2/16
7 Innehåll Vi kommer att behandla följande punkter: Game of Life Den cybernetiska idealen Simulering: lek vs det verkliga livet Vidareläsning Diskussionspunkter END Conways Game of life: Att simulera några av livets egenskaper genom en datorprogram p.2/16
8 Game of Life I En 2-d rutnät med tomma och fyllda celler uppdateras enligt följande regler: En tom cell med exakt 3 fyllda grannceller blir fylld. En fylld cell med 0,1,4 eller mer fyllda grannceller blir tom. En fylld cell med 2 eller 3 fyllda grannceller förblir fylld. Hela rutnätet uppdateras på en gång. Frågan är hur mönstern med fyllda och tomma rutor utvecklas med varje uppdatering. Conways Game of life: Att simulera några av livets egenskaper genom en datorprogram p.3/16
9 Game of Life II Reglerna inspirerades i följande principer: Begynnelsemönster skall vara sådan att det inte finns en enkel bevis på att mängden fyllda rutor växer obegränsad. Det skall finnas begynnelsemönster som ser ut att växa obegränsad. Det skall finnas begynnelsemönster som utvecklas under ett antal uppdateringar för att sedan hamna i ett av följande tre situationer: Mönster med fyllda rutor dör ut. Mönster med fyllda rutor hamnar i en konfiguration som förblir oförändrad. Mönster med fyllda rutor hamnar i en oscillerande situation där den återkommer till samma konfiguration efter ett antal uppdateringar. Conways Game of life: Att simulera några av livets egenskaper genom en datorprogram p.4/16
10 Game of Life III Se följande länk: Exploder, 10-cell row och 3 + 1: Periodiska (återkommande) mönster. Tre-hörn: Ett mönster som inte förändras pentominos: Mönster som dör ut eller blinkar. Glider och Gospel glider gun: Ett växande mönster (genererar nya fyllda rutor hela tiden). 1-rad mönster. Kolla t ex 6, 7, 8. R-pentomino: Kolla det! Tillbaka till TOC Conways Game of life: Att simulera några av livets egenskaper genom en datorprogram p.5/16
11 Den cybernetiska idealen Detta nollmannaspel populariseras i okt 1970 på Scientific American. Kubricks 2001, A Space Odyssey lanserades Kulmen av Apollo-projektet. Kulmen av genret Science Fiction. Cellular automata. Spelet som en Turingmaskin. Tillbaka till TOC Conways Game of life: Att simulera några av livets egenskaper genom en datorprogram p.6/16
12 Cellular automata I En oändligt, rutnät där varje ruta kan befinna sig i ett (ut av ändligt många olika) tillstånd. Diskreta tidssteg. Begynnelsekonfigurationen har alla celler i avstängt tillstånd utom ett fåtal som befinner sig i andra tillstånd. Konfigurationen vid nästa tidssteg är någon funktion av den aktuella konfigurationen. Conways Game of life: Att simulera några av livets egenskaper genom en datorprogram p.7/16
13 Cellular automata II Jämförs med metaforen om livet. Determinismen + osäkerhet. Ulam och Von Neumann: Universal copier and constructor. Self-replicating machines. Olika nivåer av cellular automata. Tillbaka Conways Game of life: Att simulera några av livets egenskaper genom en datorprogram p.8/16
14 Turingmaskin En maskin som kan simulera logiken hos en dator. En universal Turingmaskin är den som kan sikulera vilken Turingmaskin som helst. Svart låda. Kodad band. Läsare. Händelser: Flytta bandet, skriv på ett annat band. Conways Game of life: Att simulera några av livets egenskaper genom en datorprogram p.9/16
15 Game of Life som Turingmaskin Spelet kan fungera som en universal Turingmaskin. Spelets gliders kan påverka varandra på så sätt att man kan utföra beräkningar: Addera, producera primtal, producera en Game of life (som utvecklar sig långsammare). Primtal: Rymdsonder stoppas utom var 120p uppdateringar. Tillbaka eller gå vidare Conways Game of life: Att simulera några av livets egenskaper genom en datorprogram p.10/16
16 Simulering: Lek eller verklighet? Simulering är ett försök att härma verkligheten. Man väljer en modell som innehåller vissa nyckelegenskaper från verkligheten som anses vara avgörande. Man väljer bort alla andra egenskaper. Paradexempel: Flygsimulator. Conways Game of life: Att simulera några av livets egenskaper genom en datorprogram p.11/16
17 Simulering och Forskning Simulering som forskningsverktyg: Att spara tid och pengar genom att arbeta med en förenklad representation av verkligheten (t ex i en dator: datorsimuleringar). Exempel: SI-modell för spridning av smittsamma sjukdomar (stokastisk populationsdynamik). Simuleringen är inte bättre än den verklighetstolkning som den underliggande modellen innebär. Tillbaka till TOC Conways Game of life: Att simulera några av livets egenskaper genom en datorprogram p.12/16
18 Vidareläsning I Scientific American: mario/conway.htm Många länkar kring spelet: Wikipedia: Horton Conway Detta föredrag: mario/ (Clicka på research och vidare på talks. Conways Game of life: Att simulera några av livets egenskaper genom en datorprogram p.13/16
19 Vidareläsning II J. Glenn Brookshear, Theory of Computation, Formal Languages, Automata and Complexity, Benjamin/Cummings, A. K. Dewdney, The Turing Omnibus, 61 Excursions in Computer Science, Computer Science Press, Stephen R. Graubard (ed), El nuevo debate sobre la inteligencia artificial, sistemas simbólicos y redes neuronales, Gedisa Ed., Barcelona Tillbaka till TOC Conways Game of life: Att simulera några av livets egenskaper genom en datorprogram p.14/16
20 Diskussion vid datorn: Diskussionspunkter I Ta fram Game of life och försök med en- och tvåradsstrukturer av olika längd (inte för långa dock). Hur utvecklar sig mönstren? Leta fram i en sökmotor andra nollmannaspel (automata). Jämför med Game of life. Conways Game of life: Att simulera några av livets egenskaper genom en datorprogram p.15/16
21 Datorfri diskussion: Diskussionspunkter II Vilka brister har metaforen om hjärnan som en dator? Finns det uppenbara hjärnegenskaper som är oförenliga med en datormodell? Modellering och simulering i naturvetenskapen baseras på reproducerbarhet. Hur skiljer sig detta från t ex simulering i andra vetenskaper där reproducerbarheten är otänkbar? END Conways Game of life: Att simulera några av livets egenskaper genom en datorprogram p.16/16
AGENTBASERAD MODELLERING
AGENTBASERAD MODELLERING! Ändliga automater! Cellulära automater! Några illustrationer av variationsbredden! Conway s Game of Life! Gliders! Glider guns! Gliders som informationsbärare! Logiska operationer!
Läs merGrafik. TDDC66 Datorsystem och programmering Föreläsning 4. Peter Dalenius Institutionen för datavetenskap
Grafik TDDC66 Datorsystem och programmering Föreläsning 4 Peter Dalenius Institutionen för datavetenskap 2013-09-16 Anmälan till laborationer Från och med laboration 3 ska ni arbeta i par. Anmälan sker
Läs merProgrammeringsuppgift Game of Life
CTH/GU STUDIO TMV06a - 0/0 Matematiska vetenskaper Programmeringsuppgift Game of Life Analys och Linär Algebra, del A, K/Kf/Bt Inledning En cellulär automat är en dynamisk metod som beskriver hur komplicerade
Läs merFöreläsning 9: Turingmaskiner och oavgörbarhet. Turingmaskinen. Den maximalt förenklade modell för beräkning vi kommer använda är turingmaskinen.
Föreläsning 9: Turingmaskiner och oavgörbarhet Turingmaskinen Den maximalt förenklade modell för beräkning vi kommer använda är turingmaskinen. Data är ett oändligt långt band där nollor och ettor står
Läs merDatormetaforen. Från människa till dator Från dator till människa o.s.v.
Datormetaforen Från människa till dator Från dator till människa o.s.v. Det mekaniska tänkandet Räknemaskin tillverkad av Pascal 1642 Hjärnan ett avancerat urverk 1800-talet Henry Colebrooke, (president
Läs merVad är KAOS? Mario Natiello. Matematikcentrum (LTH) Lunds Universitet
OS? p.1/15 Vad är KAOS? Mario Natiello Matematikcentrum (LTH) Lunds Universitet Intro Innehåll Innehåll Intro Dynamik Innehåll Intro Dynamik Exempel 1: Svängningar Innehåll Intro Dynamik Exempel 1: Svängningar
Läs merNonogram
Nonogram. Vad är nonogram? Nonogram är små enkla men fascinerande pyssel som ursprungligen kommer från Japan. De har också givits ut i söndagsbilagan i engelska dagstidningar under flera år. Idén bakom
Läs merTuringmaskiner och oavgörbarhet. Turingmaskinen. Den maximalt förenklade modell för beräkning vi kommer använda är turingmaskinen.
Turingmaskiner och oavgörbarhet Turingmaskinen Den maximalt förenklade modell för beräkning vi kommer använda är turingmaskinen. Data är ett oändligt långt band där nollor och ettor står skrivna: Oändligt
Läs merTuringmaskinen - en abstrakt datormodell
Turingmaskinen - en abstrakt datormodell Modeller är viktiga hjälpmedel vid studiet av många fenomen. En bra modell fyller oftast följande krav: Den fångar upp det centrala i sin fysiska motsvarighet Den
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 merLABORATION 4 OBJEKTORIENTERAD PROGRAMMERING I C++ I
LABORATION 4 OBJEKTORIENTERAD PROGRAMMERING I C++ I Vt 2002 Mål: Lära sig: Filhantering Stränghantering Vektorer Funktioner Programstruktur Tid: Läroboken: 6 timmars handledd laborationstid. Beräknad klar
Läs merIntroduktion till datateknik och datavetenskap
Introduktion till datateknik och datavetenskap Daniel Bosk 1 och Jimmy Åhlander Avdelningen för informations- och kommunikationssytem, Mittuniversitetet, SE-851 70 Sundsvall. intro.tex 1974 2014-09-09
Läs merBeräkningsvetenskap introduktion. Beräkningsvetenskap I
Beräkningsvetenskap introduktion Beräkningsvetenskap I Kursens mål För godkänt betyg ska studenten kunna redogöra för de grundläggande begreppen algoritm, numerisk metod, diskretisering maskinepsilon,
Läs merBeräkningsvetenskap. Vad är beräkningsvetenskap? Vad är beräkningsvetenskap? stefan@it.uu.se. Informationsteknologi. Informationsteknologi
Beräkningsvetenskap stefan@it.uu.se Finns några olika namn för ungefär samma sak Numerisk analys (NA) Klassisk NA ligger nära matematiken: sats bevis, sats bevis, mer teori Tekniska beräkningar Mer ingenjörsmässigt,
Läs merTekniska beräkningar. Vad är tekn beräkningar? Vad är beräkningsvetenskap? Informationsteknologi. Informationsteknologi
Tekniska beräkningar stefan@it.uu.se Vad är tekn beräkningar? Finns några olika namn för ungefär samma sak Numerisk analys (NA) Klassisk NA ligger nära matematiken: sats bevis, sats bevis, mer teori Tekniska
Läs merObjektorienterad modellering och diskreta strukturer. 13. Problem. Sven Gestegård Robertz. Datavetenskap, LTH
Objektorienterad modellering och diskreta strukturer 13. Problem Sven Gestegård Robertz Datavetenskap, LTH 2014 Rekaputilation Vi har talat om satslogik och härledning predikatlogik och substitution mängder
Läs merENKEL Programmering 3
ENKEL Programmering 3 Figurer i långa rader Titta på de olika figurerna i de olika raderna. Kan du se att de olika figurerna i varje rad är placerade enligt ett visst mönster? Kan du lista ut vilken figur
Läs merBILAGOR. till. kommissionens genomförandeförordning (EU).../...
EUROPEISKA KOMMISSIONEN Bryssel den 21.11.2018 C(2018) 7597 final ANNEXES 1 to 3 BILAGOR till kommissionens genomförandeförordning (EU).../... om inrättande av en tillfällig direkt statistikåtgärd för
Läs merBeräkningsvetenskap introduktion. Beräkningsvetenskap I
Beräkningsvetenskap introduktion Beräkningsvetenskap I Kursens mål För godkänt betyg ska studenten kunna redogöra för de nyckelbegreppen som ingår i kursen* utföra enklare analys av beräkningsproblem och
Läs merSub-symbolisk kognition & Konnektionism. Kognitionsvetenskaplig Introduktionskurs (729G01) Mats Andrén,
Sub-symbolisk kognition & Konnektionism Kognitionsvetenskaplig Introduktionskurs (729G01) Mats Andrén, mats.andren@liu.se 1 Konnektionism Neutrala nät baseras på en (förenklad) modell av hur hjärnan fungerar.
Läs merKurser inom Datavetenskapligt kandidatprogram och Computer Science Master s programme våren 2010
Kurser inom Datavetenskapligt kandidatprogram och Computer Science Master s programme våren 2010 Inför varje termin måste du söka till de kurser du vill gå. Sista datum för ansökan är den 15oktober. För
Läs merKappa 2014, lösningsförslag på problem 5
Kappa 2014, lösningsförslag på problem 5 Lag Spyken Roger Bengtsson, Sten Hemmingsson, Magnus Jakobsson, Susanne Tegler Problemet I det här problemet betraktas m n stora rektangulära rutnät, där m avser
Läs merHur biologiska system optimerar sin egen produktionsstyrning
Hur biologiska system optimerar sin egen produktionsstyrning Replace Refine Reduce x i systembiologi blir djurförsök mer och mer irrelevanta! Gunnar Cedersund, Integrative Systems Biology, Linköping University,
Läs merExtramaterial till Spektrum Teknik
LIBER PROGRAMMERING OCH DIGITAL KOMPETENS Extramaterial till Spektrum Teknik NIVÅ medel Bygga digitala broar LÄRARHANDLEDNING Datorer är utmärkta verktyg när vi vill beräkna hållfasthet. I det här uppdraget
Läs merLars-Henrik Eriksson
Välkomna till Programmeringsmetodik DV1 Programkonstruktion I+II http://www.csd.uu.se/kurs/pm1/ht02/www/ Lars-Henrik Eriksson lhe@csd.uu.se, http://user.it.uu.se/~lhe Undervisningstillfällen Föreläsningar:
Läs merc a OP b Digitalteknik och Datorarkitektur 5hp ALU Design Principle 1 - Simplicity favors regularity add $15, $8, $11
A basic -bit Select between various operations: OR, AND, XOR, and addition Full Adder Multiplexer Digitalteknik och Datorarkitektur hp Föreläsning : introduktion till MIPS-assembler - april 8 karlmarklund@ituuse
Läs merTigerSim- Ny modell för kapacitetsanalys av dubbelspår
KTH ROYAL INSTITUTE OF TECHNOLOGY TigerSim- Ny modell för kapacitetsanalys av dubbelspår Anders Lindfeldt anders.lindfeldt@abe.kth.se 2015-05-07 Kapacitet Ökat kapacitetsutnyttjande innebär Längre gångtider
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 merFöreläsningsanteckningar, Introduktion till datavetenskap HT S4 Datastrukturer. Tobias Wrigstad
1 Datatyper Tobias Wrigstad Det finns flera olika typer av (slags) data Olika datatyper har olika egenskaper. T.ex. är ett personnummer inte ett tal. (Den sista siffran skall stämma enligt den s.k. Luhnalgoritmen
Läs mer729G74 IT och programmering, grundkurs. Tema 1, Föreläsning 2 Jody Foo,
729G74 IT och programmering, grundkurs Tema 1, Föreläsning 2 Jody Foo, jody.foo@liu.se Föreläsningsöversikt Kurslogistik Begreppspresentationer Uppgifter i diskret matematik Uppgifter i Python Tema 1:
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 merDATORÖVNING 3: EXPERIMENT MED
DATORÖVNING 3: EXPERIMENT MED SLUMPMÄSSIGA FÖRSÖK. I denna övning skall du med hjälp av färdiga makron simulera två olika försök och med hjälp av dessa uppskatta sannolikheter för ett antal händelser (och
Läs merNetwork drafting - en kort introduktion
Network drafting - en kort introduktion I likhet med andra tekniker för att utveckla ett mönster till en fullständig bindning med hjälp av färdiga lösningar i ett datorprogram är det en fördel om man sätter
Läs mer729G74 IT och programmering, grundkurs. Tema 1, Föreläsning 1 Jody Foo,
729G74 IT och programmering, grundkurs Tema 1, Föreläsning 1 Jody Foo, jody.foo@liu.se Föreläsningsöversikt Kurspresentation: teman, kursmoment, examination, kurshemsidan, administration, Guiden Tema 1:
Läs merStokastiska processer och simulering I 24 maj
STOCKHOLMS UNIVERSITET LÖSNINGAR MATEMATISKA INSTITUTIONEN Stokastiska processer och simulering I Avd. Matematisk statistik 24 maj 2016 Lösningar Stokastiska processer och simulering I 24 maj 2016 9 14
Läs merStokastisk modellering av smittspridning
Stokastisk modellering av smittspridning inom ishockey Axel Åström Kandidatuppsats i matematisk statistik Bachelor Thesis in Mathematical Statistics Kandidatuppsats 2017:19 Matematisk statistik Juni 2017
Läs merBiologi: en utmaning för Numerisk Analys
Biologi: en utmaning för Numerisk Analys Stefan Engblom Beräkningsvetenskap Informationsteknologi Uppsala Universitet Docentföreläsning, Uppsala, 6:e Mars, 2013 (TDB/IT UU) Biologiska Beräkningar 130306
Läs merNATURVETENSKAPLIGA FAKULTETEN
NATURVETENSKAPLIGA FAKULTETEN Utbildningsplan Dnr GU 2019/1736 Matematikprogrammet, 180 högskolepoäng Bachelor's Programme in Mathematics, 180 credits Programkod: N1MAT 1. Fastställande Utbildningsplanen
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 merIntroduktion till programmering. Programspråk och paradigmer
Introduktion till programmering Programspråk och paradigmer Vad är ett programspråk? Aprogramming languageis a formal constructedlanguagedesigned to communicate instructions to a machine, particularly
Läs merGame of 40. Regler och om sidan är in princip samma sak. Det som skiljer dem åt är att de inte har samma text.
Presentation av uppgiften Vi har fått i att skapa en webbapplikation med ett spelbart spel inbyt i sig. Eller som läraren formulerar sig: uppgiften är att skapa en webbapplikation där en eller flera spelare
Läs merEtt spel skapat av Albin Wahlstrand
Viking vs. Demons Ett spel skapat av Albin Wahlstrand 2012-06-03 1 Abstrakt Denna rapport kommer att handla om mina positiva och negativa erfarenheter inom projektet jag jobbat på de senaste 10 veckorna.
Läs merSimulera mera! Presentation om dynamisk simulering och koppling till hälsoekonomi. Lisa Brouwers, Folkhälsomyndigheten 14-11-26
Simulera mera! Presentation om dynamisk simulering och koppling till hälsoekonomi Lisa Brouwers, Folkhälsomyndigheten 14-11-26 2 Min bakgrund Disputerat i data- och systemvetenskap vid SU (1999 2005) Fokus
Läs merLaboration 4: Stora talens lag, Centrala gränsvärdessatsen och enkla punktskattningar
LUNDS TEKNISKA HÖGSKOLA MATEMATIKCENTRUM MATEMATISK STATISTIK DATORLABORATION 4 MATEMATISK STATISTIK, FÖR I/PI, FMS 121/2, HT-3 Laboration 4: Stora talens lag, Centrala gränsvärdessatsen och enkla punktskattningar
Läs merAlgoritmer och maskininlärning
Algoritmer och maskininlärning Olof Mogren Chalmers tekniska högskola 2016 De här företagen vill Tjäna pengar Hitta mönster i stora datamängder Göra förutsägelser Klassificera data Förstå människan Maskininlärning
Läs merGrundläggande datavetenskap 4p
Grundläggande datavetenskap 4p Stefan.Pettersson@mh.se http://www.itm.mh.se/~stepet Kursinformation Planering Läsanvisningar Föreläsningsbilder Övningsuppgifter Laborationer 2004-11-04 IT och Medier 1
Läs merCURRICULUM VITAE MYROSLAV DROZDENKO PERSONUPPGIFTER UTBILDNING SEPTEMBER 2007. Myroslav. Efternamn: Drozdenko. Personnummer: 771216-2119.
CURRICULUM VITAE MYROSLAV DROZDENKO SEPTEMBER 2007 PERSONUPPGIFTER Förnamn: Efternamn: Myroslav Drozdenko Personnummer: 771216-2119 Postadress: Besöksadress: Hemadress: E-post: Hemsida: Institutionen för
Läs merLinnéuniversitetet Matematik Hans Frisk
Linnéuniversitetet Matematik Hans Frisk Diskreta Dynamiska System, del II 1. IFS-ormbunke. Precis som i förra bilden så tar man en punkt i planet och låter den hoppa runt och efter ett litet tag så ligger
Läs merGrundlä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 5DV086 - Programspråk
Föreläsning 5 5DV086 - Programspråk Petter Ericson (pettter@cs.umu.se) Umeå University 6 februari, 2015 Haskell-frågor? Haskell-tips do-syntax State-monaden Dagens plan Programspråksteori Varför? Vad?
Läs merFaltning steg för steg
Faltning steg för steg p./8 Faltning steg för steg System och Transformer Mario Natiello Matematikcentrum, Lunds Universitet Faltning steg för steg p.2/8 Innehåll Tidsdiskreta kausala följder Faltning
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 merUtbildningsplan för Matematikprogrammet (N1MAT) Bachelor s Programme in Mathematics Grundnivå
Naturvetenskapliga fakulteten Dnr G 2015/59 Utbildningsplan för Matematikprogrammet (N1MAT) Bachelor s Programme in Mathematics Grundnivå 1. Utbildningsprogrammets benämning och omfattning Programmet benämns
Läs merSannolikheten att vinna ett spel med upprepade myntkast
Matematik Gymnasieskola Modul: Matematikundervisning med digitala verktyg Del 7: Matematiska undersökningar med kalkylprogram Sannolikheten att vinna ett spel med upprepade myntkast Håkan Sollervall, Malmö
Läs merInledning. Kapitel 1. 1.1 Bakgrund. 1.2 Syfte
Sammanfattning Vi har i kursen Modelleringsprojekt TNM085 valt att simulera ett geléobjekt i form av en kub. Denna består av masspunkter som är sammankopplade med tre olika typer av fjädrar med olika parametrar.
Läs merHela människan-hjulet : ett enkelt sätt att tala om det svåra : en samtalsmodell för livskunskap & känsla av sammanhang PDF ladda ner
Hela människan-hjulet : ett enkelt sätt att tala om det svåra : en samtalsmodell för livskunskap & känsla av sammanhang PDF ladda ner LADDA NER LÄSA Beskrivning Författare: Elisabeth Hagborg. Hela människan-hjulet
Läs merSF1901 Sannolikhetsteori och statistik: HT 2014 Lab 1 för CSAMHS, CINEKI, och CL
Matematisk Statistik SF1901 Sannolikhetsteori och statistik: HT 2014 Lab 1 för CSAMHS, CINEKI, och CL Introduktion Detta är handledningen till Laboration 1, ta med en en utskriven kopia av den till laborationen.
Läs merOptimering och simulering: Hur fungerar det och vad är skillnaden?
Optimering och simulering: Hur fungerar det och vad är skillnaden? Anders Peterson, Linköpings universitet Andreas Tapani, VTI med inspel från Sara Gestrelius, RIS-SIS n titt i KAJTs verktygslåda Agenda
Läs merTentamen TMV210 Inledande Diskret Matematik, D1/DI2
Tentamen TMV20 Inledande Diskret Matematik, D/DI2 208-0-27 kl. 4.00 8.00 Examinator: Peter Hegarty, Matematiska vetenskaper, Chalmers Telefonvakt: Anton Johansson, telefon: 5325 (alt. Peter Hegarty 070-5705475)
Läs merEnergiberäkningar föreställningar och fakta. Johnny Kronvall Green Building Science
Energiberäkningar föreställningar och fakta Johnny Kronvall Green Building Science Energiberäkning vad? En mer eller mindre kvalificerad prediktion (förutsägelse) av en byggnads energianvändning under
Läs merArtificiell intelligens, eller Kommer din dator att bli klokare än dig? (eller kanske är den redan det?)
Artificiell intelligens, eller Kommer din dator att bli klokare än dig? (eller kanske är den redan det?) 4e november 2014 Intelligens Vad är det? ett mänskligt egenskap Kan det jämföras? Kan det mätas?
Läs merAutomater. Matematik för språkteknologer. Mattias Nilsson
Automater Matematik för språkteknologer Mattias Nilsson Automater Beräkningsmodeller Beräkning - (eng) Computation Inom automatateorin studeras flera olika beräkningsmodeller med olika egenskaper och olika
Läs merFable, headshot, creeper rap och annat svenskt kulturarv
Språk- och kunskapsutvecklande arbete NCS Göteborg 9 november, Stockholm 16 november 2016 Fable, headshot, creeper rap och annat svenskt kulturarv stefan.lundstrom@ltu.se Bigby Wolf/Big bad wolf från FABLES
Läs merÄmnesområden. Examensarbete inom datavetenskap (1DV41E) Martin Fredriksson
Ämnesområden Examensarbete inom datavetenskap (1DV41E) Martin Fredriksson martin.fredriksson@lnu.se 1 Ämnesområden ÖVERSIKT 2 Översikt Dagens föreläsning Fokus Innehåll Relevans Presentation Ämnesområden
Läs merAnnette Lennerling. med dr, sjuksköterska
Annette Lennerling med dr, sjuksköterska Forskning och Utvecklingsarbete Forskning - söker ny kunskap (upptäcker) Utvecklingsarbete - använder man kunskap för att utveckla eller förbättra (uppfinner) Empirisk-atomistisk
Läs merRealSimPLE: Pipor. Laborationsanvisningar till SimPLEKs pipa
RealSimPLE: Pipor Laborationsanvisningar till SimPLEKs pipa Vad händer när ljudvågor färdas genom ett rör? Hur kan man härma ljudet av en flöjt? I detta experiment får du lära dig mer om detta! RealSimPLE
Läs merInledning och introduktion till diabetes
Inledning och introduktion till diabetes Kristina Lejon Universitetslektor, immunologi, Institutionen för klinisk mikrobiologi Välkomna till den här dagen där vi ska berätta om diabetesforskning, framför
Läs merGaussiska primtal. Christer Kiselman. Institut Mittag-Leffler & Uppsala universitet
195 Gaussiska primtal Christer Kiselman Institut Mittag-Leffler & Uppsala universitet 1. Beskrivning av uppgiften. De förslag som presenteras här kan behandlas på flera olika sätt. Ett första syfte är
Läs merKlipp-och-klistra DNA: fixa mutationen med gen editering DNA, RNA och Protein
Huntingtons sjukdom forsknings nyheter. I klartext Skriven av forskare För de globala HS medlemmarna. Klipp-och-klistra DNA: fixa mutationen med gen editering Forskare gör exakta ändringar av DNA i ett
Läs merNAMAS, Masterprogram i matematisk statistik, 120 högskolepoäng Master Programme in Mathematical Statistics, 120 credits
Naturvetenskapliga fakulteten NAMAS, Masterprogram i matematisk statistik, 120 högskolepoäng Master Programme in Program med akademiska förkunskapskrav och med slutlig examen på avancerad nivå / Second
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 merUtbildningsplan för Masterprogram i matematiska vetenskaper (N2MAT)
GÖTEBORGS UNIVERSITET Naturvetenskapliga fakultetsnämnden Utbildningsplan för Masterprogram i matematiska vetenskaper (N2MAT) 120 högskolepoäng Avancerad nivå Two-year Masters Program in Mathematical Sciences
Läs merUtbildningsplan för Matematiska vetenskaper, masterprogram (N2MAT), 120 hp
Dnr G 2015/309 NATURVETENSKAPLIGA FAKULTETEN Utbildningsplan för Matematiska vetenskaper, masterprogram (N2MAT), 120 hp 1. Utbildningsprogrammets benämning och omfattning Matematiska vetenskaper, masterprogram,
Läs merKonsten att teckna en historia om forskning Tidningen Curie NYHETER
NYHETER Konsten att teckna en historia om forskning 2017-03-15 På nätet växer nu en ovanlig kombination av konst och forskning fram: ERC comics. Tanken är att locka nya målgrupper, ovana vid forskning.
Läs merTDP Regler
Regler Student får lämna salen tidigast en timme efter tentans start. Vid toalettbesök eller rökpaus ska pauslista utanför salen fyllas i. All form av kontakt mellan studenter under tentans gång är strängt
Läs merGo, Dao och Buddha. Mikael Cardell 1994-01-10
Go, Dao och Buddha Mikael Cardell 1994-01-10 Förord Jag skrev den här texten som en artikel till en tidning jag var med och gjorde under min studietid på Kulturvetarlinjen vid Linköpings universitet. Om
Läs merDigitala resurser i undervisningen
Digitala resurser i undervisningen EN FALLSTUDIE I DIGITAL NO-DIDAKTIK Handledare: Susanne Pelger Ann-Marie Pendrill Syfte Att öka kunskapen om hur lärare kan arbeta med digitalt stöd på ett didaktiskt
Läs merÖkad valbarhet för Systemvetenskapliga programmet. Möjlighet till inriktning
Ökad valbarhet för Systemvetenskapliga programmet Möjlighet till inriktning Nuläget obligatoriska teknikkurser Studenterna läser följande obligatoriska IT-kurser År 1 7,5 hp programmering i TIG015 7,5
Läs merUtbildningsplan för Datavetenskapligt program, 180 högskolepoäng
IT-FAKULTETEN Dnr G 2015/217 Utbildningsplan för Datavetenskapligt program, 180 högskolepoäng Computer Science, Bachelor s Programme, 180 higher education credits Grundnivå/programkod (N1COS) 1. Fastställande
Läs merGrundforskning inom gruv och mineral hur ser det ut? Björn Öhlander Tillämpad geologi Luleå tekniska universitet
Grundforskning inom gruv och mineral hur ser det ut? Björn Öhlander Tillämpad geologi Luleå tekniska universitet Vad är grundforskning? Inom grundforskningen letar forskarna efter det okända. De ger oss
Läs merGrundläggande datavetenskap, 4p
Grundläggande datavetenskap, 4p Kapitel 2 Datamanipulation, Processorns arbete Utgående från boken Computer Science av: J. Glenn Brookshear 2004-11-09 IT och Medier 1 Innehåll CPU ALU Kontrollenhet Register
Läs merSignalflödesmodellen. Två (gamla) exempel: Kvadratera alla jämna löv.
Strömmar (streams) De sista dagarna objekt med tillstånd modellerades som beräkningsobjekt med tillstånd. Isådana modeller är tiden modelerad (implicit) som en sekvens av tillstånd. För att kunna modellera
Läs merSkillnaden mot att jobba som i ett vanligt ordbehandlingsdokument, är att internet tar inte emot textrutor. Det få r man istället ersätta med ramar.
Gör en hemsida Denna övning utgå r frå n att man skapar en affish på internet. Man kan ex. informera om en teaterföreställning, som klassen producerat, eller annat arrangemang. Skillnaden mot att jobba
Läs merReliability analysis in engineering applications
Reliability analysis in engineering applications Fredrik Carlsson Sannolikhetsteorins grunder Fördelningar och stokastiska variabler Extremvärdesfördelningar Simulering Structural Engineering - Lund University
Läs merDatavetenskapligt program, 180 högskolepoäng
GÖTEBORGS UNIVERSITET UTBILDNINGSPLAN IT-fakultetsstyrelsen 2013-02-14 Datavetenskapligt program, 180 högskolepoäng (Computer Science, Bachelor s Programme, 180 credits) Grundnivå/First level 1. Fastställande
Läs merSJÄLVSTÄNDIGA ARBETEN I MATEMATIK
SJÄLVSTÄNDIGA ARBETEN I MATEMATIK MATEMATISKA INSTITUTIONEN, STOCKHOLMS UNIVERSITET Turings maskin, beräkningsbarhet och avgörbarhetsproblemet av Simon Wikander 2009 - No 9 MATEMATISKA INSTITUTIONEN, STOCKHOLMS
Läs merUndervisningsprogram Uppdaterad DATAVETENSKAP
Uppdatering 21.8: Logic for Computer Science, ny tid och plats. Uppdatering 21.8: Formella språk och automater flyttad till period 4 Uppdatering 22.8: Föreläsningstider för matematikmodul i Akademiska
Läs merDigital- och datorteknik
Digital- och datorteknik Föreläsning #14 Biträdande professor Jan Jonsson Institutionen för data- och informationsteknik Chalmers tekniska högskola Vad vi har åstadkommit hittills: Med hjälp av kombinatoriska
Läs merAlgebra och talteori MMGL31. Repetition. Idag. Föreläsning 9 VT FLS och primtalstestning. Carmichaeltal. Rabin-Miller test.
Algebra och talteori MMGL Föreläsning 9 VT 008 Samuel Bengmark Repetition FLS och primtalstestning Carmichaeltal Rabin-Miller test F-funktionen Idag Ordning av ett element i Z m Primitiv rot Index (diskret
Läs merTDDD78 projekt: Tower Defence
projekt: Tower Defence 1 Introduktion Tower Defence är en kategori av spel med rötter till 1980-talet som går ut på att försvara en punkt (ofta symboliserat som en bas eller by) från horder av monster
Läs merValbara kurser för kandidatexamen i matematisk statistik
1 (5) 2019-03-27 Martin Sköld Studierektor Matematiska institutionen Matematisk statistik Valbara kurser för examina inom huvudområdena matematisk statistik och försäkringsmatematik I de lokala examensbeskrivningarna
Läs merAI utmaningar inom kvalitetssäkring. Henrik Emilsson Teststrateg, Nordic Medtest AB
AI utmaningar inom kvalitetssäkring Henrik Emilsson Teststrateg, Nordic Medtest AB Först lite om Artificiell intelligens General AI vs. Narrow AI Maskininlärning Supervised Learning Unsupervised Learning
Läs merFULLSTäNDIGHETSAXIOMET, SATSEN OM MELLANLIGGANDE VäRDE OCH SATSEN OM STöRSTA OCH MINSTA VäRDE
FULLSTäNDIGHETSAXIOMET, SATSEN OM MELLANLIGGANDE VäRDE OCH SATSEN OM STöRSTA OCH MINSTA VäRDE JAN-FREDRIK OLSEN I detta dokumentet ämnar vi bevisa följande två satser: Sats 1 (Satsen om mellanliggande
Läs merenemies of Books en berättelse
enemies of Books en berättelse 2014 2017 Olle Essvik Jag var datakonstnär och mina verk förändrades och förföll med ny teknologi. Jag lärde mig att binda böcker för att dokumentera det som återstod efter
Läs merResträkning och ekvationer
64 Resträkning och ekvationer Torsten Ekedahl Stockholms Universitet Beskrivning av uppgiften. Specialarbetet består i att sätta sig in i hur man räknar med rester vid division med primtal, hur man löser
Läs merFinaltävling i Lund den 19 november 2016
SKOLORNS MTEMTIKTÄVLING Svenska matematikersamfundet Finaltävling i Lund den 19 november 2016 1. I en trädgård finns ett L-format staket, se figur. Till sitt förfogande har man dessutom två färdiga raka
Läs merDatavetenskapligt program, 180 högskolepoäng
Utbildningsplan Dnr G 2018/270 IT-FAKULTETEN Datavetenskapligt program, 180 högskolepoäng Computer Science, Bachelor's Programme, 180 Programkod: N1COS 1. Fastställande Utbildningsplanen är fastställd
Läs merBeräkning med ord. -hur en dator hanterar perception. Linköpings universitet Artificiell intelligens 2 2010-10-03 Erik Claesson 880816-1692
Beräkning med ord -hur en dator hanterar perception 2010-10-03 Erik Claesson 880816-1692 Innehåll Inledning... 3 Syfte... 3 Kan datorer hantera perception?... 4 Naturligt språk... 4 Fuzzy Granulation...
Läs merOzonproffsen Scandinavia AB VATTENTVÄTTAD LUFTRENARE MODELL NO.: KJG-178A BRUKSANVISNING
Ozonproffsen Scandinavia AB VATTENTVÄTTAD LUFTRENARE MODELL NO.: KJG-178A BRUKSANVISNING Hemsida: ozonproffsen.se Mail: info@ozonproffsen.se Telefon: 0152-711711 Adress: Skiljevägen 1, 64540 Strängnäs
Läs merOm maskiner kunde tala
Staffan Larsson, forskarassistent i lingvistik Ludwig Wittgenstein skriver i Filosofiska Undersökningar (1953): Om ett lejon kunde tala, så skulle vi inte förstå det. Varför inte? Enligt en tolkning vill
Läs mer