Programmierkurs Prolog, SS 1998

Einführung in das Programmieren Prolog Sommersemester 2006. Teil 2: Arithmetik. Version 1.0

Einführung in das Programmieren Prolog Sommersemester 2006 Teil 2: Arithmetik Version 1.0 Gliederung der LV Teil 1: Ein motivierendes Beispiel Teil 2: Einführung und Grundkonzepte Syntax, Regeln, Unifikation,

Wissensrepräsentation Vorlesung

Wissensrepräsentation Vorlesung Sommersemester 2008 5. Sitzung Dozent Nino Simunic M.A. Computerlinguistik, Campus DU Wissensbasierte Systeme: Regelbasierte Expertensysteme bzw. Produktionssysteme Rückblick:

R a i n e r N i e u w e n h u i z e n K a p e l l e n s t r G r e v e n T e l / F a x / e

R a i n e r N i e u w e n h u i z e n K a p e l l e n s t r. 5 4 8 6 2 8 G r e v e n T e l. 0 2 5 7 1 / 9 5 2 6 1 0 F a x. 0 2 5 7 1 / 9 5 2 6 1 2 e - m a i l r a i n e r. n i e u w e n h u i z e n @ c

F r e i t a g, 3. J u n i

F r e i t a g, 3. J u n i 2 0 1 1 L i n u x w i r d 2 0 J a h r e a l t H o l l a, i c h d a c h t e d i e L i n u x - L e u t e s i n d e i n w e n i g v e r n ü n f t i g, a b e r j e t z t g i b t e

Programmierkurs Prolog, SS 1998

Programmierkurs Prolog SS 1998 Universitaet Dortmund LS VIII - Prof. K. Morik Compiler Kommandos Compiler-Modes Mode-Deklarationen Debugger Erweitertes Box-Modell Tracing Interaktive Kommandos Compiler/Debugger

Programmierkurs Prolog, SS 1998

Programmierkurs Prolog SS 1998 Universität Dortmund LS VIII - Prof. K. Morik Inhalt Vergleiche von Termen Typtests auf Termen Zugriff auf den Termaufbau Zugriff auf Fakten und Regeln All-Solutions Prädikate

Introduction to Data and Knowledge Engineering 8. Tutorium: Prolog SS KE TUD 1

Introduction to Data and Knowledge Engineering 8. Tutorium: Prolog SS KE TUD 1 Aufgabe 1: Datalog vs. Prolog Aufgabenstellung Gegeben sei das folgendes Programm: fatigue(ana). fatigue(joe). headache(john).

Die beiden Regeln des vorangegangenen Beispiels weisen Unterschiede. Die erste Regel entspricht einer logischen Implikation.

3. Regelsysteme Eine weitverbreitete Form der Wissensrepräsentation ist die Formulierung von Regeln. Regeln sind formalisierte Konditionalsätze der Form Wenn (if) F dann (then) G. Bedeutung: Wenn dann

Lösungshinweise zu Kapitel 4

L-23 Lösungshinweise zu Kapitel 4 zu Selbsttestaufgabe 4.3 (Regelumformungen 1) Die Regeln R1, R2 und R2 sind bereits in vereinfachter Form und entsprechen genau den Regeln GA-1, GA-8 und GA-7. Die Umformung

SHELL WE BEGIN? EINE EINFÜHRUNG IN DIE SHELL. Max Rosin - ANKÜNDIGUNGEN

SHELL WE BEGIN? EINE EINFÜHRUNG IN DIE SHELL Max Rosin - mrosin@freitagsrunde.org ANKÜNDIGUNGEN lists.freitagsrunde.org/mailman/listinfo/fopen freitagsrunde.org/techtalks 1 WAS MACHEN WIR HEUTE? Was ist

Übersicht. Prädikatenlogik höherer Stufe. Syntax der Prädikatenlogik 1. Stufe (mit Gleichheit)

Übersicht I Künstliche Intelligenz II Problemlösen III Wissen und Schlussfolgern 7. Logische Agenten 8. Prädikatenlogik 1. Stufe 9. Schließen in der Prädikatenlogik 1. Stufe 10. Wissensrepräsentation IV

Übersicht. 7. Prädikatenlogik 1. Stufe

Übersicht I Künstliche Intelligenz II Problemlösen III Wissen und Schlußfolgern 6. Logisch schließende Agenten 7. Prädikatenlogik 1. Stufe 8. Entwicklung einer Wissensbasis 9. Schließen in der Prädikatenlogik

Ereignisorientierte Programmierung

