Grundlagen der Technischen Informatik
|
|
- Mona Brandt
- vor 6 Jahren
- Abrufe
Transkript
1 TECHNISCHE FAKULTÄT Lösungshinweis zur 5. Übung der Vorlesung Grundlagen der Technischen Informatik Aufgabe 1 (Boolesche Algebra - Gültigkeit) Prüfen Sie auf Gültigkeit: a) Gültig. De Morgansche Gesetz. b) Gültig. Vergleich der Wahrheitstabellen. c) A B Aufgabe 2 (Boolesche Algebra - Beweise) Regeln: Exklusiv-Oder: x y = xy + xy. Idempotenz: x + x = x und x x = x. Absorption: x (x + y) = x und x + (x y) = x. Consensus: (x y) + (x z) + (y z) = (x y) + (x z). Distributivität: x + (y z) = (x + y) (x + z) und x (y + z) = (x y) + (x z). a) x (x + y) = x x y + x(x + y) durch Anwenden der Definition von XOR. x x y + x(x + y) = x y + x durch Idempotenz und Absorption. x y + x = x + y wegen a + ab = a + b. b) Absorption, da gilt (x + yz) (x + y). c) Consensus. d) Distributivität und Idempotenz. e) Nicht wahr, da die rechte Seite den Term abcd enthält, die linke Seite jedoch nicht. Aufgabe 3 (Relaisschaltnetz) a) y = [( (a b) a }{{} b) (a b)] (a b) (a a) (a b)=a = [(a b) (a b)] (a b) = [((a b) a) (a b) b] (a b) = [(a a) (a b) (a b) (b b)] (a b) = (a b) (a b) (a b) = (a b) (a b) (a b) (a b) }{{}}{{} b a = (a b) Dieser Ausdruck wird Implikation genannt: a impliziert b oder a b. 1
2 Negative Konjunktion (NAND): b a y b) Aufgabe 4 (Logikgatter) a = x + y b = az = (x + y) z = xz + yz c = x + y Die 1 -Stellen bilden eine geschlossene Kette im Symmetrie-Diagramm. So ergeben sich zwei gleichwertige Lösungen: e = xy + xz + yz = xy + xz + yz d = cz = (y + x) z = xz + yz e = b + d = xz + yz + xz + yz Aufgabe 5 (Logelei von Zweistein) Abkürzungen: Majoran = Ma, Muskat = Mu, Dill = Di, Curry = Cu, Salbei = Sa, Thymian = Th Gewürz gehört in die Spaghettisauce 1, Gewürz darf nicht verwendet werden 0 Wir wissen, dass mindestens eine Teilkomponente, die von einem jeden Koch genannt wurde, falsch ist. Die Aussagen der elf Köche lauten: Koch Ma Mu Di Cu Sa Th Bevor wir mit dem eigentlichen Lösungsverfahren beginnen, nehmen wir eine Vereinfachung in der obigen Tabelle vor: Die Aussagen von Koch 6 und Koch 11 unterscheiden sich nur für das Gewürz Curry. Damit ist klar, dass genau einer der Beiden bei Curry geflunkert hat. Leider wissen wir aber (noch) nicht welcher Koch das war. Wobei wir uns auch sicher sein können ist, dass auch die Kombination Majoran und Muskat so nicht in die Sauce gehört, da sonst einer der Köche die Wahrheit gesagt hätte. Lösung 1: Wir starten mit einer kleinen, sukzessiv auszufüllenden Tabelle, die nur die erlaubten Kombinationen an Majoran und Muskat, ansonsten aber noch keine Informationen enthält. 2
3 Zeile Ma Mu Di Cu Sa Th Wir beginnen mit Zeile 1. Falls diese Kombination an Muskat und Majoran richtig ist, suchen wir nun nach Zeilen in der großen Tabelle, die uns Aufschluss über den Rest der Zutaten geben. Wir betrachten die Zeilen 1 und 8 der großen Tabelle. Bis auf die fehlende Information für Muskat in Zeile 1 unterscheiden sich die beiden nur in der Angabe für Thymian. Wir können daraus schließen, dass Salbei auf jeden Fall in die Sauce gehört, falls auch Majoran in die Sauce muss, da sonst entweder Koch 1 oder Koch 8 eine komplett richtige Angabe gemacht hätten. Dies gilt bis jetzt aber nur für die erste Zeile der neuen Tabelle. Betrachten wir nun allerdings Zeile 4, sehen wir dass hier ein Widerspruch entsteht, da die Kombination Muskat = 0 und Salbei = 1 von Koch 4 angegeben wurde und somit nicht wahr sein kann. Wir können die erste Zeile der kleinen Tablle also streichen, da die Kombination Majoran = 1 und Muskat = 0 zu keiner gültigen Lösung führen kann. Zeile Ma Mu Di Cu Sa Th Fahren wir mit der 3. Zeile fort, die angibt, dass weder Majoran noch Muskat in die Sauce gehören. Aus Zeile 4 erhalten wir die Information, dass Salbei nicht in die Sauce gehört, wenn kein Muskat drin ist, da sonst Koch 4 Recht gehabt hätte. Kombinieren wir die Information mit Zeile 9, können wir darauf schließen, dass Dill in die Sauce ghört, falls weder Majoran noch Salbei darin zu finden sind. Hieraus ergibt sich aber erneut ein Widerspruch, da Koch 5 angegeben hat, dass Dill in die Sauce gehört, Majoran aber nicht. Diese Aussage muss aber falsch sein und daraus folgt, dass Zeile 3 der kleinen Tabelle nicht wahr sein kann. Zeile Ma Mu Di Cu Sa Th Nun wissen wir, dass Majoran nicht in die Sauce gehört, dafür aber Muskat. Um die restlichen Zutaten zu bestimmen sehen wir uns zuerst Zeile 5 an. Wir erhalten die Information, dass die Sauce keinen Dill enthält, da sonst Zeile 5 nicht gelogen wäre. Gehen wir weiter zu Zeile 9, erfahren wir, dass Salbei in die Sauce gehört, falls weder Dill noch Majoran hinein müssen. Da nun bekannt ist, dass kein Dill, dafür aber Salbei in die Sauce müssen, können wir gleich aus Zeile 2 schließen, dass Thymian in die Sauce gehört, sonst hätte Koch 2 die Wahrheit gesagt. Anhand der Aussage von Koch 7 erhalten wir, dass kein Curry in die Sauce gehört. Da die Tabelle nun widerspruchsfrei ausgefüllt werden konnte, erhalten wir die Lösung, dass Muskat, Salbei und Thymian in die Sauce gehören, nicht aber Majoran, Dill und Curry. Zeile Ma Mu Di Cu Sa Th Lösungsweg 2: man listet für alle Köche je eine Tabelle auf, die alle Möglichkeiten (in der Souce [1] oder nicht [0]) der genannten Gewürze beinhaltet. Dann starten wir damit, dass wir jeweils den Eintrag in der Liste streichen, der von dem genannten Chefkoch angegeben ist - denn der ist auf jeden Fall nicht richtig. Im Anschluss werden in den Tabellen die Zeilen gestrichen die durch (Teil-) überdeckungen von anderen ausgeschlossen werden können. Beispiel: Durch Koch 5 ist ausgeschlossen, dass Di Bestandteil ist und gleichzeitig Ma nicht in die Sauce gehört. Das führt dann beispielsweise in der Tabelle zu Koch 3 zu einem Ausschluss von einem Viertel aller Möglichkeiten. Alle so im ersten Durchlauf gestrichenen Tabelleneinträge sind in den folgenden Tabellen mit einem 3
4 schwarzen Strich gekennzeichnet. Es ist ferner angegeben, welcher Koch das Streichen ermöglicht hat. Dieses Verfahren setzt man iterativ vom Anfang beginnend fort, bis in jeder Tabelle nur noch eine Zeile übrig bleibt. Diese enthält dann die Lösung. Für den zweiten Durchlauf ist die Farbe Blau zum Streichen verwendet worden - im letzten Durchlauf entsprechend rot. (Alternative: Man kann natürlich auch eine gemeinsame Tabelle benutzen.) In die Spaghettisauce gehört Muskat, Salbei und Thymian, nicht aber Curry, Dill und Majoran! Zusatzfrage: Auf die Aussagen welcher Köche hätte Luigi verzichten können? 4
5 Koch 3: Ma Di Cu Sa Th durch Ergebnis # Start Koch 2: Di Sa Th durch # # Start Ergebnis # # # # Koch 9: Ma Di Sa durch Start Ergebnis Koch 8: Ma Mu Sa Th durch # # Ergebnis Start Da alle gestrichen: Ma=0. Ma=0 und Mu=0 ist der erste Eintrag bei Koch 6. 1 Sa und Th sind 1. Koch 1: Ma Sa Th durch # Ergebnis Start Koch 10: Mu Cu Sa durch Start # # Ergebnis #
6 Koch 4: Mu Sa durch # 0 1 Start # 1 1 Erg. Koch 5: Ma Di durch 0 0 Erg. 0 1 Start Koch 6: Ma Mu durch Erg Start Koch 7: Cu Sa durch # 0 1 Erg # 1 1 Start 6
7 7 Logelei von Zweistein - Lösungsvariante mit einer Tabelle Ma Mu Di Cu Sa Th K1 X X X X X X X X K2 X X X X X X X X K3 X X K4 XX XX XX XX XX XX XX XX K5 XXXX XXXX XXXX XXXX K6 XXXX XXXX XXXX XXXX K7 XX XX XX XX XX XX XX XX K8 X X X X K9 XX XX XX XX K10 XX XX XX XX X: einfache überdeckung (die Aussage ist also zwingend erforderlich) - Koch 3 wird von Koch 5 dominiert. Diese Aussage kann entfallen. - Koch 10 wird von Koch 9, Koch 5, Koch 8 und Koch1 dominiert. Auch diese Aussage kann entfallen. Koch Ma Mu Di Cu Sa Th Koch Ma Mu Di Cu Sa Th
I. Aussagenlogik. Aussagenlogik untersucht Verknüpfungen wie "und", "oder", "nicht", "wenn... dann" zwischen atomaren und komplexen Sätzen.
I. Aussagenlogik 2.1 Syntax Aussagenlogik untersucht Verknüpfungen wie "und", "oder", "nicht", "wenn... dann" zwischen atomaren und komplexen Sätzen. Sätze selbst sind entweder wahr oder falsch. Ansonsten
MehrÜbung RA, Kapitel 1.2
Übung RA, Kapitel 1.2 Teil 1: Zahlen und Logik A) Aufgaben zu den ganzen Zahlen 1. Konvertieren Sie die folgenden Zahlen in die Binärform: 1984 Immer durch 2 teilen, der Rest ergibt das Bit. Jeweils mit
MehrGrundlagen der Informationverarbeitung
Grundlagen der Informationverarbeitung Information wird im Computer binär repräsentiert. Die binär dargestellten Daten sollen im Computer verarbeitet werden, d.h. es müssen Rechnerschaltungen existieren,
MehrLogik für Informatiker
Logik für Informatiker 2. Aussagenlogik Teil 3 30.04.2012 Viorica Sofronie-Stokkermans Universität Koblenz-Landau e-mail: sofronie@uni-koblenz.de 1 Letztes Mal Aussagenlogik Syntax: welche Formeln? Semantik:
MehrTeil 1: Digitale Logik
Teil 1: Digitale Logik Inhalt: Boolesche Algebra kombinatorische Logik sequentielle Logik kurzer Exkurs technologische Grundlagen programmierbare logische Bausteine 1 Analoge und digitale Hardware bei
MehrRepetitionsaufgaben Wurzelgleichungen
Repetitionsaufgaben Wurzelgleichungen Inhaltsverzeichnis A) Vorbemerkungen B) Lernziele C) Theorie mit Aufgaben D) Aufgaben mit Musterlösungen 4 A) Vorbemerkungen Bitte beachten Sie: Bei Wurzelgleichungen
MehrWS 2009/10. Diskrete Strukturen
WS 29/ Diskrete Strukturen Prof. Dr. J. Esparza Lehrstuhl für Grundlagen der Softwarezuverlässigkeit und theoretische Informatik Fakultät für Informatik Technische Universität München http://www7.in.tum.de/um/courses/ds/ws9
MehrAlso kann nur A ist roter Südler und B ist grüner Nordler gelten.
Aufgabe 1.1: (4 Punkte) Der Planet Og wird von zwei verschiedenen Rassen bewohnt - dem grünen und dem roten Volk. Desweiteren sind die Leute, die auf der nördlichen Halbkugel geboren wurden von denen auf
MehrQuadratwurzel. Wie lassen sich die Zahlen auf dem oberen und unteren Notizzettel einander sinnvoll zuordnen?
1. Zahlenpartner Quadratwurzel Wie lassen sich die Zahlen auf dem oberen und unteren Notizzettel einander sinnvoll zuordnen? Quelle: Schnittpunkt 9 (1995) Variationen: (a) einfachere Zahlen (b) ein weiteres
Mehr5. Aussagenlogik und Schaltalgebra
5. Aussagenlogik und Schaltalgebra Aussageformen und Aussagenlogik Boolesche Terme und Boolesche Funktionen Boolesche Algebra Schaltalgebra Schaltnetze und Schaltwerke R. Der 1 Aussagen Information oft
MehrKapitel 4. Aussagenlogik. 4.1 Boolesche Algebren
Kapitel 4 Aussagenlogik Aussagenlogik war das erste logische System, das als mathematische Logik formuliert werden konnte (George Boole, Laws of Thought, 1854). Aussagenlogik ist die einfachste Logik und
MehrDigitalelektronik 4 Vom Transistor zum Bit. Stefan Rothe
Digitalelektronik 4 Vom Transistor zum Bit Stefan Rothe 2015 04 21 Rechtliche Hinweise Dieses Werk von Thomas Jampen und Stefan Rothe steht unter einer Creative Commons Attribution-Non- Commercial-ShareAlike-Lizenz.
MehrLösung 3.1 Schaltalgebra - Schaltnetze (AND, OR, Inverter)
Lösung 3.1 Schaltalgebra - Schaltnetze (AND, OR, Inverter) Folgende Darstellung der Funktionen als Zusammenschaltung von AND-, OR- und Invertergattern ist möglich: a) F = X ( Y Z) b) F = EN ( X Y) ( Y
MehrInformatik I WS 07/08 Tutorium 24
Info I Tutorium 24 Informatik I WS 07/08 Tutorium 24 3.2.07 astian Molkenthin E-Mail: infotut@sunshine2k.de Web: http://infotut.sunshine2k.de Organisatorisches / Review is zum 2.2 müssen alle Praxisaufgaben
MehrWir basteln einen Jahreskalender mit MS Excel.
Wir basteln einen Jahreskalender mit MS Excel. In meinen Seminaren werde ich hin und wieder nach einem Excel-Jahreskalender gefragt. Im Internet findet man natürlich eine ganze Reihe mehr oder weniger
MehrMinisterium für Bildung und Wissenschaft des Landes Schleswig-Holstein. Zentrale Abschlussarbeit 2013. Realschulabschluss
Ministerium für Bildung und Wissenschaft des Landes Schleswig-Holstein Zentrale Abschlussarbeit 2013 Realschulabschluss Impressum Herausgeber Ministerium für Bildung und Wissenschaft des Landes Schleswig-Holstein
Mehr(4) Der Hauptpreis befindet sich im ersten oder im zweiten Umschlag.
49. Mathematik-Olympiade Regionalrunde Olympiadeklasse 6 c 2013 nausschuss des Mathematik-Olympiaden e.v. Barbara ist Kandidatin in einer mathematischen Quizshow und hat bis jetzt alle n richtig gelöst.
Mehrder einzelnen Aussagen den Wahrheitswert der zusammengesetzten Aussage falsch falsch falsch falsch wahr falsch wahr falsch falsch wahr wahr wahr
Kapitel 2 Grundbegriffe der Logik 2.1 Aussagen und deren Verknüpfungen Eine Aussage wie 4711 ist durch 3 teilbar oder 2 ist eine Primzahl, die nur wahr oder falsch sein kann, heißt logische Aussage. Ein
MehrInformatik A ( Frank Hoffmann)
Teillösungen zum 1. Aufgabenblatt zur Vorlesung Informatik A ( Frank Hoffmann) 1. Improvisieren Stellen Sie die Zahl 6 dar durch einen Ausdruck, der genau dreimal die Ziffer i enthält und ansonsten neben
Mehr183.580, WS2012 Übungsgruppen: Mo., 22.10.
VU Grundlagen digitaler Systeme Übung 2: Numerik, Boolesche Algebra 183.580, WS2012 Übungsgruppen: Mo., 22.10. Aufgabe 1: Binäre Gleitpunkt-Arithmetik Addition & Subtraktion Gegeben sind die Zahlen: A
MehrA.1 Schaltfunktionen und Schaltnetze
Schaltfunktionen und Schaltnetze A. Schaltfunktionen und Schaltnetze 22 Prof. Dr. Rainer Manthey Informatik II Bedeutung des Binärsystems für den Rechneraufbau Seit Beginn der Entwicklung von Computerhardware
Mehr1 Das Lemma von Burnside und seine Anwendungen
Das Lemma von Burnside und seine Anwendungen Mit dem Lemma von Burnside lassen sich Zählprobleme lösen, bei denen Symmetrien eine Rolle spielen. Betrachten wir als einführendes Beispiel die Anzahl der
Mehr5.1 Drei wichtige Beweistechniken... 55 5.2 Erklärungen zu den Beweistechniken... 56
5 Beweistechniken Übersicht 5.1 Drei wichtige Beweistechniken................................. 55 5. Erklärungen zu den Beweistechniken............................ 56 Dieses Kapitel ist den drei wichtigsten
MehrRekonstruktion der SolarLog minxxxxxx.js-dateien aus Daten, die mit dem ELV-EM1010PC-System und meinen Makros erfasst wurden
Rekonstruktion der SolarLog minxxxxxx.js-dateien aus Daten, die mit dem ELV-EM1010PC-System und meinen Makros erfasst wurden Da ich meine PV-Anlage eher als einen SolarLog hatte, die Einspeisedaten aber
Mehr4. Übungsblatt Matrikelnr.: 6423043
Lineare Algebra I 1. Name: Bleeck, Christian 4. Übungsblatt Matrikelnr.: 6423043 Abgabe: 15.11.06 12 Uhr (Kasten D1 320) Übungsgruppe: 03 Patrick Schützdeller 2. Name: Niemann, Philipp Matrikelnr.: 6388613
MehrVerwendet man zur Darstellung nur binäre Elemente ( bis lat.: zweimal) so spricht man von binärer Digitaltechnik.
Kursleiter : W. Zimmer 1/24 Digitale Darstellung von Größen Eine Meßgröße ist digital, wenn sie in ihrem Wertebereich nur eine endliche Anzahl von Werten annehmen kann, also "abzählbar" ist. Digital kommt
MehrKapitel 3: Boolesche Algebra
Inhalt: 3.1 Grundlegende Operationen und Gesetze 3.2 Boolesche Funktionen u. u. ihre Normalformen 3.3 Vereinfachen von booleschen Ausdrücken 3.4 Logische Schaltungen 3.1 Grundlegende Operationen und Gesetze
Mehr4. Relationen. Beschreibung einer binären Relation
4. Relationen Relationen spielen bei Datenbanken eine wichtige Rolle. Die meisten Datenbanksysteme sind relational. 4.1 Binäre Relationen Eine binäre Relation (Beziehung) R zwischen zwei Mengen A und B
MehrGrundlagen der Informatik
Grundlagen der Informatik Teil III Boolesche Algebra, Signalarten, Elektronische Bauteile Seite 1 Boolesche Algebra George Boole => englischer Mathematiker Mitte 19. Jahrhundert Formale Sicht digitaler
MehrErnährung und Kochsalzverbrauch bei arterieller Hypertonie
Aktiv gegen Bluthochdruck www.hochdruckliga.de Hochdruckliga Ernährung und Kochsalzverbrauch bei arterieller Hypertonie Wie entsteht Übergewicht? Wenn man mehr isst, als der Körper verbraucht, wird man
MehrPlanungsblatt Mathematik für die 4E
Planungsblatt Mathematik für die 4E Woche 26 (von 09.03 bis 13.03) Hausaufgaben 1 Bis Mittwoch 11.03: Auf dem Planungsblatt stehen einige Aufgaben als Übung für die SA. Bereite diese Aufgaben vor! Vor
MehrWS 2008/09. Diskrete Strukturen
WS 2008/09 Diskrete Strukturen Prof. Dr. J. Esparza Lehrstuhl für Grundlagen der Softwarezuverlässigkeit und theoretische Informatik Fakultät für Informatik Technische Universität München http://www7.in.tum.de/um/courses/ds/ws0809
MehrWortproblem für kontextfreie Grammatiken
Wortproblem für kontextfreie Grammatiken G kontextfreie Grammatik. w Σ w L(G)? Wortproblem ist primitiv rekursiv entscheidbar. (schlechte obere Schranke!) Kellerautomat der L(G) akzeptiert Ist dieser effizient?
MehrVR-NetWorld Software Umstellen einer bestehenden HBCI-Bankverbindung auf ein neues Sicherheitsmedium
VR-NetWorld Software Umstellen einer bestehenden HBCI-Bankverbindung auf ein neues Sicherheitsmedium Soll einer bestehenden Bankverbindung, die Sie bereits in Ihrem Programm hinterlegt haben, eine neue
MehrVon der Aussagenlogik zum Computer
Von der Aussagenlogik zum Computer Markus Koch Gymnasium in der Glemsaue Ditzingen Januar 2012 Inhaltsverzeichnis Einleitung...3 Der Computer...3 Grundlagen...4 Wahrheitstabellen...4 Aussagenlogik...4
MehrVariablen & erweiterte Aktionen nutzen
341 In Captivate können Sie mit Hilfe von Variablen Texte & Werte speichern oder Systeminformationen ausgeben. Außerdem können Sie auf Basis von Variablen komplexere Aktionen entwickeln, wie z. B. eine
MehrPangea Ablaufvorschrift
Pangea Mathematik-Wettbewerb 2011 Klassenstufe 9 Pangea Ablaufvorschrift Antwortbogen Überprüfung der Anmeldedaten Kennzeichnung (Beispiel) beachten! Prüfung Zur Beantwortung der 25 Fragen hast du 60 Minuten
Mehr4 Kongruenz und Modulorechnung
4 Kongruenz und Modulorechnung 39 4 Kongruenz und Modulorechnung In unserer Zeitrechnung haben wir uns daran gewöhnt, nur mit endlich vielen Zahlen zu rechnen. Es ist gerade 3 Uhr und in 50 Stunden muss
Mehr9.2. DER SATZ ÜBER IMPLIZITE FUNKTIONEN 83
9.. DER SATZ ÜBER IMPLIZITE FUNKTIONEN 83 Die Grundfrage bei der Anwendung des Satzes über implizite Funktionen betrifft immer die folgende Situation: Wir haben eine Funktion f : V W und eine Stelle x
MehrBeispiellösungen zu Blatt 19
µathematischer κorrespondenz- zirkel Mathematisches Institut Georg-August-Universität Göttingen Aufgabe 1 Beispiellösungen zu Blatt 19 a) In dem Buch der Wahrheit stehen merkwürdige Dinge: Auf der ersten
MehrWo Anleger schneller punkten.
Wo Anleger schneller punkten. Punkt 5. Januar 2012 auf Ihrem Bildschirm. Schwarze Zahlen dank rotem Punkt. Punkt 5. Januar 2012 auf Ihrem Bildschirm. Jetzt lassen wir den Worten Daten folgen. folgen. Jetzt
MehrDieser Newsletter bietet Ihnen entsprechend der Jahreszeit schmackhafte Rezepte und Tipps aus dem Bewegungs- und Mobilitätsbereich.
Newsletter 3 Dieser Newsletter bietet Ihnen entsprechend der Jahreszeit schmackhafte Rezepte und Tipps aus dem Bewegungs- und Mobilitätsbereich. Eintöpfe Schmackhaft und gesund Möchten auch Sie köstliche
MehrErfüllbarkeit und Allgemeingültigkeit
Theoretische Informatik: Logik, M. Lange, FB16, Uni Kassel: 3.3 Aussagenlogik Erfüllbarkeit 44 Erfüllbarkeit und Allgemeingültigkeit Def.: eine Formel ϕ heißt erfüllbar, wennesein I gibt, so dass I = ϕ
MehrPICKFEIN TIPPS ZUM EINLEGEN
ESSIGGURKEN 1 kg kleine, grüne Gurken 1 l PICKFEIN Einlegeaufguss Die kleinen Gurken unter fließendem Wasser gründlich abbürsten, gut abtrocknen und in Gläser einlegen. Die Gläser mit PICKFEIN Einlegeaufguss
MehrGrundlagen der Informatik I Informationsdarstellung
Grundlagen der Informatik I Informationsdarstellung Einführung in die Informatik, Gumm, H.-P./Sommer, M. Themen der heutigen Veranstaltung. ASCIi Code 2. Zeichenketten 3. Logische Operationen 4. Zahlendarstellung
MehrGrundlagen der Computertechnik
Grundlagen der Computertechnik Aufbau von Computersystemen und Grundlagen des Rechnens Walter Haas PROLOG WS23 Automation Systems Group E83- Institute of Computer Aided Automation Vienna University of
MehrZahlen und das Hüten von Geheimnissen (G. Wiese, 23. April 2009)
Zahlen und das Hüten von Geheimnissen (G. Wiese, 23. April 2009) Probleme unseres Alltags E-Mails lesen: Niemand außer mir soll meine Mails lesen! Geld abheben mit der EC-Karte: Niemand außer mir soll
MehrEin neuer Beweis, dass die Newton sche Entwicklung der Potenzen des Binoms auch für gebrochene Exponenten gilt
Ein neuer Beweis, dass die Newton sche Entwicklung der Potenzen des Binoms auch für gebrochene Exponenten gilt Leonhard Euler 1 Wann immer in den Anfängen der Analysis die Potenzen des Binoms entwickelt
MehrMathematikskript Realschule Klasse 10 (Baden-Württemberg) Vorbereitung Realschulabschlussprüfung 2016 Unterrichtsbegleitung im 10.
Mathematikskript Realschule Klasse 0 (Baden-Württemberg) Vorbereitung Realschulabschlussprüfung 06 Unterrichtsbegleitung im 0. Schuljahr inkl. aller Prüfungsaufgaben von 005-05 Dipl.-Math. Alexander Schwarz
MehrKarlsruher Institut für Technologie Institut für Algebra und Geometrie
Karlsruher Institut für Technologie Institut für Algebra und Geometrie PD Dr. Stefan Kühnlein Dipl.-Math. Jochen Schröder Einführung in Algebra und Zahlentheorie Übungsblatt 2 Aufgabe 1 (4 Punkte) Seien
MehrLogische Verknüpfungen. while-schleifen. Zahlendarstellung auf dem Computer. Formatierung von Zahlen in MATLAB.
Logische Verknüpfungen. while-schleifen. Zahlarstellung auf dem Computer. Formatierung von Zahlen in MATLAB. Logische Verknüpfungen In der letzten Sitzung haben wir kennengelernt, wie wir Zahlen mit Operationen
MehrGuten Morgen und Willkommen zur Saalübung!
Guten Morgen und Willkommen zur Saalübung! 1 Wie gewinnt man ein Spiel? Was ist ein Spiel? 2 Verschiedene Spiele Schach, Tic-Tac-Toe, Go Memory Backgammon Poker Nim, Käsekästchen... 3 Einschränkungen Zwei
MehrBitte schreiben Sie sich in die Mailingliste der Vorlesung ein! Den Link finden Sie auf der Vorlesungshomepage.
Mailingliste Bitte schreiben Sie sich in die Mailingliste der Vorlesung ein! Den Link finden Sie auf der Vorlesungshomepage. ZUR ERINNERUNG Regulärer Stundenplan Freitag, 14-16 Uhr: Vorlesung, ExWi A6
MehrMathematik 1. Lösungsvorschläge zum 2. Übungsblatt
Hochschule Regensburg Fakultät Informatik/Mathematik Christoph Böhm Wintersemester 0/0 Wirtschaftsinformatik Bachelor IW Informatik Bachelor IN Vorlesung Mathematik Mathematik Lösungsvorschläge zum Übungsblatt
MehrWas bisher geschah. Aufgaben: Diagnose, Entscheidungsunterstützung Aufbau Komponenten und Funktion
Was bisher geschah Daten, Information, Wissen explizites und implizites Wissen Wissensrepräsentation und -verarbeitung: Wissensbasis Kontextwissen Problemdarstellung fallspezifisches Wissen repräsentiert
Mehr5 Logische Programmierung
5 Logische Programmierung Logik wird als Programmiersprache benutzt Der logische Ansatz zu Programmierung ist (sowie der funktionale) deklarativ; Programme können mit Hilfe zweier abstrakten, maschinen-unabhängigen
MehrSatz Ein Boolescher Term t ist eine Tautologie genau dann, wenn t unerfüllbar ist.
Erfüllbarkeit, Uerfüllbarkeit, Allgemeigültigkeit Defiitio Eie Belegug β ist passed zu eiem Boolesche Term t, falls β für alle atomare Terme i t defiiert ist. (Wird ab jetzt ageomme.) Ist β(t) = true,
MehrAufgabenbeispiele/ Schwerpunkte zur Vorbereitung auf die Eignungsprüfung im Fach Mathematik
Aufgabenbeispiele/ Schwerpunkte zur Vorbereitung auf die Eignungsprüfung im Fach Mathematik. Bruchrechnung (ohne Taschenrechner!!!) a) Mache gleichnamig! 4 und ; und ; 4 7 b) Berechne! 8 7 8 + 4 9 8 4
MehrNeuer Releasestand Finanzbuchhaltung DAM-EDV E.1.22. Inhaltsverzeichnis. 1. Neuerungen Schnittstelle Telebanking mit IBAN und BIC...
Neuer Releasestand Finanzbuchhaltung DAM-EDV E.1.22 Inhaltsverzeichnis 1. Neuerungen Schnittstelle Telebanking mit IBAN und BIC... 2 1a. Programm 257: Auflösen Vorschlag Telebanking... 2 1b. Programm 254:
MehrInhalt. Inhalt... 1. 1. Voraussetzungen... 2. 2. Liegenschaften und Adressen auswählen... 2. 3. Abgleich mit Internet-Office... 5. 4. Dokumente...
Erstellt: 19.08.2010 Geändert am: 15.08.2011 Autor: Matthias Frey Version: Kunden Package plus 2.1 Anleitung für UNO Inhalt Inhalt... 1 1. Voraussetzungen... 2 2. Liegenschaften und Adressen auswählen...
MehrAktionsfelder. 1 Pfeffermühle
Was wäre die weltberühmte indische Küche ohne ihre exotischen Gewürze! In Mumbai aber sind die Gewürzpreise explodiert. Alle Köche sind in heller Aufregung. Da hilft nur noch ein Besuch bei Rajive auf
Mehrerstellt von Christine Kramel für den Wiener Bildungsserver www.lehrerweb.at - www.kidsweb.at - www.elternweb.at
Anleitung.) Natürlich können diese Arbeiten individuell verwendet werden..) Auf Seite 1, 17 werden die Buchstaben nachgefahren..) Seite 3: Wort lesen, Linie mit dem Finger nachziehen, dann das Wort schreiben
MehrUniversität Trier. FB IV Wirtschafts- und Sozialwissenschaften. SS 2008 Veranstalterin: Dipl.-Wirt.-Inf. Ariane Gramm
Universität Trier FB IV Wirtschafts- und Sozialwissenschaften SS 2008 Veranstalterin: Dipl.-Wirt.-Inf. Ariane Gramm Übung Wirtschaftsinformatik I Teil 2 Thema: Erläuterung der eepk Eingereicht am 12.06.2008
MehrKlausur "Informationstechnische Grundlagen" WS 2012/2013
PD Dr. J. Reischer 11.02.2013 Klausur "Informationstechnische Grundlagen" WS 2012/2013 Nachname, Vorname Abschluss (BA, MA, FKN etc.) Matrikelnummer, Semester Versuch (1/2/3) Bitte füllen Sie zuerst den
MehrAnleitung VR-NetWorld Software 5.0
Die Version 5.0 der VR-NetWorld Software erfordert zwingend die Eingabe eines Lizenzschlüssels innerhalb von 60 Tagen nach der Installation. Um den Lizenzschlüssel zu hinterlegen, klicken Sie oben rechts
MehrZugelassenes Hilfsmittel: Ein nicht programmierbarer Taschenrechner.
KANTON AARGAU Abschlussprüfung der Bezirksschule Aargau 2013 Mathematik 1. Serie Bestimmungen: Die Prüfungsdauer beträgt 120 Minuten. Zugelassenes Hilfsmittel: Ein nicht programmierbarer Taschenrechner.
MehrZusammenfassung. Satz. 1 Seien F, G Boolesche Ausdrücke (in den Variablen x 1,..., x n ) 2 Seien f : B n B, g : B n B ihre Booleschen Funktionen
Zusammenfassung Zusammenfassung der letzten LV Einführung in die Theoretische Informatik Woche 6 Harald Zankl Institut für Informatik @ UIBK Wintersemester 2014/2015 Satz 1 Seien F, G Boolesche Ausdrücke
MehrSpamfilter-Konfiguration für Outlook 2000 und höher
Spamfilter-Konfiguration für Outlook 2000 und höher Schritt 1 Starten Sie das Mailprogramm Outlook 2000/2002/2003 Schritt 2 Klicken Sie mit der linken Maustaste in der Menüleiste auf Extras und im sich
MehrDV1_Kapitel_4.doc Seite 4-1 von 28 Rüdiger Siol 12.09.2009 16:29
Inhaltsverzeichnis 4 Boolesche lgebra... 4-2 4. lgebra der Logik, algebraische Logik... 4-2 4.. Schaltalgebra und logische Schaltungen... 4-3 4... Zustand eines digitalen Systems... 4-5 4...2 Schaltfunktion...
MehrAnalysis I für Studierende der Ingenieurwissenschaften
Fachbereich Mathematik der Universität Hamburg WiSe 2015/16 Prof. Dr. M. Hinze Dr. P. Kiani Analysis I für Studierende der Ingenieurwissenschaften Lösungshinweise zu Blatt 2 Aufgabe 1: (12 Punkte) a) Beweisen
MehrZahlenmauern. Dr. Maria Koth. Ausgehend von dieser einfachen Bauvorschrift ergibt sich eine Vielzahl an möglichen Aufgabenstellungen.
Zahlenmauern Dr. Maria Koth Zahlenmauern sind nach einer einfachen Regel gebaut: In jedem Feld steht die Summe der beiden darunter stehenden Zahlen. Ausgehend von dieser einfachen Bauvorschrift ergibt
MehrÜbungen zum Ferienkurs Lineare Algebra WS 14/15
Übungen zum Ferienkurs Lineare Algebra WS 14/15 Linearkombinationen, Basen, Lineare Abbildungen 2.1 Lineare Unabhängigkeit Sind die folgenden Vektoren linear unabhängig? (a) 1, 2, 3 im Q Vektorraum R (b)
MehrSUDOKU - Strategien zur Lösung
SUDOKU Strategien v. /00 SUDOKU - Strategien zur Lösung. Naked Single (Eindeutiger Wert)? "Es gibt nur einen einzigen Wert, der hier stehen kann". Sind alle anderen Werte bis auf einen für eine Zelle unmöglich,
MehrSemantik von Formeln und Sequenzen
Semantik von Formeln und Sequenzen 33 Grundidee der Verwendung von Logik im Software Entwurf Syntax: Menge von Formeln = Axiome Ax K ist beweisbar Formel ϕ beschreiben Korrektkeit Vollständigkeit beschreibt
MehrHANDBUCH ÜBERNAHME BANKLEITZAHLEN
HANDBUCH ÜBERNAHME BANKLEITZAHLEN KIGST-GMBH SYSTEMHAUS MIT TRADITION UND INNOVATION STAND: AUGUST 2010 KIGST GmbH 2010 Seite 1 von 13 Inhalt Inhalt... 2 Allgemeine Hinweise... 3 Grundlegendes... 4 Bankleitzahlen
MehrWorkshop: Das X-Cool-Board
01072011 belastbarkeitsberechnung Workshop: Das X-Cool-Board Mang, Th: http://wwwelektronikpraxisvogelde/leiterplatten/articles/119938/ Lehnberger, Ch: http://wwwelektronikpraxisvogelde/leiterplatten/articles/263392/
MehrKlausur Formale Systeme Fakultät für Informatik WS 2009/2010
Klausur Formale Systeme Fakultät für Informatik WS 2009/2010 Prof. Dr. Bernhard Beckert 18. Februar 2010 Name: Mustermann Vorname: Peter Matrikel-Nr.: 0000000 Klausur-ID: 0000 A1 (15) A2 (10) A3 (10) A4
MehrAnleitung VR-Networld Software 5
Die Version 5 der VR-NetWorld Software erfordert zwingend die Eingabe eines Lizenzschlüssels innerhalb von 60 Tagen nach der Installation. Sofern Sie diesen noch nicht erhalten haben, können Sie ihn über
MehrDivision Für diesen Abschnitt setzen wir voraus, dass der Koeffizientenring ein Körper ist. Betrachte das Schema
Division Für diesen Abschnitt setzen wir voraus, dass der Koeffizientenring ein Körper ist. Betrachte das Schema 2x 4 + x 3 + x + 3 div x 2 + x 1 = 2x 2 x + 3 (2x 4 + 2x 3 2x 2 ) x 3 + 2x 2 + x + 3 ( x
MehrDeutsch. Musterarbeit mit Beispielaufgaben. Abschlussprüfung Abendhauptschule / Nichtschülerprüfung zum Erwerb des Hauptschulabschlusses
Musterarbeit mit Beispielaufgaben Abschlussprüfung Abendhauptschule / Nichtschülerprüfung zum Erwerb des Hauptschulabschlusses Deutsch Lösungs- und Bewertungshinweise Sachtext Lösungs- und Bewertungshinweise
Mehr1. Man schreibe die folgenden Aussagen jeweils in einen normalen Satz um. Zum Beispiel kann man die Aussage:
Zählen und Zahlbereiche Übungsblatt 1 1. Man schreibe die folgenden Aussagen jeweils in einen normalen Satz um. Zum Beispiel kann man die Aussage: Für alle m, n N gilt m + n = n + m. in den Satz umschreiben:
MehrHinweise zur Postergestaltung auf dem 66. wissenschaftlichen ÖGD Kongress in Reutlingen 2016
Hinweise zur Postergestaltung auf dem 66. wissenschaftlichen ÖGD Kongress in Reutlingen 2016 Wie fängt man bei der Postergestaltung an? Erst wird alles niedergeschrieben, was auf dem Poster erscheinen
MehrNumerische Fluidmechanik
Numerische Fluidmechanik Vorlesungsumdruck 1 mit Übersichten und ausgewählten Vorlesungsfolien sowie Übungsaufgaben und kompakter Einführung in die CFD Inhaltsverzeichnis Übersichten... 1 Inhaltsübersicht
MehrBoole'sche Algebra. Inhaltsübersicht. Binäre Funktionen, Boole'sche Algebren, Schaltalgebra. Verknüpfungen der mathematischen Logik
Boole'sche Algebr Binäre Funktionen, Boole'sche Algebren, Schltlgebr Inhltsübersicht Verknüpfungen der mthemtischen Logik Boole sche Algebren Grundelemente der Schltlgebr Regeln der Schltlgebr Normlformen
MehrLeichte Gerichte für einen bunten Sommer
Leichte Gerichte für einen bunten Sommer Blattsalat mit Schafskäse und Tomaten kalorienarm, sehr cholesterinarm + 2 Köpfe Kopfsalat + 40 g Schafskäse + 6 Tomaten + 1,5 EL Olivenöl + 1 EL Balsamicoessig
MehrClustering Seminar für Statistik
Clustering Markus Kalisch 03.12.2014 1 Ziel von Clustering Finde Gruppen, sodas Elemente innerhalb der gleichen Gruppe möglichst ähnlich sind und Elemente von verschiedenen Gruppen möglichst verschieden
MehrMathematischer Vorbereitungskurs für Ökonomen
Mathematischer Vorbereitungskurs für Ökonomen Dr. Thomas Zehrt Wirtschaftswissenschaftliches Zentrum Universität Basel Gleichungen Inhalt: 1. Grundlegendes 2. Lineare Gleichungen 3. Gleichungen mit Brüchen
MehrBerufsreifeprüfung Mathematik Lehrplan laut Berufsreifeprüfungscurriculaverordnung Volkshochschule Floridsdorf Herbsttermin 2013
BRP Mathematik VHS Floridsdorf 5.10.2013 Seite 1/6 Gruppe A Berufsreifeprüfung Mathematik Lehrplan laut Berufsreifeprüfungscurriculaverordnung Volkshochschule Floridsdorf Herbsttermin 2013 Notenschlüssel:
MehrN Bit binäre Zahlen (signed)
N Bit binäre Zahlen (signed) n Bit Darstellung ist ein Fenster auf die ersten n Stellen der Binär Zahl 0000000000000000000000000000000000000000000000000110 = 6 1111111111111111111111111111111111111111111111111101
Mehr11. Primfaktorzerlegungen
78 Andreas Gathmann 11 Primfaktorzerlegungen Euch ist sicher aus der Schule bekannt, dass sich jede positive ganze Zahl a als Produkt a = p 1 p n von Primzahlen schreiben lässt, und dass diese Darstellung
Mehr1 Wiederholung einiger Grundlagen
TUTORIAL MODELLEIGENSCHAFTEN Im vorliegenden Tutorial werden einige der bisher eingeführten Begriffe mit dem in der Elektrotechnik üblichen Modell für elektrische Netzwerke formalisiert. Außerdem soll
MehrFormeln. Signatur. aussagenlogische Formeln: Aussagenlogische Signatur
Signatur Formeln Am Beispiel der Aussagenlogik erklären wir schrittweise wichtige Elemente eines logischen Systems. Zunächst benötigt ein logisches System ein Vokabular, d.h. eine Menge von Namen, die
MehrEinführung in die Programmierung
: Inhalt Einführung in die Programmierung Wintersemester 2010/11 Prof. Dr. Günter Rudolph Lehrstuhl für Algorithm Engineering Fakultät für Informatik TU Dortmund Wiederholungen - while - do-while - for
MehrKochen mit Jordan. Vorbereitungen. Schnellzubereitung. JNF für Genießer wenn s noch etwas mehr sein darf
Kochen mit Jordan Vorbereitungen Man nehme eine Matrix A R n n und bestimme ihr charakteristisches Polynom p(λ) = (λ c ) r (λ c j ) rj C[X] Dabei gilt: algebraische Vielfachheit r j ˆ= Länge des Jordanblocks
MehrGrundlagen der Künstlichen Intelligenz
Grundlagen der Künstlichen Intelligenz 27. Aussagenlogik: Logisches Schliessen und Resolution Malte Helmert Universität Basel 28. April 2014 Aussagenlogik: Überblick Kapitelüberblick Aussagenlogik: 26.
MehrAufbau von Hichert-Graphik Schritt für Schritt
Aufbau von Hichert-Graphik Schritt für Schritt Ausgangsdaten anlegen: o Sollte dann so aussehen: Umsatz Plan Ist Abweich. 60 40-20 o Details dazu: 4 Spaltenüberschriften eintragen: Plan, Ist, leer, Abweichung
MehrGEGENÜBERSTELLUNG PRODUKTINFORMATIONSBLATT
GEGENÜBERSTELLUNG PRODUKTINFORMATIONSBLATT Gesamtverband der Deutschen Versicherungswirtschaft (GDV) / Prof. Hans-Peter SCHWINTOWSKI, Humboldt-Universität (beide Berlin) Produktinformationsblatt GDV Formulierungsvorschlag
MehrPrüfungsklausur Mathematik I für Wirtschaftsingenieure am 8.02.11
HTWD, FB Informatik/Mathematik Prof. Dr. M. Voigt Prüfungsklausur Mathematik I für Wirtschaftsingenieure am 8.02.11 A Name, Vorname Matr. Nr. Sem. gr. Aufgabe 1 2 3 4 6 gesamt erreichbare P. 6 10 12 12
MehrDigitaltechnik. Digitaltechnik, Addierer Gottfried Straube Fjeldså, Steinerskolen i Stavanger
Digitaltechnik 1 Tags Autor/Impressum Geeignet für Klassenstufe Pädagogische Ziele Pädagogischer Hintergrund Nötige Vorbereitungen Hilfsmittel Involvierte Fächer Digitaltechnik, Addierer Gottfried Straube
MehrKapitel 4. Euklidische Ringe und die Jordansche Normalform. 4.1 Euklidische Ringe
Kapitel 4 Euklidische Ringe und die Jordansche Normalform 4.1 Euklidische Ringe Die Ringe der ganzen Zahlen, Z, sowie Polynomringe über Körpern, K[X], wobei K ein Körper ist, haben die folgenden Gemeinsamheiten:
Mehr