Wurzelbäume. Definition 1

Größe: px
Ab Seite anzeigen:

Download "Wurzelbäume. Definition 1"

Transkript

1 Wurzeläume Definition 1 Ein Wurzelum (oer uh gerihteter Bum) ist ein gerihteter zyklisher Grph, in em genu ein Knoten w Eingngsgr 0 esitzt un lle neren Knoten Eingngsgr 1 esitzen. Knoten w heißt ie Wurzel es Grphen. e f Wurzelum mit Wurzel Grphen - Teil 4 J. Blömer 1/16

2 Wurzeläume Alterntive Definition Ein Wurzelum (oer uh gerihteter Bum) ist ein Pr (T, w), woei T = (V, E) ein ungerihteter Bum ist un w V ein Knoten ist. Knoten w heißt ie Wurzel es Grphen. Von ungerihtet zu gerihtet In T git es für jeen Knoten v V einen eineutigen Pf von w zu v. Orientieren Knten so, ss für jeen Knoten v V ein gerihteter Pf von w zu v führt. Grphen - Teil 4 J. Blömer 2/16

3 Wurzeläume Von ungerihtet zu gerihtet In T git es für jeen Knoten v V einen eineutigen Pf von w zu v. Orientieren Knten so, ss für jeen Knoten v V ein gerihteter Pf von w zu v führt. e f e f e f Grphen - Teil 4 J. Blömer 3/16

4 Grunlegene Begriffe Sei (T, w), T = (V, E), ein Wurzelum un v V. Die Knoten uf em Pf P von w zu v heißen Vorgänger von v. Der zu v enhrte Knoten uf P heißt unmittelrer Vorgänger, uh Vter oer Elter, von v. Knoten u, so ss v uf em Pf von w zu u liegt, heißen Nhfolger von v. Ein mit v urh eine Knte verunener Nhfolger heißt unmittelrer Nhfolger, uh Sohn oer Kin von v. u Wurzel v y z v ist Vorgänger von z. v ist unmittelrer Vorgänger von y. u ist Nhfolger er Wurzel. y ist unmittelrer Nhfolger von v. Grphen - Teil 4 J. Blömer 4/16

5 Höhe von Bäumen Definition 2 Sei T = (V, E) ein Wurzelum un v V ein Knoten. Die Höhe von v ist ie mximle Länge eines (gerihteten) Pfes in T mit Anfngsknoten v. Die Höhe von T ist ie Höhe er Wurzel von T. u Wurzel v v ht Höhe 2. u ht Höhe 0. Der Bum ht Höhe 3. y z Grphen - Teil 4 J. Blömer 5/16

6 Höhe von Bäumen Definition 2 Sei T = (V, E) ein Wurzelum un v V ein Knoten. Die Höhe von v ist ie mximle Länge eines (gerihteten) Pfes in T mit Anfngsknoten v. Die Höhe von T ist ie Höhe er Wurzel von T. v u v ht Höhe 2. u ht Höhe 3. Der Bum ht Höhe 4. Grphen - Teil 4 J. Blömer 5/16

7 Binäräume Definition 3 Ein Binärum ist ein Wurzelum, in em jeer Knoten höhstens zwei unmittelre Nhfolger ht. Ein vollstäniger Binärum ist ein Binärum, in em 1 jeer Knoten, er kein Bltt ist, genu zwei unmittelre Nhfolger ht 2 lle Pfe von er Wurzel zu Blättern ie gleihe Länge hen. Einen Binärum, er niht vollstänig ist, nennen wir unvollstänig. unvollstäniger Binärum vollstäniger Binärum er Höhe 2 Grphen - Teil 4 J. Blömer 6/16

8 Binäräume Stz 4 Ein vollstäniger Binärum er Höhe h ht 2 h Blätter un 2 h+1 1 Knoten. Beweis Inuktion üer h Inuktionsnfng h = 0 Bum er Höhe 0 esitzt 1 = Knoten 1 = 2 0 Blätter Grphen - Teil 4 J. Blömer 7/16

9 Binäräume Stz 4 Ein vollstäniger Binärum er Höhe h ht 2 h Blätter un 2 h+1 1 Knoten. Beweis Inuktionsvorussetzung Stz korrekt für Bäume er Höhe h. Inuktionsshritt h h + 1 T vollstäniger inärer Bum er Höhe h + 1 un mit Wurzel w w Wurzel mit irekten Nhfolgern w 1 un w 2 w i un seine Nhfolger sin vollstäniger Bum T i er Höhe h, i = 1, 2 T i esitzt 2 h Blätter un 2 h+1 1 Knoten, i = 1, 2 Anzhl er Blätter von T ist Summe er Anzhl er Blätter von T 1 un T 2 Anzhl er Blätter ist 2 h + 2 h = 2 2 h = 2 h+1 Grphen - Teil 4 J. Blömer 7/16

10 Binäräume Stz 4 Ein vollstäniger Binärum er Höhe h ht 2 h Blätter un 2 h+1 1 Knoten. Beweis Inuktionsshritt h h + 1 T i esitzt 2 h Blätter un 2 h+1 1 Knoten, i = 1, 2 Anzhl er Knoten von T ist Summe er Anzhl er Knoten von T 1 un T 2 plus 1 (für w), Anzhl er Knoten ist 2 h h = 2 2 h+1 1 = 2 h+2 1 Grphen - Teil 4 J. Blömer 7/16

11 Beshreiung von Strukturen - Dteisysteme / in home usr vr et li lol Grphen - Teil 4 J. Blömer 8/16

12 Beshreiung von Strukturen - Progrmmkonstrukte WhileSttement Sttement Assignment Expression Sttement Assignment Vrile Expression WhileSttement Expression Sttement Assignment Vrile Expression Grphen - Teil 4 J. Blömer 9/16

13 Entsheiungsäume - s Prolem es Hnlungsreisenen Ein Hnlungsreisener möhte uf einer Runreise n Stäte esuhen. Die Stäte sin mit Strßen einer gewissen Länge verunen. Mnhe Stäte können von neren Stäten eventuell niht irekt erreiht weren. Gesuht ist eine Tour minimler Länge, ie jee Stt genu einml esuht. Moellierung urh Grphen: Grph G = (V, E) mit Kntenmrkierung m : E N. Die Knoten sin ie Stäte, ie Knten sin irekte Verinungen zwishen Stäten, ie Kntenmrkierungen sin ie Längen er irekten Verinungen. Gesuht ist ein Hmiltonkreis mit möglihst geringem Gewiht. Gewiht eines Hmiltonkreises ist ie Summe er Mrkierungen uf en Knten es Kreises. Grphen - Teil 4 J. Blömer 10/16

14 Entsheiungsäume - s Prolem es Hnlungsreisenen Moellierung urh Grphen: Grph G = (V, E) mit Kntenmrkierung m : E N. Die Knoten sin ie Stäte, ie Knten sin irekte Verinungen zwishen Stäten, ie Kntenmrkierunen sin ie Längen er irekten Verinungen. Gesuht ist ein Hmiltonkreis mit möglihst geringem Gewiht. Gewiht eines Hmiltonkreises ist ie Summe er Mrkierungen uf en Knten es Kreises Kreis er 48 Länge Grphen - Teil 4 J. Blömer 11/16