Ereignisorientierte Programmierung 2 Klassisches Vorgehen Idee der weitgehend automatisierten Problemlösung. Entwickler analysiert Erfordernisse, stellt einen idealen Algorithmus dafür auf. Programm arbeitet

Theoretische Informatik SS 03 Übung 3

Theoretische Informatik SS 03 Übung 3 Aufgabe 1 a) Sind die folgenden Funktionen f : partiell oder total: f(x, y) = x + y f(x, y) = x y f(x, y) = x y f(x, y) = x DIV y? Hierbei ist x DIV y = x y der ganzzahlige

SONNTAG OFFEN 599. undsparen! LACK LACK HOCH GLANZ HOCH GLANZ. Los je

ß U U ß ß = ß % % % Ü U % ß % U U U U % U U U U U ß Ü U Ü ; % ß ß % % U Ü Ü & U Ü U Ü U Ü U Ü U Ü U Y Ä U Y Ä U ß Y Ä U Y Ä U ß ß ß ß Y Ä U U ß ß ß Y Ä U Y Ä U ß Y Ä U U ß ß ß ß ß ß ß ß ß ß ß ß ß ß ß ß

Formale Sprachen, reguläre und kontextfreie Grammatiken

Formale Sprachen, reguläre und kontextfreie Grammatiken Alphabet A: endliche Menge von Zeichen Wort über A: endliche Folge von Zeichen aus A A : volle Sprache über A: Menge der A-Worte formale Sprache

Prolog 9. Kapitel: Terme

Prolog 9. Kapitel: Terme Dozentin: Wiebke Petersen Kursgrundlage: Learn Prolog Now (Blackburn, Bos, Striegnitz) Petersen Prolog: Kapitel 9 1 Zusammenfassung Kapitel 8 Wir haben Parameter kennengelernt

Chapter 1 : þÿ O n l i n e b e t a t h o m e c h a p t e r

Chapter 1 : þÿ O n l i n e b e t a t h o m e c h a p t e r þÿ W e t t a n b i e t e r I n t e r w e t t e n h a t a m M o n t a g s e i n e n J a h r e s b e r i c h t u n d e i n e I n d e r. V i r t

Binäre Suchbäume (binary search trees, kurz: bst)

Binäre Suchbäume (binary search trees, kurz: bst) Datenstruktur zum Speichern einer endlichen Menge M von Zahlen. Genauer: Binärbaum T mit n := M Knoten Jeder Knoten v von T ist mit einer Zahl m v M markiert.

Exercise (Part VIII) Anastasia Mochalova, Lehrstuhl für ABWL und Wirtschaftsinformatik, Kath. Universität Eichstätt-Ingolstadt 1

Exercise (Part VIII) Notes: The exercise is based on Microsoft Dynamics CRM Online. For all screenshots: Copyright Microsoft Corporation. The sign ## is you personal number to be used in all exercises.

Logische Programmierung

Logische Programmierung B-82 Deklaratives Programmieren in Prädikatenlogik: Problem beschreiben statt Algorithmus implementieren (idealisiert). Grundlagen: Relationen bzw. Prädikate (statt Funktionen);

Crashkurs Kommandozeile

Crashkurs Kommandozeile Thomas Werner This work is licensed under the Creative Commons Attribution ShareAlike 2.0 License. To view a copy of this license, visit http://creativecommons.org/licenses/by sa/2.0/de/

Chapter 1 : þÿ b e t a t h o m e t e l e f o n n u m m e r c h a p t e r

Chapter 1 : þÿ b e t a t h o m e t e l e f o n n u m m e r c h a p t e r þÿ W e s e n t l i c h s e r i ö s e r g e h t e s b e i b e t - a t - h o m e a u f d e r W e b s e i t e s e l b s t z u, d i

Chapter 1 : þÿ b e t a t h o m e O n l i n e C a s i n o e r f a h r u n g e n c h a p t e r

Chapter 1 : þÿ b e t a t h o m e O n l i n e C a s i n o e r f a h r u n g e n c h a p t e r þÿ s t e h e n.. D e u t s c h l a n d ) : 0 8 0 0 1 8 2 8 6 2 3. F a x : 0 0 4 3 B e t - a t - h o m e. c o

3. Lernen mit Vorwissen

3. Lernen mit Vorwissen Wissen beim Lernen 3. Lernen mit Vorwissen Sei Beschreibungen die Konjunktion aller Beispiele der Trainingsmenge und Klassifizierungen die Konjunktion aller Beispielklassifizierungen.

W i r w ü n s c h e n I h n e n e i n e u n v e r g e ß l i c h e F e i e r m i t d e r B l ü t e d e r K ü c h e

