Lådmodellen....eller procedure box control flow model. Dynamisk bild av ett prologprogram Förklarar i detalj procedurell läsning av ett program.
|
|
|
- Malin Strömberg
- för 8 år sedan
- Visningar:
Transkript
1 Lådmodellen...eller procedure box control flow model. Dynamisk bild av ett prologprogram Förklarar i detalj procedurell läsning av ett program.
2 Lådmodellen...eller procedure box control flow model. Dynamisk bild av ett prologprogram Förklarar i detalj procedurell läsning av ett program. Bra förklaringsmodell för ett Prologsystem Bra för avlusning! SWI Prolog använder lådmodellen i sin trace-funktion.
3 Lådmodellen: byggstenen Goal name En låda per mål/predikat
4 Lådmodellen: princip Varje mål får en egen låda. Konjunktioner kopplas ihop. Disjunktioner är alternativa vägar. Prologs unifieringsalgoritm motsvaras av vandringar över lådorna.
5 Exempel: grandparent grandparent(x,y) :- parent(x,z),parent(z,y). grandparent(x, Y) parent(x, Z) parent(z,y)
6 Exempel: powerful powerful(x) :- sith(x). powerful(x) :- jedi(x). powerful sith jedi
7 Semantik: Unifiering med faktum jedi(yoda) ger X =yoda. jedi(x)
8 Semantik: Ingen unifiering Om unifiering misslyckas: parent(yoda, X)
9 Semantik: Unifiering med regel Hittar att grandparent(x, Y) :- parent(x, Z),... grandparent(x, Y) parent(x, Z) parent(z,y)
10 Ett programflöde grandparent(x, Y) :- parent(x, Z), parent(z, Y). parent(anakin, luke). parent(schmi, anakin). parent(anakin, leia). grandparent(x, Y) parent(x, Z) parent(z,y)
11 Ett programflöde grandparent(x, Y) :- parent(x, Z), parent(z, Y). parent(anakin, luke). parent(schmi, anakin). parent(anakin, leia). X=anakin, Z=luke grandparent(x, Y) parent(x, Z) parent(z,y)
12 Ett programflöde grandparent(x, Y) :- parent(x, Z), parent(z, Y). parent(anakin, luke). parent(schmi, anakin). parent(anakin, leia). X=anakin, Z=luke grandparent(x, Y) parent(x, Z) parent(z,y)
13 Ett programflöde grandparent(x, Y) :- parent(x, Z), parent(z, Y). parent(anakin, luke). parent(schmi, anakin). parent(anakin, leia). grandparent(x, Y) parent(x, Z) parent(z,y)
14 Ett programflöde grandparent(x, Y) :- parent(x, Z), parent(z, Y). parent(anakin, luke). parent(schmi, anakin). parent(anakin, leia). X=schmi, Z=anakin grandparent(x, Y) parent(x, Z) parent(z,y)
15 Ett programflöde grandparent(x, Y) :- parent(x, Z), parent(z, Y). parent(anakin, luke). parent(schmi, anakin). parent(anakin, leia). X=schmi, Z=anakin Y=luke grandparent(x, Y) parent(x, Z) parent(z,y)
16 Ett programflöde grandparent(x, Y) :- parent(x, Z), parent(z, Y). parent(anakin, luke). parent(schmi, anakin). parent(anakin, leia). X=schmi, Z=anakin grandparent(x, Y) parent(x, Z) parent(z,y)
17 Ett programflöde grandparent(x, Y) :- parent(x, Z), parent(z, Y). parent(anakin, luke). parent(schmi, anakin). parent(anakin, leia). X=schmi, Z=anakin Y=leia grandparent(x, Y) parent(x, Z) parent(z,y)
18 Ett programflöde grandparent(x, Y) :- parent(x, Z), parent(z, Y). parent(anakin, luke). parent(schmi, anakin). parent(anakin, leia). grandparent(x, Y) parent(x, Z) parent(z,y)
19 Ett programflöde grandparent(x, Y) :- parent(x, Z), parent(z, Y). parent(anakin, luke). parent(schmi, anakin). parent(anakin, leia). X=anakin, Z=leia grandparent(x, Y) parent(x, Z) parent(z,y)
20 Ett programflöde grandparent(x, Y) :- parent(x, Z), parent(z, Y). parent(anakin, luke). parent(schmi, anakin). parent(anakin, leia). grandparent(x, Y) parent(x, Z) parent(z,y)
21 Lådmodellen för powerful Regel powerful(x) :- sith(x). powerful(x) :- jedi(x). Fakta sith(darthsidious). jedi(yoda). powerful(x) sith jedi
22 Lådmodellen för powerful Regel powerful(x) :- sith(x). powerful(x) :- jedi(x). Fakta sith(darthsidious). jedi(yoda). powerful(x) sith jedi
23 Lådmodellen för powerful Regel powerful(x) :- sith(x). powerful(x) :- jedi(x). X=darthSidious powerful(x) Fakta sith(darthsidious). jedi(yoda). sith jedi
24 Lådmodellen för powerful Regel powerful(x) :- sith(x). powerful(x) :- jedi(x). Fakta sith(darthsidious). jedi(yoda). powerful(x) sith jedi
25 Lådmodellen för powerful Regel powerful(x) :- sith(x). powerful(x) :- jedi(x). Fakta sith(darthsidious). jedi(yoda). powerful(x) sith jedi
26 Lådmodellen för powerful Regel powerful(x) :- sith(x). powerful(x) :- jedi(x). X=yoda powerful(x) Fakta sith(darthsidious). jedi(yoda). sith jedi
27 Lådmodellen för powerful Regel powerful(x) :- sith(x). powerful(x) :- jedi(x). Fakta sith(darthsidious). jedi(yoda). powerful(x) sith jedi
28 Lådmodellen för powerful Regel powerful(x) :- sith(x). powerful(x) :- jedi(x). Fakta sith(darthsidious). jedi(yoda). powerful(x) sith jedi
29 Lådmodellen och rekursion append(x, [], [X]). append(x, [H Tail], [H NewTail]) :- append(x, Tail, NewTail).
30 Lådmodellen och rekursion append(x, [], [X]). append(x, [H Tail], [H NewTail]) :- append(x, Tail, NewTail). append(x, L, Ut) :- L = [], Ut = [X]. append(x, L, Ut) :- [H Tail] = L, append(x, Tail, NewTail), Ut = [H NewTail].
31 Lådmodell för append L = [] [H T] = L append(x, L, Ut) append(x, T, NewT) Ut = [X] Ut = [H NewT]
32 Lådmodell för append L = [] [H T] = L append(x, L, Ut) append(x, T, NewT) Ut = [X] Ut = [H NewT]
33 Använder boxmodellen (utökad)
34 Använder boxmodellen (utökad) Starta debug med trace.?- trace. % The debugger will first creep -- showing eve yes
35 Använder boxmodellen (utökad) Starta debug med trace.?- trace. % The debugger will first creep -- showing eve yes Kör i Emacs så markerar SWI Prolog var du är!
36 Använder boxmodellen (utökad) Starta debug med trace.?- trace. % The debugger will first creep -- showing eve yes Kör i Emacs så markerar SWI Prolog var du är! SWI Prolog stannar i varje port.
37 Använder boxmodellen (utökad) Starta debug med trace.?- trace. % The debugger will first creep -- showing eve yes Kör i Emacs så markerar SWI Prolog var du är! SWI Prolog stannar i varje port. Bestäm vilka portar som SWI Prolog ska stanna vid med leash:?- leash([exit,fail]). % Using leashing stopping at [exit,fail] ports yes
38 Debuginformation Unikt invocation number Rekursionsdjup Aktuell port Aktuell mål, unifieringar
39 Exempel: spåra grandparent/2?- grandparent(x, Y).
40 Exempel: spåra grandparent/2?- grandparent(x, Y). 1 1 : grandparent(_430,_450) 2 2 : parent(_430,_636)? 2 2 : parent(schmi,anakin) 3 2 : parent(anakin,_450)? 3 2 : parent(anakin,luke)? 1 1 : grandparent(schmi,luke) X = schmi, Y = luke?
41 Exempel: spåra grandparent/2?- grandparent(x, Y). 1 1 : grandparent(_430,_450) 2 2 : parent(_430,_636)? 2 2 : parent(schmi,anakin) 3 2 : parent(anakin,_450)? 3 2 : parent(anakin,luke)? 1 1 : grandparent(schmi,luke) X = schmi, Y = luke? n 1 1 : grandparent(schmi,luke) 3 2 : parent(anakin,luke) 3 2 : parent(anakin,leia)? 1 1 : grandparent(schmi,leia) X = schmi, Y = leia? yes
42 Program: Avlusa married/2 married(x,y) :- married(y,x). married(anakin, padme).?-
43 Program: Avlusa married/2 married(x,y) :- married(y,x). married(anakin, padme).?- trace. % The debugger will first creep -- showing eve yes % trace,source_info?-
44 Program: Avlusa married/2 married(x,y) :- married(y,x). married(anakin, padme).?- trace. % The debugger will first creep -- showing eve yes % trace,source_info?- married(x, Y). 1 1 : married(_410,_430)?
45 Program: Avlusa married/2 married(x,y) :- married(y,x). married(anakin, padme).?- trace. % The debugger will first creep -- showing eve yes % trace,source_info?- married(x, Y). 1 1 : married(_410,_430)? 2 2 : married(_430,_410)?
46 Program: Avlusa married/2 married(x,y) :- married(y,x). married(anakin, padme).?- trace. % The debugger will first creep -- showing eve yes % trace,source_info?- married(x, Y). 1 1 : married(_410,_430)? 2 2 : married(_430,_410)? 3 3 : married(_410,_430)? 4 4 : married(_430,_410)? 5 5 : married(_410,_430)?
Föreläsning 9 i programmeringsparadigm. Unifiering (Brna Chapter 4.1).
Föreläsning 9 i programmeringsparadigm. Unifiering (Brna Chapter 4.1). Repetition: I Haskell är mönster-passning (pattern-matchning) jättepraktiskt: När vi gör ett anrop av en funktion med ett visst argument
Centrala begrepp i prolog och logikprogrammering. Annamaris lista
Centrala begrepp i prolog och logikprogrammering Annamaris lista Databas med fakta och regler: Ett prolog-system består av en databas av fakta, och regler som gäller för dessa fakta. Fakta har formen av
DD1361 Programmeringsparadigm HT16
DD1361 Programmeringsparadigm HT16 Logikprogrammering 1 Dilian Gurov, TCS Delkursinnehåll Logikprogrammering Logisk versus procedurell läsning Kontrollflöde Unifiering, Backtracking, Snitt Negation Induktiva
DD1361 Programmeringsparadigm HT17
DD1361 Programmeringsparadigm HT17 Logikprogrammering 1 Dilian Gurov, KTH Delkursinnehåll Logisk versus procedurell läsning Kontrollflöde: Unifiering, Backtracking, Snitt Induktiva datatyper och rekursion
DD1361 Programmeringsparadigm HT15
DD1361 Programmeringsparadigm HT15 Logikprogrammering 1 Dilian Gurov, TCS Innehåll Logikprogrammering Kontrollflöde Unifiering Backtracking Negation Snitt Induktiva datatyper och rekursion Inbyggda datatyper:
Prova på-laboration i Prolog
Prova på-laboration i Prolog Peter Dalenius petda@ida.liu.se Institutionen för datavetenskap, Linköpings universitet 2006-09-12 1. Introduktion till Prolog Programspråket Prolog konstruerades i början
Föreläsning [ ] i programmeringsparadigm. Om multiparadigm-språket OZ och en tjock bok.
![Föreläsning [ ] i programmeringsparadigm. Om multiparadigm-språket OZ och en tjock bok.](/thumbs/57/39862065.jpg "Föreläsning [ ] i programmeringsparadigm. Om multiparadigm-språket OZ och en tjock bok.")
Föreläsning [14.. 15] i programmeringsparadigm. Jag har ju delat ut Lite grann om syntax, semantik och syntaxanalys. Några ex finns på Nadas kursexpedidition. Labben "Danska räkneord" ska göras med en
Logikprogrammering. Undervisningsmaterialet NYTT för 2013: Learn Prolog Now! SWI Prolog-tolk, startas under tuxedo/ pingvinerna med swipl!
Logikprogrammering Undervisningsmaterialet NYTT för 2013: Learn Prolog Now! SWI Prolog-tolk, startas under tuxedo/ pingvinerna med swipl! Learn Prolog Now! SWI Prolog Gratis Prolog-tolk Lesser GNU Public
Föreläsning 11 i programmeringsparadigm. Boxmodellen i Sicstus-manualen.
Föreläsning 11 i programmeringsparadigm. Boxmodellen i Sicstus-manualen. The Procedure Box Control Flow Model During debugging, the debugger prints out a sequence of goals in various states of instantiation
Del : Funktionell programmering. I alla deluppgifterna, använd Haskell och skriv typen för de identifierare du definierar.
Nada Tentamensdag 2004 aug 23 Tentamen Programmeringsparadigm Skrivtid 5 h Antalet uppgifter : 1 (allmänt)+ 4 (Haskell) + 4 (Prolog) = 10p +(5p + 20p +5p+ 20p) + (10p +12p + 8p +10p) = 10p + 50p + 40 p
TENTAMEN I PROGRAMSPRÅK -- DVG C kl. 08:15-13:15
TENTAMEN I PROGRAMSPRÅK -- DVG C01 140605 kl. 08:15-13:15 Ansvarig Lärare: Donald F. Ross Hjälpmedel: Bilaga A: BNF-definition Betygsgräns: Kurs: Max 60p, Med beröm godkänd 50p, Icke utan beröm godkänd
Föreläsning 8. newtype Chess = Chess [(Square, Chessman)] -- data ist f newtype OK -- data istället för newtype krävs om >1 konstruerare.
![Föreläsning 8. newtype Chess = Chess [(Square, Chessman)] -- data ist f newtype OK -- data istället för newtype krävs om >1 konstruerare.](/thumbs/99/142632416.jpg "Föreläsning 8. newtype Chess = Chess [(Square, Chessman)] -- data ist f newtype OK -- data istället för newtype krävs om >1 konstruerare.")
Föreläsning 8. Typer och programmeringsstil i Haskell. När vi definerade ett schack gjorde vi så här: newtype Chess = Chess [(Square, Chessman)] -- data ist f newtype OK deriving Show -- newtype effektivare
Nada KTH 2004 jan 12 Tentamen Programmeringsparadigm 2D1350 Skrivtid 5 h 8-13
Nada KTH 2004 jan 12 Tentamen Programmeringsparadigm 2D1350 Skrivtid 5 h 8-13 Antalet uppgifter : 1 (allmänt)+ 4 (Haskell) + 4 (Prolog) = 9 10p +( 5p + 14p +15p+ 16p) + (12p +10p + 10p +8p) = 10p + 50p
Föreläsning 10 i programmeringsparadigm. Boxmodellen för append.
Föreläsning 10 i programmeringsparadigm. Boxmodellen för append. Jag försöker förklara denna bild för en körning av append([1,2], [3, 4], Rs) närmare på föreläsningen. Principen är att vid anrop (Call)
Föreläsning 9 i programmeringsparadigm. Paradigmöversikt, paradigmhistoria, paradigmgeografi. Se även föreläsning 1.
Föreläsning 9 i programmeringsparadigm. Paradigmöversikt, paradigmhistoria, paradigmgeografi. Se även föreläsning 1. Användning av Prolog. Prolog har framför allt används inom AI ( Articifial Intellegence),
En#kort#introduk+on#+ll#LaTeX#
Dennaframställningärdelvisbaseratpåmaterialfrån: Enkortintroduk+on+llLaTeX HåkanJonsson Ins+tu+onenförsystemteknik Luleåtekniskauniversitet ImperialCollageofScience,Technology&Medicine,London,UK (hup://wwwf.imperial.ac.uk/~ejm)
Kursanalys för Programmeringsparadigm 2D1361, läsperiod 1 och 2 läsåret 2005/2006
Leif Kusoffsky 2005 - dec - 07 Nada KTH Kursanalys för Programmeringsparadigm 2D1361, läsperiod 1 och 2 läsåret 2005/2006 Kursdata Momentindelning Kursen genomförd Kursledare Kurslitteratur Antal studenter
Traditionell Programmering
Crash Course in Prolog Baran Çürüklü Introduktion till PROLOG, dvs. PROgramming in LOGic Prolog-programmen är deklarativa och består av egenskaper, relationer och regler. Lisp and Prolog är de vanligaste
Vad är det? Översikt. Innehåll. Vi behöver modeller!!! Kontinuerlig/diskret. Varför modeller??? Exempel. Statiska system
Vad är det? Översikt Discrete structure: A set of discrete elements on which certain operations are defined. Discrete implies non-continuous and therefore discrete sets include finite and countable sets
3. Steg för steg. Kör IPv6 på riktigt med FortiGate! Principen är enkel:
Kör IPv6 på riktigt med FortiGate! Principen är enkel: - Installera en Fortigate ditt nätverk. - Anslut Fortigaten till IPv6 nätverket. - Anslut din PC till Fortigaten. - Så kan du surfa på internet med
Föreläsning 3: rekursion
Föreläsning 3: rekursion Teori Introducera rekursiva definitioner i Prolog Fyra exempel Visa att det kan finnas diskrepanser mellan Prolog-programmets deklarativa och procedurala betydelse! Rekursiva definitioner
Tentamen i. TDDA 69 Data och programstrukturer
1 Linköpings tekniska högskola Institutionen för datavetenskap Anders Haraldsson Tentamen i TDDA 69 Data och programstrukturer Torsdag den 14 januari 2009, kl 14-18 Hjälpmedel: Inga. Poänggränser: Maximalt
Innehåll: Föreläsning 1-2. Hur kan vi nås? Kursens mål: Kursmaterial. Examination. Logik med tillämpningar
Innehåll: Föreläsning 1-2 Logik med tillämpningar 010215 Administration Registrering Den gamla kursutvärderingen Genomgång av kursmaterialet Laborationsinformation Försäljning av material Introduktion
Verktyg och Utvecklingsmiljö. Föreläsning 2 Eclipse
Verktyg och Utvecklingsmiljö Föreläsning 2 Eclipse Verktyg Modern programutveckling innebär att man måste behärska ett antal verktyg. Editorer Kompilatorer Avlusare(debugger) Versionshantering(kommer i
LABORATION 1. Inledande Lisp - rekursion
AI - Lisp / Laboration 1 - Inledande Lisp - rekursion 1 LABORATION 1 Inledande Lisp - rekursion 1.0 LABFÖRORD Detta labbmaterial ger dig introduktion till Lisp för att kunna använda programmeringsspråket
Tentamen: 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:
Artificiell Intelligens Lektion 4
Frames Filmdomän Artificiell Intelligens Lektion 4 Frames (Lab4) Resolution & unifiering Frames system Lagrar hierarkisk information Attribut lagras i attributvärdesstrukturer Attribut kan ha egenskaper
Nada Tentamensdag 2004 okt 18 Tentamen Programmeringsparadigm Skrivtid 5 h
Nada Tentamensdag 2004 okt 18 Tentamen Programmeringsparadigm Skrivtid 5 h Antalet uppgifter : 1 (allmänt)+ 4 (Haskell) + 4 (Prolog) = 10p +(6p + 18p +6p+ 20p) + (10p +12p + 8p +10p) = 10p + 50p + 40 p
Datalogi, grundkurs 1
Datalogi, grundkurs 1 Tentamen 10 december 2008 konverterad till Python Hjälpmedel: Kommer att finnas i skrivsalarna, bl.a. Revised 6 Report on the Algorithmic Language Scheme och två olika s.k. Cheat
Föreläsning 8. Paradigmöversikt, paradigmhistoria, paradigmgeografi. Se även föreläsning 1.
Föreläsning 8. Paradigmöversikt, paradigmhistoria, paradigmgeografi. Se även föreläsning 1. Användning av Prolog. Haskell kan i princip användas till mycket, men grafiska paket, kopplingar till färdiga
FL 6: Definite Clause Grammars (kap. 7)
FL 6: Definite Clause Grammars (kap. 7) Teori Introducerar kontextfria grammatikor och några besläktade begrepp Introducerar definite clause - grammatikor, Prologs sätt att jobba med kontextfria grammatikor
Kanban är inte din process. (låt mig berätta varför) #DevLin2012 15 Mars 2012
Kanban är inte din process (låt mig berätta varför) #DevLin2012 15 Mars 2012 Torbjörn Tobbe Gyllebring @drunkcod tobbe@cint.com Är du eller känner du en Kanban hipster? Förut körde vi X nu kör vi Kanban
Verktyg och Utvecklingsmiljö. Jochim von Hacht
Verktyg och Utvecklingsmiljö Jochim von Hacht Verktyg Modern programutveckling innebär att man måste behärska ett antal verktyg Editorer Kompilatorer Avlusare (debugger) Versionhantering (kommer i projektkurs)
Semantik 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
SwemaMultipoint Bruksanvisning
SWEMA AB Pepparvägen 27 123 56 FARSTA Tel: +46 8 94 00 90 E-mail: swema@swema.se Hemsida: www.swema.se SwemaMultipoint Bruksanvisning ver. JU20190424 1. Introduktion SwemaMulitipoint är en mjukvara för
Omkoppling av in- och utmatning. In- och utmatning i Unix. Kommando exempel, ls, pipe forts. Kommando exempel, ls, pipe
In- och utmatning i Unix Program i Unix skriver och läser till och från filer. En fil betyder här en vanlig fil med text eller binära data, ett tangentbord, en skärm, ett annat program etc. Innan ett program
Här beskrivs Eclipse, den programutvecklingsmiljö som utnyttjas i programmeringskurserna. Mera information finns på:
Bilaga C Eclipse 1 Inledning Här beskrivs Eclipse, den programutvecklingsmiljö som utnyttjas i programmeringskurserna. Mera information finns på: www.eclipse.org help.eclipse.org www.eclipse.org/downloads/
Länkning av Prolog under C
Länkning av Prolog under C Kent Boortz Swedish Institute of Computer Science Box 1263, S-164 28 Kista, Sweden 1 september 1991 T91:14 Sammanfattning SICStus länkmoduler ger möjlighet att blanda Prolog-
Bänkvåg LCW-6S Manual/Förenklat handhavande User Manual LCW-6S www.liden-weighing.se Knappfunktioner: ON/OFF Sätter på och stänger av vågen. UNIT Skiftar vägningsenhet ZERO/TARE Nollställer vågen Tarerar
2 Eclipse en handledning
2 Eclipse en handledning Inledning Här beskrivs Eclipse, den programutvecklingsmiljö som utnyttjas i programmeringskurserna. Mera information finns på: http://www.eclipse.org http://help.eclipse.org http://www.eclipse.org/downloads/
ARBETSMATERIAL FÖR LÄSAREN
ARBETSMATERIAL FÖR LÄSAREN ORDLISTA glänsa (sida 3, rad 3), skina direkt (sida 4, rad 5), utan att vänta kraftig (sida 7, rad 12), stor eller tjock flinar (sida 7, rad 13), ler lite elakt slippa (sida
Lab1 Introduktion. 1 Syfte. 2 Innehåll Win32API Skapa trådar Kritiska sektioner Mailslothantering. 3 Förberedelse & Tips
Lab1 Introduktion Förberedelse för planetlabben genom att kapsla in (skapa wrappers) systemanrop. 1 Syfte Få en känsla av hur Win32API fungerar, dvs programmerarens interface gentemot Windows. Känsla för
Exceptions (undantag) Murach s: kap 7
Exceptions (undantag) Murach s: kap 7 2013-01-28 1 Winstrand Development Exceptions (undantag) Inträffar ett oförutsägbart fel i när programmet körs kommer ett undantag (exception) att inträffa Undantaget
Retail Academics/ Research Institute o Origin from Center for Retailing
Retail Academics/ Research Institute o Origin from Center for Retailing - Retail Management Center at the Stockholm School of Economics o Specialized in Research & Tests in real store environment o Sweden,
JAWS Nätverksauktorisering
Nätverksauktorisering snabbstart Guide Freedom Scientific programvaror behöver riktig auktorisering för att fungera. Klient datorer som använder programvaran kommer att ansluta till en licens server vilken
SB168-ES och M7CL Quick Setup Guide Svensk version
SB168-ES och M7CL Quick Setup Guide Svensk version February, 2009 SB168-ES och M7CL Quick Setup Guide Om den här guiden Den här guiden innefattar information om snabb och enkel konfigurering av 48 inputs
Eclipse en handledning
LUNDS TEKNISKA HÖGSKOLA EDAA01 Programmeringsteknik fördjupningskurs Institutionen för datavetenskap VT 2015 Eclipse en handledning 1 Inledning Här beskrivs Eclipse, den programutvecklingsmiljö som utnyttjas
kl Tentaupplägg
Tentaupplägg TIPS 1: Läs igenom ALLA uppgifterna. Välj den du känner är lättast först. Det kan gärna ta 10-20 minuter. Försök skriva saker som kan vara problem i uppgifterna. Är det något du absolut kommer
729G43'Ar*ficiell'intelligens' Kunskapsrepresenta*on' Kunskapsrepresenta*on' Kunskapsbaserade'agenter' Kunskapsbaserad'agent' Arne'Jönsson' HCS/IDA' '
Kunskapsrepresenta*on' 729G43'Ar*ficiell'intelligens' Kunskapsrepresenta*on' Arne'Jönsson' HCS/IDA' ' Introduk*on' WumpusEvärlden' FOPL,'Inferens' Resolu*on,'Unifiering' Representa*on'av'kunskap' Ontologi'
STAR NEWS. Det saknas fortfarande många Holokroner. Officiell lägertidning för Star Camp 2016
Officiell lägertidning för Star Camp 2016 Det saknas fortfarande många Holokroner Under torsdagseftermiddagen saknades det fortfarande mer än hälften av alla holokroner. Nu måste jakten dras igång på allvar.
TDDC74 Lab 02 Listor, sammansatta strukturer
TDDC74 Lab 02 Listor, sammansatta strukturer 1 Översikt I denna laboration kommer ni att lära er mer om: Mer komplexa rekursiva mönster, procedurer och processer. Hur man kan hantera listor och andra enklare
DVG C01 TENTAMEN I PROGRAMSPRÅK PROGRAMMING LANGUAGES EXAMINATION :15-13: 15
DVG C01 TENTAMEN I PROGRAMSPRÅK PROGRAMMING LANGUAGES EXAMINATION 120607 08:15-13: 15 Ansvarig Lärare: Donald F. Ross Hjälpmedel: Bilaga A: BNF-definition En ordbok: studentenshemspråk engelska Betygsgräns:
FactoryCast HMI. Premium & Quantum PLC. FactoryCast HMI epost-tjänst 2004-10-25
FactoryCast HMI Premium & Quantum PLC FactoryCast HMI epost-tjänst 2004-10-25 INNEHÅLLSFÖRTECKNING 1 EPOST-TJÄNSTEN...3 1.1 KONFIGURERING AV EPOST-TJÄNST...3 2 EPOST-SERVER...6 2.1 KONFIGURERING AV EPOST-SERVER...6
EU gemensamma regler för drönare. Rémi Vesvre
EU gemensamma regler för drönare Rémi Vesvre EASA delar drönare i 3 riskkategorier * ÖPPEN Låg risk SPECIFIK Mellan risk CERTIFIERAD Hög risk *Risk mot människor på marken Skillnad EU vs Sverige Sverige
Webbteknik II. Föreläsning 4. Watching the river flow. John Häggerud, 2011
Webbteknik II Föreläsning 4 Watching the river flow Web Service XML-RPC, SOAP, WSDL, UDDI HTTP Request, Response, Headers, Cache, Persistant Connection REST Hype or the golden way? Web Service / Webbtjänst
STAR NEWS. Lördag den 6 augusti Darth Vader i Kopparbo
Officiell lägertidning för Star Camp 2016 Darth Vader i Kopparbo Under morgonsamlingen vid flagghissningen överraskades deltagarna av att Darth Vader kom förbi Star camp, stående på en pickup. Luke och
Programmeringsteknisk översiktskurs för yrkeshögskoleprogram
Programmeringsteknisk översiktskurs för yrkeshögskoleprogram Föreläsning 12 Våren 2005 Innehåll Palindrom Hur man hittar fel i program, debuggning Felhantering, hur man förhindrar program att krascha Ev.
Grundläggande logik och modellteori
Grundläggande logik och modellteori Kapitel 12: Logikprogrammering Henrik Björklund Umeå universitet 16. oktober, 2014 Prolog Prolog har två klasser av formler. Atomära formler: country(sweden, 9000000).
Code-Lite tutorial ( /RoJ)
Code-Lite tutorial (2013-03-20/RoJ) Följ dessa anvisningar för att skapa projekt, kompilera/länka och testa dina laborationsuppgifter 3,4. Project Projekt, innehåller bland annat ett antal källtextfiler
2.1 Installation of driver using Internet Installation of driver from disk... 3
&RQWHQW,QQHKnOO 0DQXDOÃ(QJOLVKÃ'HPRGULYHU )RUHZRUG Ã,QWURGXFWLRQ Ã,QVWDOOÃDQGÃXSGDWHÃGULYHU 2.1 Installation of driver using Internet... 3 2.2 Installation of driver from disk... 3 Ã&RQQHFWLQJÃWKHÃWHUPLQDOÃWRÃWKHÃ3/&ÃV\VWHP
Logikprogrammering. KŠnnetecken. Exempel pœ relation. Relationer. Varianter. KŠnnetecken och fšrutsšttningar Prolog
Logikprogrammering KŠnnetecken och fšrutsšttningar Prolog FšrtjŠnster BegrŠnsningar Praktiska tillšmpningar KŠnnetecken Hšg abstraktionsnivœ Deklarativt, ej proceduralt Specificerar šnskade resultat snarare
Föreläsning 11 i programmeringsparadigm. Negering.
Föreläsning 11 i programmeringsparadigm. Negering. Brna avsnitt 7.2. Prologs negering \+ fungerar som så att om vi har delmålet \+ p(...), så körs p(..). Om denna körnings lyckas så misslyckas \+ p(...)och
Två fall: q Tom sekvens: () q Sekvens av element: (a b c) ; (sum-rec '(2 4 6)) = 12. q Första elementet uppfyller vissa villkor: (2 a b c)
Programmönster: # Listan som sekvens, Rekursiv process Enkel genomgång av sekvens (element på toppnivån i en lista)) TDDC60 Programmering: abstraktion och modellering Föreläsning 5 Rekursiva och iterativa
JAR som tar eller zip. Java. Exekvering
JAR som tar eller zip Används för att packa ihop en mängd filer jar cvf foo.jar ~user/inlupp1/* Packa upp jar xvf foo.jar Kan vara körbar Fil manifest + class-filer på rätt ställe Main-Class: blazon.ui.inlupp1
Manuell installation av SQL Server 2008 R2 Express för SSF Timing
Manuell installation av SQL Server 2008 R2 Express för SSF Timing Innehåll 1. Metoder att installera...1 2. Förutsättningar...2 DotNet Framework 3.5...2 MSI Installer 4.5...2 3. Hämta SQL Server 2008 R2
Ett Logikprogram. Logik och Programmering. Introduktion till PROLOG, dvs. PROgramming in LOGic. Viktiga begrepp/områden i Prolog. Framtiden?
Crash Course in Prolog Peter Funk FUKO HT2001 IDt, Computer Science and Engineering Mälardalen University Västerås, Sweden Peter.Funk@mdh.se Introduktion till PROLOG, dvs. PROgramming in LOGic Prolog-programmen
Procedurer och villkor. Rekursiva procedurer. Exempel: n-fakultet
Procedurer och villkor Rekursiva procedurer (define lessorequal (lambda (x y) (or (< x y) (= x y)))) (define between (lambda (x y z) (and (lessorequal x y) (lessorequal y z)))) > (between 3 4 5) #t > (between
DD1350 Logik för dataloger. Fö 2 Satslogik och Naturlig deduktion
DD1350 Logik för dataloger Fö 2 Satslogik och Naturlig deduktion 1 Satslogik En sats(eller utsaga)är ett påstående som kan vara sant eller falskt. I satslogik(eng. propositionallogic) representeras sådana
Procedurer och villkor
Procedurer och villkor (define lessorequal (lambda (x y) (or (< x y) (= x y)))) (define between (lambda (x y z) (and (lessorequal x y) (lessorequal y z)))) > (between 3 4 5) #t > (between 3 2 5) #f DA2001
Programmering I Tobias Wrigstad fredag, 2009 augusti 28
Programmering I Tobias Wrigstad tobias@dsv.su.se Vad är programmering? Lågnivåspråk och högnivåspråk Kompilering och interpretering Variabler Notation för flödesschema (flow chart) Kontrollstrukturer (conditionals,
TDDC74 Programmering: Abstraktion och modellering Dugga 1, exempeldugga
TDDC74 Programmering: Abstraktion och modellering Dugga 1, exempeldugga Läs alla frågorna först och bestäm dig för i vilken ordning du vill lösa uppgifterna. Uppgifterna är inte nödvändigtvis i svårighetsordning.
Programmeringsteknik F1/TM1
f1pt Välkommen till Programmeringsteknik F1/TM1 CTH: TIN212 LP 2-3 2016/17 F1 introduktion Erland Holmström erland... at... chalmers.se Data & Informationsteknik Kurshemsida: www.cse.chalmers.se/edu/course/tin212/
OMTENTAMEN I PROGRAMSPRÅK -- DVG C kl. 08:15-13: 15
OMTENTAMEN I PROGRAMSPRÅK -- DVG C01 130823 kl. 08:15-13: 15 Ansvarig Lärare: Donald F. Ross Hjälpmedel: Bilaga A: BNF-definition Betygsgräns: Kurs: Max 60p, Med beröm godkänd 50p, Icke utan beröm godkänd
Datorövning 2 Matlab/Simulink. Styr- och Reglerteknik för U3/EI2
Högskolan i Halmstad Sektionen för Informationsvetenskap, Dator- och Elektroteknik 08/ Thomas Munther Datorövning 2 Matlab/Simulink i Styr- och Reglerteknik för U3/EI2 Laborationen förutsätter en del förberedelser
Inledning. Vad är ett datorprogram, egentligen? Olika språk. Problemlösning och algoritmer. 1DV433 Strukturerad programmering med C Mats Loock
Inledning Vad är ett datorprogram, egentligen? Olika språk Problemlösning och algoritmer 1 (14) Varför använda en dator? Genom att variera de program som styr datorn kan den användas för olika uppgifter.
1.1 Skapa ett Inline-Script som skapar filen För att skapa ett inline script drar man InLine till där man vill ha själva scriptet.
1.1 Skapa ett Inline-Script som skapar filen För att skapa ett inline script drar man InLine till där man vill ha själva scriptet. För att skapa en data-fil har jag i, simon-uppgiften, skapat ett InLine-script
Programmering II (ID1019) :00-12:00
ID1019 Johan Montelius Programmering II (ID1019) 2018-03-13 08:00-12:00 Instruktioner Betyg Svaren skall lämnas på dessa sidor, använd det utrymme som nns under varje uppgift för att skriva ner ditt svar.
STAR NEWS. Förstärkningen är här!
Tor Officiell lägertidning för Star Camp 2016 Förstärkningen är här! Igår kom förstärkningen, spårare och bävrar, till Star camp som kraftigt ökade möjligheterna att klara uppdraget i tid. Årgång 1, Nummer
BDM12 Användarbeskrivning. Introduktion
Versioner/ändringar 1.0 2003-07 1.01 BUGFIX: FLASH unsecure algoritm 1.02 Fördröjning vid flash-prog. Statusutskrift under programmeringen. Programmeringsalgoritmen hanterar nu även 'bankade' minnet. Översättning
KAP 18 SQL SERVER AGENT
KAP 18 SQL SERVER AGENT Tjänsten Sql Server Agent Operator Job Alert (larm) http://www.youtube.com/watch?v=ii1tc493bzm 1 VAD ÄR SQL SERVER AGENT? SQL Server Agent är en tjänst (service) som ansvarar för:
Resultat av den utökade första planeringsövningen inför RRC september 2005
Resultat av den utökade första planeringsövningen inför RRC-06 23 september 2005 Resultat av utökad första planeringsövning - Tillägg av ytterligare administrativa deklarationer - Variant (av case 4) med
Mr. Adam Smith Smith's Plastics 8 Crossfield Road Selly Oak Birmingham West Midlands B29 1WQ
- Address Mr. J. Rhodes Rhodes & Rhodes Corp. 212 Silverback Drive California Springs, CA 92926 American address format: Street number + street name Name of town + state abbreviation + zip code Mr. Adam
Programspråkslingvistik. Sista delen av kursen. Ett programspråk
Sista delen av kursen Programspråkslingvistik handlar om hur program, delprogram och datatyper deklareras och vad det man åstadkommit egentligen betyder. Innehåll Syntaktisk (hur ser det ut) och semantisk
Sista delen av kursen
Sista delen av kursen handlar om hur program, delprogram och datatyper deklareras och vad det man åstadkommit egentligen betyder. Innehåll Syntaktisk (hur ser det ut) och semantisk (vad betyder det) beskrivning
Djupstruktur och ytstruktur
Djupstruktur och ytstruktur En gammal man bodde på vinden. På vinden bodde en gammal man. Chomsky 1965 baskomponent transformationskomponent Föregångare till UCP Augmented Transition Network (Woods 1970)
manual Bluetooth car handsfree Road talk Item: Linocell
manual Bluetooth car handsfree Road talk Item: 92960 EN NO SV Linocell ENGLISH Overview 1 2 3 4 5 1 Call button 2 Microphone 3 Charging port 4 On / Off 5 Volume knob Specifications Bluetooth: 4.0 Charging:
Del : Funktionell programmering. I alla deluppgifterna, använd Haskell och skriv typen för de identifierare du definierar.
Nada Tentamensdag 2005 jan11 Tentamen Programmeringsparadigm Skrivtid 5 h Antalet uppgifter : 1 (allmänt)+ 4 (Haskell) + 4 (Prolog) = 10p +(6p + 10p +14p+ 20p) + (9p +11p + 8p +12p) = 10p + 50p + 40 p
Balanserade Styrkort. (Balanced Scorecard) En aptitretare från VisVires AB
Balanserade Styrkort (Balanced Scorecard) En aptitretare från VisVires AB Inledning Det torde inte ha undgått någon att vi idag får ett allt större fokus på ekonomi och finansiella resultat. De flesta
Uppdatera Easy Planning till SQL
Easy Planning SQL heter vår senaste version av planeringsprogram. Vi rekommenderar alla kunder att uppdatera till den senaste versionen 8.25. Alla användare som har en äldre version av EP (7.58 eller äldre)
1 Den normala kartbilden
Innehåll sidnr. 1 DEN NORMALA KARTBILDEN...1 2 KARTA FRÅN AVVERKNINGSPLAN, TRANSPORTORDER OCH FÖRÄDLING/ARBETSORDER...5 3 KARTURVAL FÖR RAPPORTER...6 4 GPS KONFIGURATION....8 4.1 MOBILA ENHETER MED INBYGGD
Tentamen i Grundläggande Programvaruutveckling, TDA548
Tentamen i Grundläggande Programvaruutveckling, Joachim von Hacht/Magnus Myreen Datum: 2016-12-20 Tid: 08.30-12.30 Hjälpmedel: Engelskt-Valfritt språk lexikon Betygsgränser: U: -23 3: 24-37 4: 38-47 5
UNIX verktyg. Användbara kommandon Fil och informationssökning Tags Versionshanteringssystem
Användbara kommandon Fil och informationssökning Tags Versionshanteringssystem 1 Användbara kommandon 1 more är ett filter som visar information skärmvis Exempel: ls al more less är en mer kraftfull variant
Del : Paradigmer allmänt.
Nada Tentamensdag 2003 jan 13 Tentamen Programmeringsparadigm Skrivtid 5 h Antalet uppgifter : 1 (allmänt)+ 3 (Haskell) + 4 (Prolog) = 5p +(15p + 15p +20p) + (10p +12p + 15p +8p) = 5p + 50p + 45 p = 100p
Installationsmanual Onepix RSS Vatech 1.6.3 SVENSK
Installationsmanual Onepix RSS Vatech 1.6.3 SVENSK 2 Onepix1.1_IFI_Onepix-RSS-Vatech-1.6_SE_002 3 Innehåll Viktig information 4 Nyheter i Onepix RSS Vatech 4 Installation av Onepix RSS Vatech Server på
Logisk semantik I. 1 Lite om satslogik. 1.1 Konjunktioner i grammatisk bemärkelse. 1.2 Sant och falskt. 1.3 Satssymboler. 1.
UPPSALA UNIVERSITET Datorlingvistisk grammatik I Institutionen för lingvistik och filologi Oktober 2007 Mats Dahllöf http://stp.ling.uu.se/ matsd/uv/uv07/dg1/ Logisk semantik I 1 Lite om satslogik 1.1
Dugga Datastrukturer (DAT036)
Dugga Datastrukturer (DAT036) Duggans datum: 2012-11-21. Författare: Nils Anders Danielsson. För att en uppgift ska räknas som löst så måste en i princip helt korrekt lösning lämnas in. Enstaka mindre
Introduktion till Haskell
Introduktion till Haskell Elias Riedel Gårding NMA11, Teknisk Fysik (KTH) 2014 18 februari 2018 Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari 2018 1 / 29 Om Haskell Historik 1927:
Manuell installation av SQL Server 2008 R2 Express SP2 fo r SSF Timing
Manuell installation av SQL Server 2008 R2 Express SP2 fo r SSF Timing 1 Förutsättningar 1.1 Windows 7 och nyare DotNet Framework 3.5 SQL server 2008R2 kräver dotnet framework(.net) 2.0 för att fungera.
TIDOMAT PW32. Nyheter i version 9.0. Dokumentet beskriver nya funktioner och tillägg samt förbättringar från version 8.51
TIDOMAT PW32 Nyheter i version 9.0 Dokumentet beskriver nya funktioner och tillägg samt förbättringar från version 8.51 Innehåll Ändrade program... 3 Inledning... 4 Klient (PW32 Easy Client)... 6 Webserver/WebService...
SITHS. Integration SITHS CA Copyright 2015 SecMaker AB Författare: Andreas Mossnelid Version 1.2
SITHS Integration SITHS CA Copyright 2015 SecMaker AB Författare: Andreas Mossnelid Version 1.2 Innehåll 1 Förberedelser för användning av SITHS Cert... 3 1.1 Förklaring... 3 1.2 Import av SITHS root i