15 Entsheiungsäume Ein Entsheiungsum spnnt lle potentielle Lösungen einer Aufge uf. Die Lösungen weren urh ie Blätter hrkterisiert. Der Pf zu einem Bltt eshreit ie Entsheiungen, ie zu iesem Bltt (Lösung) führen. Grphen - Teil 4 J. Blömer 12/16

16 Termäume - Kntorowitsh-Bäume ienen zur Beshreiung er Struktur von rithmetishen Termen un Ausrüken Knoten repräsentieren Vrilen, Konstnten un Opertoren Knten verinen iese mit ihren Opernen ( + ) ( + ) ( + ) Grphen - Teil 4 J. Blömer 13/16

17 Termäume - Kntorowitsh-Bäume Tuht ein Teilusruk zweiml uf, können ie entsprehenen Knoten ientifiziert weren Der Bum wir urh zu einem gerihteten, kreisfreien Grphen. Eingesetzt z.b. von Compilern, um Coe zu erzeugen, er gleihe Teilusrüke nur einml uswertet. Grphen - Teil 4 J. Blömer 14/16

18 Suhäume Binäre Bäume T = (V, E) mit V N untersheien zwishen rehten un linken Nhfolgern für lle Knoten v gilt 1 lle rehten Nhfolger von v sin größer ls v 2 lle linken Nhfolger von v sin kleiner ls v gut geeignet, um Anfrge x V? zu entworten sollten möglihst lniert sein 20 Grphen - Teil 4 J. Blömer 15/16

19 Zusmmenfssung Grphen Prolemklssen Wegeproleme Verinungsproleme Zuornungsproleme Ahängigkeitsproleme hierrhishe Strukturen verzweigte Aläufe Anornung in Folgen Knoten- un Knteneeutung verunen, enhrt,... Entsheiung, Alterntive, Verzweigung Voreingung, Ahängigkeit (Un-)Verträglihkeit esteht us, enthält, ist-ein verzweigte Aläufe Reltion Knoten- un Kntenmrkierungen Entfernung, Kosten, Gewinn Färung =. isjunkte Knotenmengen Symole einer Sprhe Grphen - Teil 4 J. Blömer 16/16

4. Modellierung mit Graphen

4. Modellierung mit Graphen 4. Moellierung mit Grphen Mo-5.1 Moellierung eshreit Ojekte un Beziehungen zwishen ihnen. Grphen eignen sih zur Moellierung für ein reites Aufgenspektrum. Ein Grph ist eine Astrktion us Knoten un Knten:

Mehr

x a 2 (b 2 c 2 ) (a + b 4 + a + weil Klammern nicht geschlossen oder Operationszeichen keine Terme verbinden.

x a 2 (b 2 c 2 ) (a + b 4 + a + weil Klammern nicht geschlossen oder Operationszeichen keine Terme verbinden. Termnlyse Mthemtik. Klsse Ivo Blöhliger Terme Ein wihtiger Teil es mthemtishen Hnwerks esteht rin, Terme umzuformen. Dzu müssen einerseits ie Rehengesetze er reellen Zhlen verinnerliht sein, un nererseits

Mehr

Vorlesung Diskrete Strukturen Transportnetze

Vorlesung Diskrete Strukturen Transportnetze Vorlesung Diskrete Strukturen Trnsportnetze Bernhr Gnter WS 2009/10 Gerihtete Grphen Ein shlingenloser gerihteter Grph ist ein Pr (V, A), woei V eine elieige Menge ist, eren Elemente wir Eken nennen un

Mehr

Informatik II SS Pumping Lemma für reguläre Sprachen (1/2) Pumping Lemma für reguläre Sprachen (2) Beweis

Informatik II SS Pumping Lemma für reguläre Sprachen (1/2) Pumping Lemma für reguläre Sprachen (2) Beweis Pumping Lemm für reguläre Sprhen (1/2) Informtik II SS 2004 Teil 6: Sprhen, Compiler un Theorie 2 Ds Pumping Lemm ist eine Methoe, um herus zu finen, o eine Sprhe niht regulär. Prof. Dr. Dieter Hogrefe

Mehr

Warum Bäume? Teil 1: Suchen. Bäume: Begriffe und Eigenschaften (2) Bäume: Begriffe und Eigenschaften (1)

Warum Bäume? Teil 1: Suchen. Bäume: Begriffe und Eigenschaften (2) Bäume: Begriffe und Eigenschaften (1) Wrum Bäume? Teil : Suhen Prolemstellung Elementre Suhverfhren Hshverfhren Binäre Suhäume (Wiederholung us Prog ) Bäume: Begriffe, Eigenshften und Trversierung Binäre Suhäume Gefädelte Suhäume Ausgeglihene

Mehr

Aufgaben zu Karnaugh-Diagrammen und Quine-McCluskey

Aufgaben zu Karnaugh-Diagrammen und Quine-McCluskey Weissenher Wintersteiger Digitltehnik Aufgen zu Krnugh-Digrmmen un Quine-MCluskey Für ie nhfolgenen Aufgen können Sie iese niht usgefüllten Krnugh-Digrmme ls Vorlge verwenen: 0 1 5 4 2 3 7 6 0 1 5 4 2

Mehr

Algorithmentheorie. 15 Suchen in Texten (1)

Algorithmentheorie. 15 Suchen in Texten (1) Algorithmentheorie 15 Suhen in Texten (1) Prof. Dr. S. Alers Suhe in Texten Vershiedene Szenrien: Sttishe Texte Literturdtennken Biliothekssysteme Gen-Dtennken WWW-Verzeihnisse Dynmishe Texte Texteditoren

Mehr

Dreiecke können einerseits nach den Eigenschaften ihrer Seiten und andererseits nach ihren Winkeln benannt werden. Einteilung nach den Seiten:

Dreiecke können einerseits nach den Eigenschaften ihrer Seiten und andererseits nach ihren Winkeln benannt werden. Einteilung nach den Seiten: gnz klr: Mthemtik 2 - s Ferienheft mit Erfolgsnzeiger 3 Rettungsring Eigenshften von reieken & Viereken Eigenshften von reieken Ein reiek ht immer 3 Ekpunkte, 3 Seiten un 3 Innenwinkel. ie eshriftung eines

Mehr

Kürzeste Wege. möglich ist 6. Füge v zu S hinzu und setze d[v] d [v] (u,v) E. Datenstrukturen und Algorithmen 14. Elementare Graphalgorithmen

Kürzeste Wege. möglich ist 6. Füge v zu S hinzu und setze d[v] d [v] (u,v) E. Datenstrukturen und Algorithmen 14. Elementare Graphalgorithmen Algorithmus von Dijkstr: 1. Es sei S ie Menge er enteckten Knoten. Invrinte: Merke optimle Lösung für S: Für lle v S sei [v] = δ(s,v) ie Länge es kürzesten Weges von s nch v 3. Zu Beginn: S={s} un [s]=

Mehr

Eine endliche Folge von Operationen und Entscheidungen, die ein Problem in endlich vielen Schritten löst.

Eine endliche Folge von Operationen und Entscheidungen, die ein Problem in endlich vielen Schritten löst. Formle Methoen er Informtik WS 00/0 Lehrstuhl für Dtennken un Künstliche Intelligenz ProfDrDrFJRermcher H Ünver T Rehfel J Dollinger Aufgenltt Besprechung in en Tutorien vom 000 ( Üungstermin) is 000 (is

Mehr

Durch die Umformung ergibt sich eine Schaltfunktion mit einer minimalen Anzahl von Verknüpfungsoperationen, nämlich 2.

Durch die Umformung ergibt sich eine Schaltfunktion mit einer minimalen Anzahl von Verknüpfungsoperationen, nämlich 2. 2 Die shltlgerishe Umformung von Shltfunktionen in Normlform soll m Beispiel er Umformung einer Mxterm-Normlform in eine Minterm-Normlform gezeigt weren. Beispiel: y = ) ( ) ( ) ( Es ietet sih ie Anwenung

Mehr

Funktionen und Mächtigkeiten

Funktionen und Mächtigkeiten Vorlesung Funktionen und Mähtigkeiten. Etws Mengenlehre In der Folge reiten wir intuitiv mit Mengen. Eine Menge ist eine Zusmmenfssung von Elementen. Zum Beispiel ist A = {,,,,5} eine endlihe Menge mit

Mehr

Shortest Path Algorithmus von Edsger Dijkstra

Shortest Path Algorithmus von Edsger Dijkstra Shortest Pth Algorithmus von Esger Dijkstr Mihel Dienert 16. Dezemer 2010 Inhltsverzeihnis 1 Shortest Pth Algorithmus 1 1.1 Grphen................................. 1 1.2 Knoten..................................

Mehr

Automaten und formale Sprachen Notizen zu den Folien

Automaten und formale Sprachen Notizen zu den Folien 5 Ds Pumping Lemm Shufhprinzip (Folie 137) Automten und formle Sprhen Notizen zu den Folien Im Blok Ds Shufhprinzip für endlihe Automten steht m n (sttt m > n), weil die Länge eines Pfdes die Anzhl von

Mehr

Vorlesung 24: Topological Sort 1: Hintergrund. Einführung in die Programmierung. Bertrand Meyer. Topological sort

Vorlesung 24: Topological Sort 1: Hintergrund. Einführung in die Programmierung. Bertrand Meyer. Topological sort Einführung in ie Progrmmierung Vorlesung 4: Topologil Sort : Hintergrun Bertrn Meer Letzte Üerreitung 3. Jnur 4 3 Topologil sort 4 Prouziere eine zu einer gegeenen Prtiellen Ornung komptile Vollstänige

Mehr

Auswertung von Operatorbäumen Huffman-Code

Auswertung von Operatorbäumen Huffman-Code Datenstrukturen: Bäume 4 Bäume 4. Terminologie und Grundlagen: Modelle für Graphen und Bäume 4.. Spezifikation und einfahe Algorithmen 4. Anwendungen - 4.. Auswertung von Operatoräumen - 4.. Huffman-Code

Mehr

Fragebogen 1 zur Arbeitsmappe Durch Zusatzempfehlung zu mehr Kundenzufriedenheit

Fragebogen 1 zur Arbeitsmappe Durch Zusatzempfehlung zu mehr Kundenzufriedenheit Teilnehmer/Apotheke/Ort (Zus/1) Frgeogen 1 zur Areitsmppe Durh Zustzempfehlung zu mehr Kunenzufrieenheit Bitte kreuzen Sie jeweils ie rihtige(n) Antwort(en) in en Felern is n! 1. Worin esteht ie Beeutung

Mehr

Fachgebiet Rechnersysteme 2. Übung Logischer Entwurf. Technische Universität Darmstadt. 4. Aufgabe. b) Minterm-Normalform

Fachgebiet Rechnersysteme 2. Übung Logischer Entwurf. Technische Universität Darmstadt. 4. Aufgabe. b) Minterm-Normalform Fhgeiet Rehnersysteme 2. Üung Logisher Entwur Tehnishe Universität Drmstt 2. Üung Logisher Entwur 4. Auge 1 4. Auge 2. Üung Logisher Entwur 4. Auge 3 ) Minterm-Normlorm Geen sei ie ooleshe Funktion + +