Editorial fleur de cuisine - Blüte der Küche W i r v o n f l e u r d e c u i s i n e m ö c h t e n I h n e n g e r n e t w a s ü b e r B l ü t e n d e r K ü c h e e r z ä h l e n. V o n B l ü t e n, d

Übersicht Shell-Scripten

!!!! Wichtig: Bei Shell-Scripten enden die Zeilen nicht mit einem Strichpunkt!!!! Erste Zeile eines Shell-Scripts: #! /bin/bash Variablen in Shell-Scripts: Variablennamen müssen mit einem Buchstaben beginnen,

Scriptbasierte Testautomatisierung. für Web-Anwendungen

Scriptbasierte Testautomatisierung für Web-Anwendungen Scriptbasierte Testautomatisierung + Web-Anwendung: Erstes Einsatzgebiet, Ergebnisse aber allgemein übertragbar + Test aus Benutzersicht - Nicht Unit-Test,

Artificial Intelligence und Wissensrepräsentation

1 Artificial Intelligence und Wissensrepräsentation Prof. Georg Gottlob Institut für Informationssysteme Technische Universität Wien Folien zur Vorlesung Konzepte der Artificial Intelligence 2 Gliederung

Chapter 1 : þÿ b e t a r a f c h a p t e r

Chapter 1 : þÿ b e t a r a f c h a p t e r þÿ. j a c k p o t s p i e l a u t o m a t e n B e t a t h o m e l i v e O n l i n e G a m b l i n g P o k e r A u s t r a l i a.. B o r u s s i a M & # 3 9 ;

Chapter 1 : þÿ N a c h r i c h t e n b e t a t h o m e c h a p t e r

Chapter 1 : þÿ N a c h r i c h t e n b e t a t h o m e c h a p t e r þÿ c o u r t e s y o f p e n a l t i e s f r o m M a t t T u b b s a n d R o b e r t s. C l i c k h e r e t o r e a d o u r. T r e y

4. Objektorientierte Programmierung mit C++

4. Objektorientierte Programmierung mit C++ Einführung C++ / Entwicklung/ Sprachfamilie Nicht objektorientierte Erweiterungen von C Grundlagen des Typkonzepts von C++ Ziele der Objektorientierung Objekt

Computer & GNU/Linux Einführung Teil 4

Inst. für Informatik [IFI] Computer & GNU/Linux EinführungTeil 4 Simon Haller, Sebastian Stab 1/20 Computer & GNU/Linux Einführung Teil 4 Simon Haller, Sebastian Stabinger, Benjamin Winder Inst. für Informatik

Chapter 1 : þÿ W i e e i n z a h l e n a u f b e t a t h o m e c h a p t e r

Chapter 1 : þÿ W i e e i n z a h l e n a u f b e t a t h o m e c h a p t e r þÿ h o m e d r o h t K l a g e i n D e u t s c h l a n d & m i d d o t ; S c h l e s w i g - H o l s t e i n h a t s i c h &

5) Der Präsident fliegt an Bord Dumbo. 6) Der Präsident lädt Diplomaten zum Essen ein. 8) Wir haben einen Botschafter für Käseland.

Wer ist das? Wer ist das? Ist Mickey Maus der Präsident? Wer ist Präsident? RICHTIG ODER FALSCH? (Welche Sätze stellen die Wirklichkeit dar?) 1) Barack Obama ist der Präsident der USA. 2) Mickey Maus ist

Chapter 1 : þÿ b e t a t h o m e g e h t n i c h t c h a p t e r

Chapter 1 : þÿ b e t a t h o m e g e h t n i c h t c h a p t e r þÿ V e r w e i l e n s p i n s b e i a v a l o n v e r t r a u l i c h b e h a n d e l t w e r d e n b e t a t h o m e n o. n o. A b s o

Christian Nimtz // 1 Das Skeptische Argument und Reaktionen 3 Moores Beweis der Außenwelt, Schritt 2

Program Christian Nimtz www.nimtz.net // lehre@nimtz.net Grundfragen der Erkenntnistheorie Kapitel 9: Antworten auf den Skeptiker II Moores Beweis der Außenwelt 1 Das Skeptische Argument und Reaktionen

Chapter 1 : þÿ b e t a t h o m e V e r b i n d u n g s c o d e c h a p t e r

Chapter 1 : þÿ b e t a t h o m e V e r b i n d u n g s c o d e c h a p t e r þÿ L i v e w e t t e n U M S A T Z B E D I N G U N G E N, B o n u s 6 x i n S p o r t w e t t e n z u 1, 7 5. H i e r k o m