Mehr

Grundlagen der Technischen Informatik. Bausteine der Digitaltechnik - Binäre Schalter und Gatter. Kapitel 7.1

Grundlagen der Technischen Informatik. Bausteine der Digitaltechnik - Binäre Schalter und Gatter. Kapitel 7.1 Busteine er Digitltehnik - Binäre Shlter un Gtter Kpitel 7. Dr.-Ing. Stefn Wilermnn ehrstuhl für rwre-softwre-co-design Entwurfsrum - Astrktionseenen SYSTEM-Eene + MODU-/RT-Eene (Register-Trnsfer) ogik-/gatter-eene

Mehr

6 Tiefensuche in ungerichteten Graphen: Zweifache Zusammenhangskomponenten

6 Tiefensuche in ungerichteten Graphen: Zweifache Zusammenhangskomponenten 66 6 ZWEIFACHE ZUSAMMENHANGSKOMPONENEN 6 iefenshe in ngerihteten Grphen: Zeifhe Zsmmenhngskomponenten Der Algorithms ist gnz gen ersele ie im gerihteten Fll! Ailng 1 zeigt noh einml en gerihtete Fll n

Mehr

Geometrie. Inhaltsverzeichnis. 8.1 Der Satz von Ptolemäus und sein klassischer Beweis. Der Satz von Ptolemäus. 8 Der Satz von Ptolemäus

Geometrie. Inhaltsverzeichnis. 8.1 Der Satz von Ptolemäus und sein klassischer Beweis. Der Satz von Ptolemäus. 8 Der Satz von Ptolemäus Der Stz von Ptolemäus 1 Geometrie Der Stz von Ptolemäus Autor: Peter Anree Inhltsverzeihnis 8 Der Stz von Ptolemäus 1 8.1 Der Stz von Ptolemäus un sein lssisher Beweis........... 1 8.2 Verhältnis er Digonlen

Mehr

2 Huffman-Algorithmus 2

2 Huffman-Algorithmus 2 Huffmn-Algorithmus Formlisierung un Optimlitätseweis Mximilin Shäffeler.0.207 Dies ist ie Ausreitung zum Seminrvortrg in er Vorlesung Perlen er Informtik. Es wir ein formler Beweis es Huffmn-Algorithmus

Mehr

Musterlösung zur Probeklausur zur Geometrie

Musterlösung zur Probeklausur zur Geometrie UNIVERSITÄT ULM Institut für Zhlentheorie un Whrsheinlihkeitstheorie Musterlösung zur Proeklusur zur Geometrie Prof. Dr. Helmut Mier, Hns- Peter Rek Gesmtpunktzhl: 3 Punkte, Punkte= % keine Age. Gi Definitionen

Mehr

Automaten, Spiele, und Logik

Automaten, Spiele, und Logik Automten, Spiele, und Logik Wohe 7 19. Mi 2014 Inhlt der heutigen Vorlesung Alternierende Automten Definition Verindung zu regulären Sprhen Komplementtion Engel und Teufel Ws ist eine nihtdeterministishe

Mehr

a) Behauptung: Es gibt die folgenden drei stabilen Matchings:

a) Behauptung: Es gibt die folgenden drei stabilen Matchings: Musterlösung - ufgenltt 1 ufge 1 ) ehuptung: Es git ie folgenen rei stilen Mthings: ies knn mn ntürlih für ein so kleines eispiel urh etrhten ller möglihen 3! = 6 Mthings eweisen. Mn knn er uh strukturierter

Mehr

Aufgaben zu Kapitel 7

Aufgaben zu Kapitel 7 7.1 G W A B zu 7.1 zu 7.2 7.2 Ajznzmtrix: 000111 000111 000111 111000 111000 111000 G : W : : A : B : : A, B, A, B, A, B, G, W, G, W, G, W, s ist niht möglih, n Grphn ürshniungsfri zihnn. 7.3 Di Isomorphiilung

Mehr

STUDIENPLAN ZUM STUDIENGANG BACHELOR VOLKSWIRTSCHAFTSLEHRE UNIVERSITÄT BERN VOM 1. SEPTEMBER 2006

STUDIENPLAN ZUM STUDIENGANG BACHELOR VOLKSWIRTSCHAFTSLEHRE UNIVERSITÄT BERN VOM 1. SEPTEMBER 2006 STUDIENPLAN ZUM STUDIENGANG BACHELOR VOLKSWIRTSCHAFTSLEHRE UNIVERSITÄT BERN VOM 1. SEPTEMBER 2006 Die Wirtshfts- un Sozilwissenshftlihe Fkultät er Universität Bern erlässt, gestützt uf Artikel 39 Astz

Mehr

Übungen zur Vorlesung Modellierung WS 2003/2004 Blatt 11 Musterlösungen

Übungen zur Vorlesung Modellierung WS 2003/2004 Blatt 11 Musterlösungen Dr. Theo Lettmnn Pderorn, den 9. Jnur 24 Age 9. Jnur 24 A x, A 2 x, Üungen zur Vorlesung Modellierung WS 23/24 Bltt Musterlösungen AUFGABE 7 : Es sei der folgende prtielle deterministishe endlihe Automt

Mehr

Formale Systeme, Automaten, Prozesse SS 2010 Musterlösung - Übung 2 M. Brockschmidt, F. Emmes, C. Fuhs, C. Otto, T. Ströder

Formale Systeme, Automaten, Prozesse SS 2010 Musterlösung - Übung 2 M. Brockschmidt, F. Emmes, C. Fuhs, C. Otto, T. Ströder Prof Dr J Giesl Formle Systeme, Automten, Prozesse SS 2010 Musterlösung - Üung 2 M Brockschmidt, F Emmes, C Fuhs, C Otto, T Ströder Hinweise: Die Husufgen sollen in Gruppen von je 2 Studierenden us dem

Mehr

KAPITEL 1 EINFÜHRUNG: STABILE MATCHINGS

KAPITEL 1 EINFÜHRUNG: STABILE MATCHINGS KPITEL 1 EINFÜHRUNG: STILE MTHINGS F. VLLENTIN,. GUNERT In iesem Kpitel weren wir ein erstes konkretes Prolem es Opertions Reserh kennenlernen. Es hnelt sih um s Prolem es stilen Mthings, ein wihtiges

Mehr

Hausaufgabe 2 (Induktionsbeweis):

Hausaufgabe 2 (Induktionsbeweis): Prof. Dr. J. Giesl Formle Sprhen, Automten, Prozesse SS 2010 Üung 3 (Age is 12.05.2010) M. Brokshmidt, F. Emmes, C. Fuhs, C. Otto, T. Ströder Hinweise: Die Husufgen sollen in Gruppen von je 2 Studierenden

Mehr

Der Begriff der Stammfunktion

Der Begriff der Stammfunktion Lernunterlgen Integrlrehnung Der Begriff der Stmmfunktion Wir gehen von folgender Frgestellung us: welhe Funktion F x liefert ls Aleitung eine gegeene Funktion f x. Wir suhen lso eine Umkehrung der Aleitung

Mehr

1. Motivation und Begriffe. Modelchecking. Hintergrund. Hintergrund. Schwache Fairness. Progress

1. Motivation und Begriffe. Modelchecking. Hintergrund. Hintergrund. Schwache Fairness. Progress 1. Motivtion un Begriffe Moelheking VI. Firness Motivtion un Begriffe Firness in Kripkestrukturen Fires CTL*, CTL un LTL Fires Moelheking für CTL Firness in NuSMV Hintergrun Progress Shwhe Firness Strke

Mehr

Hilfsrelais HR 116. Bilfinger Mauell GmbH

Hilfsrelais HR 116. Bilfinger Mauell GmbH Bilfinger Muell GmH Hilfsrelis HR 11 Die Hilfsrelis ienen zur glvnishen Trennung, Kontktvervielfhung un Trennung zwishen Hilfs- un Steuerstromkreisen. Bilfinger Muell GmH Inhltsverzeihnis Inhlt Seite Anwenung

Mehr

Volumen und Oberfläche von Prismen und Zylindern: Das Volumen und die Oberfläche sind für alle geraden Prismen und Zylinder wie folgt zu berechnen:

Volumen und Oberfläche von Prismen und Zylindern: Das Volumen und die Oberfläche sind für alle geraden Prismen und Zylinder wie folgt zu berechnen: Körpererehnungen Grunwissen Grunwissen Viele mthemtishe Körper lssen sih us en eknnten geometrishen Grunkörpern zusmmensetzen: us geren Prismen, Zylinern, Kegeln, Pyrmien un Kugeln. Hinsihtlih er Oerflähen-

Mehr

Lösungshinweise/-vorschläge zum Übungsblatt 2: Software-Entwicklung 1 (WS 2015/16)

Lösungshinweise/-vorschläge zum Übungsblatt 2: Software-Entwicklung 1 (WS 2015/16) Dr. Annette Bienius Mthis Weer, M.. Peter Zeller, M.. T Kiserslutern Fhereih Informtik AG oftwretehnik Lösungshinweise/-vorshläge zum Üungsltt 2: oftwre-entwiklung 1 (W 2015/16) Die Hinweise und orshläge

Mehr

Teil 2: Graphenalgorithmen

Teil 2: Graphenalgorithmen Teil : Grphenlgorithmen Anwenungen Definitionen Dtentrukturen für Grphen Elementre Algorithmen Topologihe Sortieren Kürzete Wege Miniml ufpnnene Bäume Flüe in Netzwerken Zummenhngkomponenten M.O.Frnz,

Mehr

4.1 Funktionsweise von Petrinetzen. 4. Spezifikation mit Petrinetzen. Motivation für Petrinetze. 4.1 Funktionsweise von Petrinetzen

4.1 Funktionsweise von Petrinetzen. 4. Spezifikation mit Petrinetzen. Motivation für Petrinetze. 4.1 Funktionsweise von Petrinetzen 4. Spezifiktion mit Petrinetzen 4. Funktionsweise von Petrinetzen 4. Funktionsweise von Petrinetzen 4.2 Erreihrkeitsgrphen un Üerekungsgrphen 4.3 S- un T-Invrinten 4.4 Werkzeuggestützte Anlyse von Petrinetzen