Linux - a bit advanced

Linux - a bit advanced Überblick Rechteverwaltung Dateisystem Shell-Programmierung Remote login Paketsystem Alternativen-System Rechte Drei Benutzerklassen Owner/User Group Others Drei Rechte Ausführen

Teil 1: Einführung in die Shell. Was ist die Shell? Wichtige Kommandos (1) Einführung in die Shell. Grundlagen der Shell-Programmierung

Einführung in die Shell Grundlagen der Shell-Programmierung Daniel Lutz 22.10.2003 Teil 1: Einführung in die Shell 1 2 Was ist die Shell? Schnittstelle zwischen Benutzer und Computer

Chapter 1 : þÿ b e t a t h o m e E c k e S t r a t e g i e c h a p t e r

Chapter 1 : þÿ b e t a t h o m e E c k e S t r a t e g i e c h a p t e r þÿ T i p p e r h ä l t m a n b e i b e t - a t - h o m e : M i t 1 0 E i n s a t z b e t r ä g t d e r G e w i n n 1 2. M i t. S

Klausur zur Vorlesung Mathematische Logik

Universität Heidelberg 13. Februar 2014 Institut für Informatik Prof. Dr. Klaus Ambos-Spies Dipl.-Math. Thorsten Kräling Klausur zur Vorlesung Mathematische Logik Musterlösung Aufgabe 1 (Aussagenlogik

Chapter 1 : þÿ b e t a t h o m e d e u t s c h c h a p t e r

Chapter 1 : þÿ b e t a t h o m e d e u t s c h c h a p t e r þÿ A t l e t i c o B e l o H o r i z o n t e M G - G r e m i o R S 2 6. 0 5. 1 6 0 2 : 0 0, 1 2 ( D o p p e l t e C h a n c e ).. S e l b s

Shell-Programmierung. von Rolf Schmidt für. LUG Frankfurt

Shell-Programmierung von Rolf Schmidt für LUG Frankfurt Ziel des Vortrags Skripten für Einsteiger Arten der Shell-Programmierung Möglichkeiten der Shell-Programmierung Eigene Skripte erstellen zu können

TECHNISCHE UNIVERSITÄT MÜNCHEN FAKULTÄT FÜR INFORMATIK

TECHNISCHE UNIVERSITÄT MÜNCHEN FAKULTÄT FÜR INFORMATIK WS 11/12 Einführung in die Informatik II Übungsblatt 2 Univ.-Prof. Dr. Andrey Rybalchenko, M.Sc. Ruslán Ledesma Garza 8.11.2011 Dieses Blatt behandelt

Chapter 1 : þÿ b e t a t h o m e o f f e n e R e c h n u n g c h a p t e r

Chapter 1 : þÿ b e t a t h o m e o f f e n e R e c h n u n g c h a p t e r þÿ 4 5 k m & n b s p ;. B a i e r, K o h r B o b a d i l l a, K o o, C a i u b y F i n n b o g a s o n. Z u s c h a u e r. 3 4

Chapter 1 : þÿ b e t a t h o m e C o m p u t e r c h a p t e r

Chapter 1 : þÿ b e t a t h o m e C o m p u t e r c h a p t e r þÿ i c h k a n n m i c h d e n ( n e g a t i v e n ) M e i n u n g e n n i c h t a n s c h l i e s s e n. I m m e r. O d e o n b e t 8 0 0

The Economics of Higher Education in Germany

Michael Maihaus The Economics of Higher Education in Germany Salary Expectations, Signaling, and Social Mobility Tectum Verlag Dr. rer. pol. Michael Maihaus, born in Steinfurt/Germany in 1983, studied

Syntax der Prädikatenlogik: Variablen, Terme. Formeln. Freie und gebundene Variablen, Aussagen. Aufgabe

Syntax der Prädikatenlogik: Variablen, Terme Formeln Eine Variable hat die Form x i mit i = 1, 2, 3.... Ein Prädikatensymbol hat die Form Pi k und ein Funktionssymbol hat die Form fi k mit i = 1, 2, 3...

Vorlesung: Künstliche Intelligenz

Vorlesung Fachbereich Mathematik/Informatik AG Vorlesung: - Logisches Schließen - P LS ES Marco Block-Berlitz 1 Vorlesung Fachbereich Mathematik/Informatik AG Inhaltliche Planung für die Vorlesung 1) Definition

Einführung in die Kommandozeile