Mehr

5 Vierecke. 1 Quadrat

5 Vierecke. 1 Quadrat Viereke Shüleruhseite ((nm: Seitenereihe folgen in. Korr)) Viereke uftkt Seiten 8, 9 Seite 8 Qurt Viereksformen Seiten 0, Seite 0 Einstieg rotes Vierek: Rehtek lues Vierek: Rute grünes Vierek: Prllelogrmm

Mehr

Dichtpflanzung von Hokkaido bringt mehr Ertrag und gleiche Lagereignung

Dichtpflanzung von Hokkaido bringt mehr Ertrag und gleiche Lagereignung Mrtin Herener; Lnwirtshftskmmer NRW; Grtenstr. 11; 50765 Köln; 0221 5340-240, mrtin.herener@lwk.nrw.e Dihtpflnzung von Hokkio ringt mehr Ertrg un gleihe Lgereignung Zusmmenfssung - Empfehlungen In einem

Mehr

Algorithmen auf Sequenzen Volltext-Indexdatenstrukturen: Suffixbäume

Algorithmen auf Sequenzen Volltext-Indexdatenstrukturen: Suffixbäume Algorithmen uf Sequenzen Volltext-Indexdtenstrukturen: Suffixäume Sven Rhmnn Genominformtik Universitätsklinikum Essen Universität Duisurg-Essen Universitätsllinz Ruhr Motivtion Bei wiederholten Suhen

Mehr

Klausur zur Vorlesung Grundbegriffe der Informatik 10. März 2009 mit Lösungsvorschlägen

Klausur zur Vorlesung Grundbegriffe der Informatik 10. März 2009 mit Lösungsvorschlägen Klusur zur Vorlesung Grundegriffe der Informtik 10. März 2009 mit Lösungsvorschlägen Klusurnummer Nme: Vornme: Mtr.-Nr.: Aufge 1 2 3 4 5 6 7 mx. Punkte 4 2 7 8 8 8 9 tts. Punkte Gesmtpunktzhl: Note: Aufge

Mehr

Aufbau- und Verwendungsanleitung für die RSS Dachrand Absturzsicherung

Aufbau- und Verwendungsanleitung für die RSS Dachrand Absturzsicherung Aufu- un Verwenungsnleitung für ie RSS Dhrn Asturzsiherung Demonteler Typ für Flhäher A Zwek es Systems Lut en örtlihen un europäishen Rihtlinien ist es in en meisten Fällen gesetzlih vorgeshrieen, ei

Mehr

Übungen zu CFGs (Daniel Siebert 2011, cc-by-nc-sa)

Übungen zu CFGs (Daniel Siebert 2011, cc-by-nc-sa) Üungen zu CFGs (niel ieert 2011, -y-n-s) nmerkungen: 1. Wenn niht explizit ngegeen gilt für lle CFGs s trtsymol. ie Terminl- un ihtterminlsymole ergeen sih us en Prouktionsregeln. 2. ufgentypen zur Einshätzung

Mehr

Einführung in die Graphentheorie (Mathematik IIIb)

Einführung in die Graphentheorie (Mathematik IIIb) Die Folien zur Vorlesung (Skript) stehen auf er Homepage vor er Vorlesung zur Verfügung. Formate: PDF, ein- un mehrseitig Einführung in ie Graphentheorie (Mathematik III) Sie können also ie ausgerukten

Mehr

Stabile Hochzeiten wie und warum?

Stabile Hochzeiten wie und warum? Stile Hohzeiten wie un wrum? Tg er Mthemtik HU erlin 25. pril 2009 Stefn elsner TU erlin, Mthemtik felsner@mth.tu-erlin.e Ws sin stile Hohzeiten? Gegeen: Menge von ruen, M Menge von Männern, = M. Jee Person

Mehr

Ehrenfeucht-Fraïssé-Spiele über Spuren

Ehrenfeucht-Fraïssé-Spiele über Spuren Ehrenfeuht-Frïssé-Spiele üer Spuren Mrtin Horsh 14. Juni 2006 Vortrgsinhlt Ehrenfeuht-Frïssé-Spiel mit n Runden und k Mrken Lokle Temporllogik üer Mzurkiewiz-Spuren (LoTL) LoTL und die Logik erster Stufe

Mehr

Spiele und logische Komplexitätsklassen

Spiele und logische Komplexitätsklassen Spiele und logische Komplexitätsklssen Mrtin Horsch 26. Jnur 2006 Inhlt des Seminrvortrges Ehrenfeucht-Frïssé-Spiel mit k Mrken Formeln mit k Vrilen und logische Komplexitätsklssen k-vrileneigenschft logischer

Mehr

Automaten und formale Sprachen Notizen zu den Folien

Automaten und formale Sprachen Notizen zu den Folien 5 Ds Pumping Lemm Schufchprinzip (Folie 144) Automten und formle Sprchen Notizen zu den Folien Im Block Ds Schufchprinzip für endliche Automten steht m n (sttt m > n), weil die Länge eines Pfdes die Anzhl

Mehr

DOWNLOAD. Grundrechenarten 5./6. Klasse: Multiplikation. Mathetraining in 3 Kompetenzstufen

DOWNLOAD. Grundrechenarten 5./6. Klasse: Multiplikation. Mathetraining in 3 Kompetenzstufen DOWNLOD rigitte Penzenstler 5./6. Klsse: Multipliktion Mthetrining in 3 Kompetenzstufen rigitte Penzenstler ergeorfer Unterrihtsieen Downlouszug us em Originltitel: Mthetrining in 3 Kompetenzstufen n 1:

Mehr

2. Klausur zur Vorlesung Informatik III Wintersemester 2003/2004

2. Klausur zur Vorlesung Informatik III Wintersemester 2003/2004 Universität Krlsruhe Theoretische Informtik Fkultät für Informtik WS 2003/04 ILKD Prof. Dr. D. Wgner 14. April 2004 2. Klusur zur Vorlesung Informtik III Wintersemester 2003/2004 Lösung! Bechten Sie: Bringen

Mehr

Der MR-Trainer. Obere Extremität. Bearbeitet von Martin Breitenseher

Der MR-Trainer. Obere Extremität. Bearbeitet von Martin Breitenseher Der MR-Triner Oere Extremität Bereitet von Mrtin Breitenseher 1. Auflge 2005. Buh. 264 S. Hrover ISBN 978 3 13 130651 7 Formt (B x L): 23 x 31 m Weitere Fhgeiete > Meizin > Sonstige Meizinishe Fhgeiete

Mehr

Millenium 3 Kommunikationsschnittstelle M3MOD Benutzerhandbuch der Betriebsunterlagen 04/2006

Millenium 3 Kommunikationsschnittstelle M3MOD Benutzerhandbuch der Betriebsunterlagen 04/2006 Millenium 3 Kommuniktionsshnittstelle M3MOD Benutzerhnuh er Betriesunterlgen 04/2006 160633103 Üerlik Hilfe zur Verwenung er Betriesunterlgen Einleitung Die Betriesunterlgen sin eine von er Progrmmierumgeung

Mehr

Die Philosophisch-historische Fakultät der Universität Bern. erlässt

Die Philosophisch-historische Fakultät der Universität Bern. erlässt Stuienpln für s Bhelor- un Mster-Stuienprogrmm Estern Europen Stuies / Osteurop-Stuien / Étues e l Europe orientle er Universität Bern in Zusmmenreit mit er Universität Friourg vom 1. August 2009 Die Philosophish-historishe

Mehr

Ober- und Untersummen, Riemann Integrale

Ober- und Untersummen, Riemann Integrale Oer- und Untersummen, Riemnn Integrle 1. Ds Prolem des Fläheninhlts Ausgngspunkt für die Entwiklung des Integrlegriffs wren vershiedene Frgestellungen, u.. ds Prolem der Messung des Fläheninhltes eines

Mehr

a q 0 q 1 a M q 1 q 3 q 2

a q 0 q 1 a M q 1 q 3 q 2 Prof Dr J Giesl Formle Systeme, Automten, Prozesse SS 2010 Musterlösung - Üung 4 M Brockschmidt, F Emmes, C Fuhs, C Otto, T Ströder Hinweise: Die Husufgen sollen in Gruppen von je 2 Studierenden us dem

Mehr

Hans U. Simon Bochum, den Annette Ilgen. Beispiele zur Vorlesung. Theoretische Informatik. WS 08/09

Hans U. Simon Bochum, den Annette Ilgen. Beispiele zur Vorlesung. Theoretische Informatik. WS 08/09 Hns U. Simon Bohum, den 7..28 Annette Ilgen Beispiele zur Vorlesung Theoretishe Informtik WS 8/9 Voremerkung: Hier findet sih eine Smmlung von Beispielen und Motivtionen zur Vorlesung Theoretishe Informtik.

Mehr

Skript. 1. Allgemeine Einführung. zur Bestimmung ganzrationaler Funktionen mit vorgegebenen Eigenschaften (Steckbriefaufgaben)

Skript. 1. Allgemeine Einführung. zur Bestimmung ganzrationaler Funktionen mit vorgegebenen Eigenschaften (Steckbriefaufgaben) Bestimmung gnzrtionler Funktionen Stekriefufgen Berufskolleg Mrienshule Lippstt Shule er Sekunrstufe II mit gymnsiler Oerstufe - sttlih nerknnt - Skript zur Bestimmung gnzrtionler Funktionen mit vorgegeenen

Mehr

Wir haben ein Koordinatensystem mit der x-achse und der y-achse. Nun wird ein Kreis gebildet mit dem Radius r=1.

Wir haben ein Koordinatensystem mit der x-achse und der y-achse. Nun wird ein Kreis gebildet mit dem Radius r=1. Trigonometrie In diesem Themenereih wenden wir uns den Winkeln im rehtekigen Dreiek zu. Du hst uf deinem Tshenrehner siher shon die Tsten sin, os und tn gesehen. Doh ws edeuten sie? Ds wollen wir herusfinden.

Mehr

Grundwissen Mathematik 8.Klasse Gymnasium SOB. Darstellung im Koordinatensystem: Der Kreisumfang ist direkt proportional zu seinem Radius.

Grundwissen Mathematik 8.Klasse Gymnasium SOB. Darstellung im Koordinatensystem: Der Kreisumfang ist direkt proportional zu seinem Radius. Gymso 1 Grundwissen Mthemtik 8.Klsse Gymnsium SOB 1.Funktionle Zusmmenhänge 1.1.Proportionlität Ändern sih ei einer Zuordnung die eiden Größen im gleihen Verhältnis, so spriht mn von einer direkten Proportionlität.

Mehr

GESTRA SPECTORcom-Gateway. Kessel- und Brennersteuerung Durch das Intranet, Internet oder GSM-Netz ins Kesselhaus

GESTRA SPECTORcom-Gateway. Kessel- und Brennersteuerung Durch das Intranet, Internet oder GSM-Netz ins Kesselhaus GESTRA -Gtewy - un steuerung Durh s Intrnet, oer GSM-Netz ins hus Die Systemvorteile im einzelnen Mit em -Gtewy ist es GESTRA gelungen, ie Welt er steuerung mit er er Wsserseite zu verinen. Ein kleines,

Mehr

1 Aktivität 1 Sehen ohne Ton (Track 1 bis Und eine Schokolade. )

1 Aktivität 1 Sehen ohne Ton (Track 1 bis Und eine Schokolade. ) Shritte 1/2 interntionl Hinweise für die Kursleiter Film 3:»Die Josuhe«Mteril zu Film 3 Die Josuhe : Film 3,. 05:00 Min. Zustzmteril: Mein Beruf,. 01:30 Min., 5 kurze Sttements zum Them 5 Areitslätter

Mehr

Mathematische Probleme, SS 2013 Montag $Id: dreieck.tex,v /04/15 09:12:15 hk Exp hk $ 1.4 Dreiecksberechnung mit Seiten und Winkeln

Mathematische Probleme, SS 2013 Montag $Id: dreieck.tex,v /04/15 09:12:15 hk Exp hk $ 1.4 Dreiecksberechnung mit Seiten und Winkeln Mthemtishe Proleme, SS 2013 Montg 15.4 $Id: dreiek.tex,v 1.5 2013/04/15 09:12:15 hk Exp hk $ 1 Dreieke 1.4 Dreiekserehnung mit Seiten und Winkeln In der letzten Sitzung htten wir egonnen die vershiedenen

Mehr

ping karlsruhe Mining Software Call Graphs Frank Eichinger

ping karlsruhe Mining Software Call Graphs Frank Eichinger ping krlsruhe Motivtion Softwre Mining Cll-Grphen Grph Mining Trnsformtionen Auslik Mining Softwre Cll Grphs Frnk Eihinger Lehrstuhl Prof. Böhm Institut für Progrmmstrukturen und Dtenorgnistion (IPD) Universität

Mehr

Kapitel 3: Deckabbildungen von Figuren - Symmetrie. 3.1 Die Gruppe (K,o) aller Kongruenzabbildungen einer Ebene

Kapitel 3: Deckabbildungen von Figuren - Symmetrie. 3.1 Die Gruppe (K,o) aller Kongruenzabbildungen einer Ebene Gruppe er Kongruenzilungen 1 Gruppe er Kongruenzilungen 2 Kpitel 3: ekilungen von Figuren - Symmetrie 3.1 ie Gruppe (K,o) ller Kongruenzilungen einer Eene K ist ie Menge ller Kongruenzilungen E E; o ist

Mehr

Theoretische Informatik ITI