Einführung in die Kommandozeile...oder auch: Hier hat alles angefangen. Tom Priebe Freitagsrunde Technische Universität Berlin 28. Oktober 2011 Inhalt 1 Einführung Über die Kommandozeile Grundbefehle Parameter

Intelligente Systeme

Intelligente Systeme Regeln, Inferenz, Logiken Prof. Dr. R. Kruse C. Braune C. Moewes {kruse,cmoewes,russ}@iws.cs.uni-magdeburg.de Institut für Wissens- und Sprachverarbeitung Fakultät für Informatik Otto-von-Guericke

Chapter 1 : þÿ o f f e n b e t a t h o m e W e b s i t e c h a p t e r

Chapter 1 : þÿ o f f e n b e t a t h o m e W e b s i t e c h a p t e r þÿ R i g h t G u a r d B l e a c h e r R e p o r t I s S a n b e t c l i c. f r s p o r t D i e g o C h a r g e r s & # 3 9 ; B e

Bayes-Netze (1) Lehrstuhl für Künstliche Intelligenz Institut für Informatik Friedrich-Alexander-Universität Erlangen-Nürnberg

Bayes-Netze (1) Lehrstuhl für Künstliche Intelligenz Institut für Informatik Friedrich-Alexander-Universität Erlangen-Nürnberg (Lehrstuhl KI) Bayes-Netze (1) 1 / 22 Gliederung 1 Unsicheres Wissen 2 Schließen

Chapter 1 : þÿ b e t a t h o m e a t c h a p t e r

Chapter 1 : þÿ b e t a t h o m e a t c h a p t e r þÿ D a v i d W a r n e r f i n d s s o m e o f h i s b e s t f o r m t o r e c o r d a m a t c h - w i n n i n g t o n a s. h o m e i n t h e F r e n

4.1 Definition. Gegeben: Relation f X Y f heißt Funktion (Abbildung) von X nach Y, wenn. = y 1. = y 2. xfy 1. xfy 2

4.1 Definition Gegeben: Relation f X Y f heißt Funktion (Abbildung) von X nach Y, wenn xfy 1 xfy 2 = y 1 = y 2 Y heißt Zielbereich oder Zielmenge von f. Statt (x, y) f oder xfy schreibt man y = f(x). Vollständige

De Morgan sche Regeln

De Morgan sche Regeln Durch Auswerten der Wahrheitswertetabelle stellen wir fest, dass allgemeingültig ist; ebenso (p q) p q (p q) p q. Diese beiden Tautologien werden als die De Morgan schen Regeln bezeichnet,

Fuzzy-Inferenz. Fuzzy-Inferenz. Fuzzy-Inferenz. Fuzzy-Inferenz. Klassische Logik. Aussagenlogische Regel: a b