Theoretische Informatik ITI Institut für Theoretishe Informtik ITI Dr. Jürgen Koslowski Theoretishe Informtik 2 Aufgenltt 6, 2015-06-11 Üungsufge 1 Weisen Sie die N P -Vollständigkeit des E-Prolem Clique nh (vergl. Bltt 5, Aufge

Mehr

CREATE YOUR OWN PERFUME BUSINESS CONCEPT. Der Duft für Ihr erfolgreiches Business

CREATE YOUR OWN PERFUME BUSINESS CONCEPT. Der Duft für Ihr erfolgreiches Business CREATE YOUR OWN PERFUME BUSINESS CONCEPT Der Duft für Ihr erfolgreihes Business DAS BUSINESS CONCEPT Fszinieren einfh. In wenigen Shritten zum iniviuellsten Weregeshenk er Welt. Wollen Sie sih von Ihren

Mehr

f LK Lehrgang zur Formulierung von Lernzielen im Unterricht (phil. I)

f LK Lehrgang zur Formulierung von Lernzielen im Unterricht (phil. I) f LK Lehrgng zur Formulierung von Lernzielen im Unterriht (phil. I) Nr. Aufge e ne 1 Notieren Sie ie vier Eenen, uf enen Ziele untershieen weren! (Zielhierrhie) 2 Entsheien Sie, für welhe Ziele ie folgenen

Mehr

Dreiecke und Vierecke

Dreiecke und Vierecke reieke un Viereke Viereke Welhe esoneren Viereke sin eknnt, ws zeihnet esonere Viereke us? Impuls uf Seiten, Winkel, Symmetrie!.) s Qurt: Ein Qurt esitzt folgene Eigenshften: lle Seiten sin gleihlng. (

Mehr

DEA1 Deterministische Version

DEA1 Deterministische Version Endliche Automten 4 Deterministische endliche Automten Zu dem nichtdeterministischen Automten EA git es eine deterministische Version. EA Akzeptor für Wörter üer X = { } mit mindestens einem führenden.

Mehr

Prüfung 1 Messen und Prüfen Kfz-Mechatroniker. Prüfungsvariante 1. Messen und Prüfen. Beleuchtungseinrichtung/Starter und Glühanlage.

Prüfung 1 Messen und Prüfen Kfz-Mechatroniker. Prüfungsvariante 1. Messen und Prüfen. Beleuchtungseinrichtung/Starter und Glühanlage. Prüfung 1 Messen un Prüfen Kfz-Mehtroniker Prüfungsvrinte 1 Messen un Prüfen Beleuhtungseinrihtung/Strter un Glühnlge Zeit: 60 Minuten Punkte: mx. 100 Jee Areitsufge esteht us 20 progrmmierten un 10 offenen

Mehr

/LQHDUH*OHLFKXQJVV\VWHPH

/LQHDUH*OHLFKXQJVV\VWHPH /LQHDUH*OHLFKXQJVV\VWHPH (für Grund- und Leistungskurse Mthemtik) 6W55DLQHU0DUWLQ(KUHQE UJ*\PQDVLXP)RUFKKHLP Nch dem Studium dieses Skripts sollten folgende Begriffe eknnt sein: Linere Gleichung; homogene

Mehr

Grundwissenkatalog / g8 Geometrie / 7. Jahrgangsstufe

Grundwissenkatalog / g8 Geometrie / 7. Jahrgangsstufe Grundwissenktlog / g8 Geometrie /. Jhrgngsstufe Die folgende ufstellung enthält mthemtishe Grundfertigkeiten, die ein Shüler nh der. Jhrgngsstufe eherrshen sollte. Dieses Wissen wird in den folgenden Jhren

Mehr

DV1_Kapitel_5.doc Seite 5-1 von 36 Rüdiger Siol 12.09.2009 16:31

DV1_Kapitel_5.doc Seite 5-1 von 36 Rüdiger Siol 12.09.2009 16:31 Rvensurg-Weingrten Vorlesung zur Dtenverreitung Tehnishe Informtik Inhltsverzeihnis 5 TECHNISCHE INFORMATIK...5-2 5. ENTWURF DIGITALER SYSTEME...5-2 5.2 KOMBINATIONSSCHALTUNGEN (SCHALTNETZE)...5-3 5.2.

Mehr

Mathematik Regelheft Klasse 6

Mathematik Regelheft Klasse 6 Mthemtik Regelheft Klsse 6 Inhltsverzeihnis I Them: Teilrkeit 6.) Teiler un Vielfhe 6.) Teilrkeitsregeln 6.) Primzhlen un Primfktorzerlegung 6.) ggt 6.) kgv II Them: Winkel 6.6) Kreissklen un ihre Einteilung

Mehr

Bezeichnungen. Arten von String-Matching-Problemen

Bezeichnungen. Arten von String-Matching-Problemen 4. Textlgorithmen String Mthing 4. Textlgorithmen Die Suhe von einem Muster in einem Text wird uh ls String Mthing oder Pttern Mthing ezeihnet. Generell esteht die Aufge drin, einen String (ds Muster,

Mehr

Formelsammlung. 2 c 3. Wenn die Ebene durch die Gerade g und den Punkt g gehen soll, gilt: 3 und h : 2

Formelsammlung. 2 c 3. Wenn die Ebene durch die Gerade g und den Punkt g gehen soll, gilt: 3 und h : 2 Formelsmmlug Gere urh zwei Pukte A( 3 ) u B( 3 ) g AB : 3 Eee urh rei Pukte A( 3 ), B( 3 ) u C( 3 ) [Eee i Prmeterform] E ABC : 3 s 3 Eee urh Gere u Pukt. Sei P( p p p 3 ) u g : We ie Eee urh ie Gere g

Mehr

1 Kombinatorische. Digitaltechnik. Schaltungen. Boole sche Algebra. Gatter. Rechenregeln. Minimierung kombinatorischer Schaltungen

1 Kombinatorische. Digitaltechnik. Schaltungen. Boole sche Algebra. Gatter. Rechenregeln. Minimierung kombinatorischer Schaltungen A Digitltehnik Komintorishe Shltungen Boole she Alger Gtter Rehenregeln Minimierung komintorisher Shltungen Revision. Komintorishe Shltungen in Verilog Komintorishe Shltungen Boole she Alger Komintorishe

Mehr

Motivation: Petrinetze. Vorlesung Modellierung nebenläufiger Systeme Sommersemester 2011 Universität Duisburg-Essen. Motivation: Petrinetze

Motivation: Petrinetze. Vorlesung Modellierung nebenläufiger Systeme Sommersemester 2011 Universität Duisburg-Essen. Motivation: Petrinetze Motivtion: Petrinetze Vorlesung Modellierung neenläufiger Systeme Sommersemester 2011 Universität uisurg-essen rr König Petrinetze sind ein Formlismus zur Modellierung von neenläufigen Systemen mit folgenden

Mehr

Lineare Gleichungssysteme mit 3 und mehr Variablen

Lineare Gleichungssysteme mit 3 und mehr Variablen Linere Gleihungssysteme mit un mehr rilen Beispiel 1 mit rilen: 11 Zunähst estimmt mn ie rile, ie mn ls Erste eliminieren will. In iesem Fll soll von hinten nh vorn vorgegngen weren,.h. zuerst soll rile

Mehr

Ein Winkel zwischen 0 und 90 heißt spitzer Winkel, ein Winkel zwischen 90 und 180 heißt stumpfer Winkel.

Ein Winkel zwischen 0 und 90 heißt spitzer Winkel, ein Winkel zwischen 90 und 180 heißt stumpfer Winkel. Geometrie 1 3 Winkelsummen Der von zwei Nhrseiten eines Vieleks geildete Winkel heißt Innenwinkel. Die Summe der Innenwinkel eines Dreieks eträgt 180. + + = 180 Die Summe der Innenwinkel eines Viereks

Mehr

Definition Suffixbaum

Definition Suffixbaum Suffix-Bäume Definition Suche nch einer Menge von Mustern Längste gemeinsme Zeichenkette Pltzreduktion Suffixbäume für Muster Alle Pre Suffix-Präfix Übereinstimmung Sich wiederholende Strukturen Definition

Mehr

1. Ableitung von Funktionen mit einer Veränderlichen

1. Ableitung von Funktionen mit einer Veränderlichen . Ableitung von Funktionen mit einer Veränerlichen. Algebrische Interprettion Die Ableitung einer Funktion f f f+ f = lim. 0 = ist efiniert ls In Worten usgerückt ist ie Ableitung er Grenzwert er Änerungsrte

Mehr

Automaten und Formale Sprachen alias Theoretische Informatik. Sommersemester 2012. Sprachen. Grammatiken (Einführung)

Automaten und Formale Sprachen alias Theoretische Informatik. Sommersemester 2012. Sprachen. Grammatiken (Einführung) Wörter, Grmmtiken und die Chomsky-Hierrchie Sprchen und Grmmtiken Wörter Automten und Formle Sprchen lis Theoretische Informtik Sommersemester 2012 Dr. Snder Bruggink Üungsleitung: Jn Stückrth Alphet Ein

Mehr

Bruchrechnen. Faßt man zwei Drittel eines Ganzen zusammen, so schreibt man 3. Bezeichnungen bei Brüchen: Der Bruch als Quotient:

Bruchrechnen. Faßt man zwei Drittel eines Ganzen zusammen, so schreibt man 3. Bezeichnungen bei Brüchen: Der Bruch als Quotient: Bruhrehnen Zerlegt mn ein Gnzes (einen Li Brot, eine Torte, einen Apfel, einen Geletrg, eine Kreisflähe, ein Rehtek, eine Streke,... ) in,,... gleihe Teile, so heißt ein solher Teil (Bruhteil es Gnzen)

Mehr

Klausur TheGI 2 Automaten und Komplexität (Niedermeier/Hartung/Nichterlein, Sommersemester 2013)

Klausur TheGI 2 Automaten und Komplexität (Niedermeier/Hartung/Nichterlein, Sommersemester 2013) Berlin, 17.07.2013 Nme:... Mtr.-Nr.:... Klusur TheGI 2 Automten und Komplexität (Niedermeier/Hrtung/Nichterlein, Sommersemester 2013) 1 2 3 4 5 6 7 8 Σ Bereitungszeit: mx. Punktezhl: 60 min. 60 Punkte

Mehr

Reduktion. Seien A Σ und B Γ. Man sagt A ist reduzierbar auf B (A B) gdw. von speziellem Interesse: Polynomialzeitreduktion

Reduktion. Seien A Σ und B Γ. Man sagt A ist reduzierbar auf B (A B) gdw. von speziellem Interesse: Polynomialzeitreduktion Reduktion Seien A Σ und B Γ. Mn sgt A ist reduzierr uf B (A B) gdw. f : Σ Γ. x Σ.x A f(x) B Í* * A B von speziellem Interesse: Polynomilzeitreduktion ( pol ), logrithmische-pltz- Reduktion ( log ). F3

Mehr

R. Brinkmann http://brinkmann-du.de Seite 1 17.11.2010

R. Brinkmann http://brinkmann-du.de Seite 1 17.11.2010 R. rinkmnn http://rinkmnn-du.de Seite 7..2 Grundegriffe der Vektorrehnung Vektor und Sklr Ein Teil der in Nturwissenshft und Tehnik uftretenden Größen ist ei festgelegter Mßeinheit durh die nge einer Mßzhl

Mehr

Geometrische Figuren und Körper

Geometrische Figuren und Körper STNRUFGEN Geometrishe Figuren und Körper Geometrishe Figuren und Körper Welhe Shreiweisen geen den Winkel β des neenstehenden reieks PQR rihtig wieder? β = Qrp β = rp β = PQR R β = QRP β = pq q p P r Q

Mehr

Präfixcodes und der Huffman Algorithmus

Präfixcodes und der Huffman Algorithmus Präfixcodes und der Huffmn Algorithmus Präfixcodes und Codebäume Im Folgenden werden wir Codes untersuchen, die in der Regel keine Blockcodes sind. In diesem Fll können Codewörter verschiedene Länge hben

Mehr

FB Technologie und Management. Das de Morgansche Theorem. Kombinationsschaltungen (Schaltnetze) Rangfolge der 3 Grundoperationen

FB Technologie und Management. Das de Morgansche Theorem. Kombinationsschaltungen (Schaltnetze) Rangfolge der 3 Grundoperationen FB Tehnologie un Mngement Komintionsshltungen (hltnetze) Eingngsvektor X Komintorishes ystem (hltnetz) y y Ausgngsvektor f(x) n y m Dtenverreitung (Kpitel 5 Tehnishe Informtik) Drstellung er ignle X hltnetz

Mehr

Technische Universität München Sommer 2016 Prof. J. Esparza / Dr. M. Luttenberger, S. Sickert. Lösung

Technische Universität München Sommer 2016 Prof. J. Esparza / Dr. M. Luttenberger, S. Sickert. Lösung Technische Universität München Sommer 2016 Prof. J. Esprz / Dr. M. Luttenerger, S. Sickert Lösung Einführung in die theoretische Informtik Klusur Bechten Sie: Soweit nicht nders ngegeen, ist stets eine

Mehr

18. Markierte Graphen und Prozesse

18. Markierte Graphen und Prozesse 18. Mrkierte Grphen und Prozesse Systeme der Informtik erechnen selten eine einzelne Ausge uf der Bsis einer konkreten Einge. Stttdessen estehen solche Systeme us einer Vielzhl von Komponenten, oft Prozesse

Mehr

Logarithmen und Logarithmengesetze

Logarithmen und Logarithmengesetze R. Brinkmnn http://brinkmnn-du.de Seite 9.. Logrithmen und Logrithmengesetze Wir betrhten die Gleihung 5 = 5 Auf der linken Seite steht eine Potenz mit der Bsis 5 und dem Eponenten. Auf der rehten Seite

Mehr

Reguläre Ausdrücke, In12 G8

Reguläre Ausdrücke, In12 G8 Reguläre Ausdrücke, In2 G8 Beweise, dss A* unendlich viele Elemente esitzt. Hinweis: Indirekter Beweis R A = {0,} Bilde A 3, A 4 A = {,, c} Bilde A 2, A 3 A = {,, c} Gi die Menge ller Wörter der Länge

Mehr

Klausur Grundlagen der Elektrotechnik

Klausur Grundlagen der Elektrotechnik Prüfung Grundlgen der Elektrotehnik Seite 1 von 20 Klusur Grundlgen der Elektrotehnik 1) Die Klusur esteht us 8 Aufgen, dvon 7 Textufgen und ein Single- Choie-Teil. 2) Zulässige Hilfsmittel: Linel, Winkelmesser,

Mehr