Fuzzy-Inferenz Fuzzy-Inferenz Klassische Logik. Produktionsregelsystem D, R mit D = {a} und R = {a b} Schlußfolgern mit Forward-Chaining (Modus Ponens, MP): a height is tall {0, 1} b weight is heavy {0,

Datenstruktur zum Speichern einer endlichen Menge M von Zahlen. Genauer:

Binäre Suchbäume (binary search trees, kurz: bst) Datenstruktur zum Speichern einer endlichen Menge M von Zahlen. Genauer: Binärbaum T mit n := M Knoten Jeder Knoten v von T ist mit einer Zahl m v M markiert.

Technische Universität München WS 2004/2005 Fakultät für Informatik 11. Dezember 2004 Prof. Dr. Seidl

Name: Vorname: Matr. Nr.: Technische Universität München WS 2004/2005 Fakultät für Informatik 11. Dezember 2004 Prof. Dr. Seidl Zwischenklausur zu Einführung in die Informatik I Hinweis: In dieser Zwischenklausur

Linux II. Reguläre Ausdrücke Editoren Scripting. 2 Linux II. Linux I II III Res WN/TT NLTK XML Weka E Reguläre Ausdrücke Editoren Scripting

Linux II 2 Linux II Reguläre Ausdrücke Editoren Scripting Reguläre Ausdrücke Reguläre Ausdrücke beschreiben eine Menge von Zeichenfolgen und werden benutzt um m festzustellen, ob eine Zeichenkette Teil

Informatik A. Prof. Dr. Norbert Fuhr auf Basis des Skripts von Prof. Dr. Wolfram Luther und der Folien von Peter Fankhauser

Informatik A Prof. Dr. Norbert Fuhr fuhr@uni-duisburg.de auf Basis des Skripts von Prof. Dr. Wolfram Luther und der Folien von Peter Fankhauser 1 Teil I Logik 2 Geschichte R. Descartes (17. Jhdt): klassische

Seminar Analysis Konvexe Funktionen und einige wichtige Ungleichungen

Seminar Analysis Konvexe Funktionen und einige wichtige Ungleichungen Michael Schaeer 3.04.03 Abstract This seminar is about convex functions and several imortant ineualities. At the beginning the term

PONS DIE DREI??? FRAGEZEICHEN, ARCTIC ADVENTURE: ENGLISCH LERNEN MIT JUSTUS, PETER UND BOB

Read Online and Download Ebook PONS DIE DREI??? FRAGEZEICHEN, ARCTIC ADVENTURE: ENGLISCH LERNEN MIT JUSTUS, PETER UND BOB DOWNLOAD EBOOK : PONS DIE DREI??? FRAGEZEICHEN, ARCTIC ADVENTURE: Click link bellow

Seminar Scala SS2010, Einführung. R. Schiedermeier Fakultät 07 für Informatik und Mathematik

Seminar Scala SS2010, Einführung R. Schiedermeier Fakultät 07 für Informatik und Mathematik Themen Ausführen von Scala-Code Werte und Variablen Methoden Typen 22.04.10 Seminar Scala, Einführung 2 Übersetzen

Chapter 1 : þÿ w w w b e t a t h o m e c o m L o g i n - P a s s w ö r t e r c h a p t e r

Chapter 1 : þÿ w w w b e t a t h o m e c o m L o g i n - P a s s w ö r t e r c h a p t e r þÿ d i e A n a l y s e n f ü r b e t - a t - h o m e. c o m A G n a c h f o l g e n d e n K r i t e r i e n z

Logik für Informatiker

Vorlesung Logik für Informatiker 3. Aussagenlogik Einführung: Logisches Schließen im Allgemeinen Bernhard Beckert Universität Koblenz-Landau Sommersemester 2006 Logik für Informatiker, SS 06 p.1 Beispiel:

Chapter 1 : þÿ b e t a m i n u s z e r f a l l p o t e n t i a l t o p f c h a p t e r

Chapter 1 : þÿ b e t a m i n u s z e r f a l l p o t e n t i a l t o p f c h a p t e r þÿ f i n a n z n a c h r i c h t e n. d e / n a c h r i c h t e n - a k t i e n / b e t - a t - h o m e - c o m -

Was ist Logische Programmierung?

Was ist Logische Programmierung? Die Bedeutung eines Computer-Programms kann durch Logik erklärt werden. Die Idee der logischen Programmierung besteht darin, die Logik eines Programms selber als Programm

Grundlagen von Decision Support und Expertensystemen

Grundlagen von Decision Support und Expertensystemen Peter Becker FH Bonn-Rhein-Sieg Fachbereich Informatik peter.becker@fh-bonn-rhein-sieg.de Vorlesung Sommersemester 2006 4. Regelbasierte Systeme Grundlagen

Intelligente Systeme

Intelligente Systeme Regelbasierte Systeme Prof. Dr. R. Kruse C. Braune {rudolf.kruse,christian.braune}@ovgu.de Institut für Intelligente Kooperierende Systeme Fakultät für Informatik Otto-von-Guericke-Universität

anbieten Wohnungen Straße finden Tipps wohnen Freunde WG Wohnungssuche Glück Besichtigungen Monaten Methoden Internet

Vokabeln Vocabulary umziehen to move ziehen nach to move to der Tipp tip die Wohnungssuche search for an apartment finden to find einziehen to move in die WG (Wohngemeinschaft) shared apartment unterkommen

Chapter 1 : þÿ b e t a t h o m e P f e r d e r e n n e n A b d e c k u n g W e t t e c h a p t e r

Chapter 1 : þÿ b e t a t h o m e P f e r d e r e n n e n A b d e c k u n g W e t t e c h a p t e r þÿ E i s o d e r f r i s c h e r O b s t s a l a t m i t i n d i s c h e n G e w ü r z e n. G e n u s

Chapter 1 : þÿ b e t a t h o m e d e s k t o p c h a p t e r

Chapter 1 : þÿ b e t a t h o m e d e s k t o p c h a p t e r þÿ : 5 9 U h r m i t I h r e m K u n d e n L o g - I n a u f d e r W e b s e i t e e i n l o g g e n u n d S i e e r h a l t e n & n b s p ;.

Berechnungsschemata: Funktion als Parameter abstrahiert Operation im Schema, wird bei Aufruf des Schemas konkretisiert

6. Funktionen als Daten, Übersicht Orthogonales Typsystem: Funktionen sind beliebig mit anderen Typen kombinierbar Notation für Funktionswerte (Lambda-Ausdruck): fn (z,k) => z*k Datenstrukturen mit Funktionen

Seminarvortrag zum Thema maschinelles Lernen I - Entscheidungsbäume. von Lars-Peter Meyer. im Seminar Methoden wissensbasierter Systeme

Seminarvortrag zum Thema maschinelles Lernen I - Entscheidungsbäume von Lars-Peter Meyer im Seminar Methoden wissensbasierter Systeme bei Prof. Brewka im WS 2007/08 Übersicht Überblick maschinelles Lernen

Chapter 1 : þÿ e i n z a h l b o n u s b e t a t h o m e c h a p t e r

Chapter 1 : þÿ e i n z a h l b o n u s b e t a t h o m e c h a p t e r þÿ H o m e. W E & # 3 9 ; V E N O W G I V E N M O N E Y B A C K O N O U T R I G H T P L I S K O V A B E T S. b e t a t h o m e P r

Vorlesung Unix-Praktikum

1/2 Vorlesung 8. und interaktiv Rechnerbetriebsgruppe Technische Fakultät Universität Bielefeld 07. Dezember 2015 2/2 Willkommen zur achten Vorlesung Was gab es beim letzten Mal? interaktiv for-schleifen

Exercise (Part II) Anastasia Mochalova, Lehrstuhl für ABWL und Wirtschaftsinformatik, Kath. Universität Eichstätt-Ingolstadt 1

Exercise (Part II) Notes: The exercise is based on Microsoft Dynamics CRM Online. For all screenshots: Copyright Microsoft Corporation. The sign ## is you personal number to be used in all exercises. All

Arbeiten mit der Shell Teil 1

Arbeiten mit der Shell Teil 1 Linux-Kurs der Unix-AG Zinching Dang 09. November 2015 Die Unix-Philosophie Es gibt viele kleine Programme Können die jeweiligen Aufgaben gut lösen Komplexe Aufgaben werden

Correspondence Bias & Actor-Observer Bias

& Felix-Nicolai Müller & Amir Ghoniem Übung zur Vorlesung Sozialpsychologie (A) - SS2008 - Universität Trier Dipl.-Psych. Tina Langer & Dipl.-Psych. Rebecca Weil 28.05.2008 Felix-Nicolai Müller & Amir

Chapter 1 : þÿ b e t a t h o m e w pb a t a c h a p t e r

Chapter 1 : þÿ b e t a t h o m e w pb a t a c h a p t e r þÿ A u f r e g u n g d e r f o l i e s c h n e l l z u r ü c k j u k e b o x u n d e r w e r b e n b e t a t h o m e c a s i n o. V o r a l l e

Arbeiten mit der Shell Teil 1

Arbeiten mit der Shell Teil 1 Linux-Kurs der Unix-AG Benjamin Eberle 4. Mai 2016 Die Komandozeile unter Linux Wird als Shell bezeichnet Die Shell ist eines der vielen Programme einer Linux-Distribution

Mathematik-Vorkurs für Informatiker (Wintersemester 2012/13) Übungsblatt 8 (Relationen und Funktionen)

DEPENDABLE SYSTEMS AND SOFTWARE Fachrichtung 6. Informatik Universität des Saarlandes Christian Eisentraut, M.Sc. Julia Krämer Mathematik-Vorkurs für Informatiker (Wintersemester 0/3) Übungsblatt 8 (Relationen

Chapter 1 : þÿ b e t a t h o m e F u ß b a l l L i v e c h a p t e r

Chapter 1 : þÿ b e t a t h o m e F u ß b a l l L i v e c h a p t e r þÿ f ü r D e u t s c h l a n d, Ö s t e r r e i c h u n d d i e N i e d e r l a n d e b i e t e n, S i e a b e r a u c h g a n z. D

e d m m = D d (E e (m)) D d E e m f c = f(m) m m m 1 f(m 1 ) = c m m 1 m c = f(m) c m c m b b 0, 1 b r f(b, r) f f(b, r) := y b r 2 n, n = pq ggt (p, q) = 1 p q y n f K f(x + y) = f(x) + f(y) f(x y) =

Chapter 1 : þÿ b e t a t h o m e k o d b o n u s u c h a p t e r

Chapter 1 : þÿ b e t a t h o m e k o d b o n u s u c h a p t e r þÿ b e d i e n s t & n b s p ;. t o u r n a m e n t s i n o u r S e l e c t t h e m a t c h s t a t u s a t h a l f t i m e ( e. g H o m

Chapter 1 : þÿ b e t a t h o m e J o b s A u s t r a l i e n c h a p t e r

Chapter 1 : þÿ b e t a t h o m e J o b s A u s t r a l i e n c h a p t e r þÿ P a t r i o t i c W a r A i r c r a f t P a i n t i n g s 1 0 2 4 7 6 8. B e t - a t - h o m e AB02:8 =0 A?>@B 1 5 8 4. b o

anbei unsere Erklärung zur Unterscheidung von Windgutachten und Windprognose:

Anlage 11 TÜV-SÜD Unterscheidung Prognose vs. Gutachten Von: Neiswirth, Sophie [mailto:sophie.neiswirth@tuev-sued.de] Gesendet: Montag, 2. Mai 2016 12:32 An: Bihler Markus J.M.

Multimedia Technologie II

Vorlesung / Übungen Multimedia Technologie II Prof. Dr. Michael Frank / Prof. Dr. Klaus Hering Sommersemester 2004 HTWK Leipzig, FB IMN Für die externe Vorhaltung der DTD werden sämtliche zwischen den

DVD MAKER USB2.0 Installation Anleitung

DVD MAKER USB2.0 Installation Anleitung Inhalt V1.0 Kapitel 1: DVD MAKER USB2.0 Hardware Montage...2 1.1 Inhalt der DVD MAKER USB2.0 Paket...2 1.2 Systemanforderungen...2 1.3 Hardware Montage...2 Kapitel

Das neue Volume-Flag S (Scannen erforderlich)

NetWorker 7.4.2 - Allgemein Tip 2, Seite 1/5 Das neue Volume-Flag S (Scannen erforderlich) Nach der Wiederherstellung des Bootstraps ist es sehr wahrscheinlich, daß die in ihm enthaltenen Informationen

Antwort: h = 5.70 bit Erklärung: Wahrscheinlichkeit p = 1/52, Informationsgehalt h = ld(1/p) => h = ld(52) = 5.70 bit

Übung 1 Achtung: ld(x) = Logarithmus dualis: ld(x) = log(x)/log(2) = ln(x)/ln(2)! Aufgabe 1 Frage: Wie gross ist der Informationsgehalt einer zufällig aus einem Stapel von 52 Bridgekarten gezogenen Spielkarte?

Wozu dient ein Logikanalysator?

Wozu dient ein Logikanalysator? Beispiel: Microcontroller Microcontroller kommen vor in Haushaltsgeräten (Waschmaschine,...) in Fahrzeugen (ABS, Motorsteuerung, Radio,...) in Computern (Tastatur, Festplatte,

Seminar Business Intelligence Teil II. Data Mining & Knowledge Discovery

Seminar Business Intelligence Teil II Data Mining & Knowledge Discovery Was ist Data Mining? Sabine Queckbörner Was ist Data Mining? Data Mining Was ist Data Mining? Nach welchen Mustern wird gesucht?

Korn-Shell: Einführung in Shellscripte 1. Übersicht: Einführung - 2. Die Kornshell im Detail - 3.Grundlagen der Programmierung

1. Übersicht: Einführung - 2. Die Kornshell im Detail - 3.Grundlagen der Programmierung 1. Übersicht und Einführung 1.1 Die Shell allgemein 1.2 Die korn-shell 1.3 Der Weg zum ersten Skript 1.4 Nutzen und

7 Gültigkeit und logische Form von Argumenten

7 Gültigkeit und logische Form von Argumenten Zwischenresümee 1. Logik ist ein grundlegender Teil der Lehre vom richtigen Argumentieren. 2. Speziell geht es der Logik um einen spezifischen Aspekt der Güte

17 Grundbegriffe der Logik der Sprache PL

17 Grundbegriffe der Logik der Sprache PL Erinnerung Definition 11.1 Ein Satz A der Sprache AL ist genau dann logisch wahr, wenn sich allein aus der Bedeutung der in ihm vorkommenden logischen Ausdrücke

Extracting Business Rules from PL/SQL-Code

Extracting Business Rules from PL/SQL-Code Version 7, 13.07.03 Michael Rabben Knowledge Engineer Semantec GmbH, Germany Why? Where are the business rules? Business Rules are already hidden as logic in

Arbeiten mit dem Stack

Das Attiny-Projekt Arbeiten mit dem Stack 1 Arbeiten mit dem Stack Der Stack ist einer der wichtigsten Konzepte von FORTH. Wir können uns den Stack vorstellen als einen Stapel von Zahlen. In der Tat heißt