Semantic Web Technologies 1
|
|
|
- Hannelore Bachmeier
- vor 10 Jahren
- Abrufe
Transkript
1 Übung zur Lehrveranstaltung Semantic Web Technologies 1 Sebastian Rudolph und Elena Simperl Wintersemester 2011/12 Lösung der Übung 2: Logik und RDF-Semantik Lösung 2.1 (a) (p p): allgemeingültig I(p) I( p) I(p p) t f t f t t (b) ((p q) ( p q)): erfülbal & widerlegbar I(p) I(q) I( p) I( q) I(p q) I( p q) I((p q) ( p q)) t t f f t f f t f f t f t t f f f t t f t t (c) ((p q) ( p q)): unerüllbar I(p) I(q) I( p) I(p q) I( p q) I((p q) ( p q)) I( ((p q) ( p q))) t t f f t f f f f t f f t t f f f t f (d) (((p q) p) p): allgemeingültig I(p) I(q) I((p q)) I(((p q) p)) I((((p q) p) p)) t t t f f t t f t t f t f f t f t 1
2 (e) (((p q) r) (p (q r))): allgemeingültig I(p) I(q) I(r) I((p q)) I(((p q) r)) t t t t f t f t f t f t t f f f t f t t f t f t f f t f f t f t f f f f t I(q r) I((p (q r))) I((((p q) r) (p (q r)))) f f t f t t (f) ((p p) q): allgemeingültig I(p) I( p) I((p p)) I(((p p) q)) t t f f t t f f f t f t t f t f f t f t Lösung 2.2 Theorie: Eine Theorie ist eine Menge von Sätzen. logische Konsequenz: ϕ ist logische Konsequenz von T wenn T = ϕ. Äquivalenz:ϕ ψ wenn {ϕ} = ψ und {ψ} = ϕ. Für beliebige Theorien T und S gilt: (a) Ist eine Formel F allgemeingültig, dann gilt T = F, d.h. aus jeder Theorie folgen zumindest alle Tautologien. wahr: Für beliebige Interpretation I, wenn I = T, dann I = F (b) Je größer eine logische Theorie ist, desto mehr Modelle hat sie. Das heißt, wenn T S, dann ist jedes Modell von T auch ein Modell von S. falsch: Gegenbeispiel: T = {p}, S = {p, p}. T ist erüllbar und S ist unerfüllbar. 2
3 (c) Je größer eine Theorie ist, desto mehr logische Konsequenzen hat sie. Das heißt, wenn T S, dann ist jede logische Konsequenz aus T auch eine Konsequenz aus S. wahr: "monotonic Logik." (d) Ist F T, dann kann T = F niemals gelten (wobei F eine beliebige Formel ist). falsch: im Allgemeinen. wahr: Für beliebige Modell I einer consistent Theorie T und F T, I = F, insbesondere, F T I = F oder I = F d.h. T = F kann niemals gelten. (e) Sind zwei Theorien unterschiedlich (T S), dann unterscheiden sie sich auch in wenigstens einer logischen Konsequenz (zum Beispiel, indem es eine Formel F gibt, so dass T = F aber S = F). falsch: Für zwei Äquivalenz Theorie T und S mit T S, wenn T = F (für beliebige Formel F), dann jedes Modell von T ist ein Modell von F. Aber jedes Modoll von T ist auch ein Modell von S (T S) d.h. S = F, z.b. {p, q}und {p q}, {p, q} {(p q)} aber {p, q} = (p q) und {(p q)} = (p q). Lösung 2.3 I ist eine Intepretation das Modell der graph. IR = {a} IP = {a} I EXT (a) = { a, a } I S (x) = a, x ist beliebige Resource in Graph. LV = I L = 3
4 1. I ist eine (einfache) Interpretation. 2. I ist eine RDF-interpretation: 3. I ist eine RDFS-interpretation: Lösung 2.4 ein Tripel, welches einfach folgt: ex:vegetablethaicurry ex:thaigerichtbasierendauf ex:kokosmilch (Regel se1) ex:vegetablethaicurry ex:thaigerichtbasierendauf _ : id1 ein Tripel, welches RDF-folgt, aber nich einfach folgt: ex:vegetablethaicurry ex:thaigerichtbasierendauf ex:kokosmilch (Regel ) ex:thaigerichtbasierendauf rdf:type rdf:property ein Tripel, welches RDFS-folgt, aber nich einfach folgt: ex:vegetablethaicurry ex:thaigerichtbasierendauf ex:kokosmilch Lösung 2.5 Nicht möglich in RDFS. Lösung 2.6 Und ex:thaigerichtbasierendauf rdfs:domain ex:thailändisch (Regel ) ex:vegetablethaicurry rdf:type ex:thailändisch (a) rdfs:resource rdf:type rdfs:class. rdfs:domain rdfs:range rdfs:class. rdf:type rdfs:domain rdfs:resource. rdfs:resouce rdf:type rdfs:class. 4
5 (b) rdfs:class rdf:type rdfs:class. rdfs:range rdfs:range rdfs:class. rdfs:range rdfs:range rdfs:class. rdfs:class rdf:type rdfs:class. (c) rdfs:literal rdf:type rdfs:class. rdfs:range rdfs:range rdfs:class. rdfs:comment rdfs:range rdfs:literal. rdfs:literal rdf:type rdfs:class. (d) rdf:xmlliteral rdf:type rdfs:class. rdfs:subclassof rdfs:domain rdfs:class. rdfs:xmlliteral rdfs:subclassof rdfs:literal. rdfs:xmlliteral rdf:type rdfs:class. (e) rdfs:datatype rdf:type rdfs:class. rdf:type rdfs:range rdfs:class. rdfs:xmlliteral rdfs:type rdfs:datatype. rdfs:datatype rdf:type rdfs:class. (f) rdf:seq rdf:type rdfs:class. rdfs:subclassof rdfs:domain rdfs:class. rdf:seq rdfs:subclassof rdfs:container. rdf:seq rdf:type rdfs:class. (g) rdf:bag rdf:type rdfs:class. rdf:subclassof rdfs:domain rdfs:class. rdf:bag rdfs:subclassof rdfs:container. rdf:bag rdf:type rdfs:class. (h) rdf:alt rdf:type rdfs:class. rdf:subclassof rdfs:domain rdfs:class. rdf:alt rdfs:subclassof rdfs:container. rdf:alt rdf:type rdfs:class. (i) rdfs:container rdf:type rdfs:class. rdfs:subclassof rdfs:range rdfs:class. rdf:alt rdfs:subclassof rdfs:container. rdfs:container rdf:type rdfs:class. (j) rdf:list rdf:type rdfs:class. rdfs:domain rdfs:range rdfs:class. rdf:first rdfs:domain rdf:list. rdf:list rdf:type rdfs:class. 5
6 (k) rdfs:containermembershipproperty rdf:type rdfs:class. rdf:subclassof rdfs:domain rdfs:class. rdf:containermembershipproperty rdfs:subclassof rdfs:property. rdfs:containermembershipproperty rdf:type rdfs:class. (l) rdf:property rdf:type rdfs:class. rdfs:range rdfs:range rdfs:class. rdf:subpropertof rdfs:range rdf:property. rdf:property rdf:type rdfs:class. (m) rdf:statement rdf:type rdfs:class. rdfs:domain rdfs:range rdfs:class. rdf:subject rdfs:domain rdf:statement. rdf:statement rdf:type rdfs:class. (n) rdfs:domain rdf:type rdf:property. rdfs:range rdfs:domain rdf:property. rdfs:domain rdf:type rdf:property. (o) rdfs:range rdf:type rdf:property. rdfs:subpropertyof rdfs:range rdf:property. rdfs:range rdf:type rdf:property. (p) rdfs:subpropertyof rdf:type rdf:property. rdfs:isdefinedby rdfs:subpropertyof rdfs:seealso. rdfs:subpropertyof rdf:type rdf:property. (q) rdfs:subclassof rdf:type rdf:property. rdf:alt rdfs:subclassof rdfs:container. rdfs:subclassof rdf:type rdf:property. (r) rdfs:member rdf:type rdf:property. rdfs:range rdfs:domain rdf:property. rdfs:member rdfs:range rdfs:resource rdfs:member rdf:type rdf:property. (s) rdfs:seealso rdf:type rdf:property. rdfs:range rdfs:domain rdf:property. rdfs:seealso rdfs:range rdfs:resource. rdfs:seealso rdf:type rdf:property. 6
7 (t) rdfs:isdefinedby rdf:type rdf:property. rdfs:range rdfs:domain rdf:property. rdf:isdefinedby rdfs:range rdfs:resource. rdfs:isdefinedby rdf:type rdf:property. (u) rdfs:comment rdf:type rdf:property. rdfs:range rdfs:domain rdf:property. rdfs:comment rdfs:range rdfs:literal. rdfs:comment rdf:type rdf:property. (v) rdfs:label rdf:type rdf:property. rdfs:range rdfs:domain rdf:property. rdfs:label rdfs:range rdfs:literal. rdfs:label rdf:type rdf:property. 7
Semantic Web Grundlagen
Semantic Web Grundlagen Lösung zur Übung 2: Logik, RDF-Semantik, Datalog Birte Glimm WS 2011/2012 Lösung (2.1). (a) (p p): allgemeingültig I(p) I( p) I(p p) t f t f t t (b) ((p q) ( p q)): erfülbal & widerlegbar
Semantic Web Grundlagen
Birte Glimm Institut für Künstliche Intelligenz 7. Nov 2011 Semantic Web Grundlagen Semantik von RDF(S) 2/47 Birte Glimm Semantic Web Grundlagen 7. Nov 2011 Organisatorisches: Inhalt Einleitung und XML
RDF Containers. Häufig möchte man eine Gruppe von Dingen beschreiben. Hierfür stellt RDF ein Container-Vokabular zur Verfügung.
RDF Containers Häufig möchte man eine Gruppe von Dingen beschreiben. Hierfür stellt RDF ein Container-Vokabular zur Verfügung. Ein Container ist eine Ressource, die andere Ressourcen oder Literale enthält
Semantic Web Technologies 1
Übung zur Lehrveranstaltung Semantic Web Technologies 1 Sebastian Rudolph und Elena Simperl Wintersemester 2011/12 http://semantic-web-grundlagen.de Lösung der Übung 1: RDF und RDF Schema Lösung der Aufgabe
Grundlagen Semantic Web
www.semantic-web-grundlagen.de Grundlagen Semantic Web Lehrveranstaltung im WS08/09 Seminar für Computerlinguistik Universität Heidelberg Dr. Sebastian Rudolph Institut AIFB Universität Karlsruhe www.semantic-web-grundlagen.de
Kapitel WT:VIII (Fortsetzung)
Kapitel WT:VIII (Fortsetzung) VIII. Semantic Web WWW heute Semantic Web Vision RDF: Einführung RDF: Konzepte RDF: XML-Serialisierung RDF: Anwendungen RDFS: Einführung RDFS: Konzepte Semantik im Web Semantik
Semantic Web Technologies 1
Übung zur Lehrveranstaltung Semantic Web Technologies 1 Sebastian Rudolph und Duc Thanh Tran Wintersemester 2012/13 http://semantic-web-grundlagen.de Übung 1: RDF und RDF Schema Aufgabe 1.1 Entscheiden
Semantic Web Grundlagen
Semantic Web Grundlagen Lösung zur Übung 1: RDF und RDF Schema Birte Glimm WS 2011/2012 Lösung zu Aufgabe 3 (b) city @en rdfs:property ex:stadt rdfs:range ex:hauptstadt von rdfs:domain ex:berlin Berlin
OWL Web Ontology Language
OWL Web Ontology Language Hauptseminar Ontologien in Informatik und Linguistik SS 2007 Bianca Selzam 27.4.2007 Gliederung 1. Einleitung 2. Resource Description Framework (RDF) 3. Resource Description Framework
www.semantic-web-grundlagen.de www.semantic-web-grundlagen.de RDF Schema Dr. Sebastian Rudolph Einleitung und XML Einführung in RDF RDF Schema Logik - Grundlagen Semantik von RDF(S) OWL - Syntax und Intuition
RDF und RDF Schema. Einführung in die Problematik Von HTML über XML zu RDF
RDF und RDF Schema Einführung in die Problematik Von HTML über XML zu RDF Kirsten Albrecht Roland Illig Probleme des HTML-basierten
Semantic Web in der bibliothekarischen Ausbildung
SWIB10 - Semantic Web in Bibliotheken Semantic Web in der bibliothekarischen Ausbildung Welche Kompetenzen müssen vermittelt werden? und wie?? Günther Neher Fachhochschule Potsdam, FB Informationswissenschaften
Logische Folgerung. Definition 2.11
Logische Folgerung Definition 2.11 Sei 2A eine aussagenlogische Formel und F eine endliche Menge aussagenlogischer Formeln aus A. heißt logische Folgerung von F genau dann, wenn I ( ) =1für jedes Modell
3.5 OWL: WEB Ontology Language (1)
3.5 OWL: WEB Ontology Language (1) 3.5.1 OWL-Syntax (Teil 1) A) Namensräume / RDF-Tag: Die OWL-Syntax basiert auf XML, XML-Schema, RDF und RDFS. Daher sind die zugehörigen Namensräume am Anfang des Quelltextes
Logik für Informatiker
Logik für Informatiker 2. Aussagenlogik Teil 3 30.04.2012 Viorica Sofronie-Stokkermans Universität Koblenz-Landau e-mail: [email protected] 1 Letztes Mal Aussagenlogik Syntax: welche Formeln? Semantik:
Grundlagen Semantic Web
www.semantic-web-grundlagen.de Grundlagen Semantic Web Lehrveranstaltung im WS10/11 Seminar für Computerlinguistik Universität Heidelberg Dr. Sebastian Rudolph Institut AIFB Universität Karlsruhe www.semantic-web-grundlagen.de
Professionelle Seminare im Bereich MS-Office
Der Name BEREICH.VERSCHIEBEN() ist etwas unglücklich gewählt. Man kann mit der Funktion Bereiche zwar verschieben, man kann Bereiche aber auch verkleinern oder vergrößern. Besser wäre es, die Funktion
Grundlagen 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.
Ressourcen-Beschreibung im Semantic Web
Ressourcen-Beschreibung im Semantic Web Cristina Vertan Inhaltsübersicht Wie sollen die Ressourcen für Semantic Web annotiert werden? Was ist und wie funktioniert RDF? Wie kodiert man RDF-Statements in
Würfelt man dabei je genau 10 - mal eine 1, 2, 3, 4, 5 und 6, so beträgt die Anzahl. der verschiedenen Reihenfolgen, in denen man dies tun kann, 60!.
040304 Übung 9a Analysis, Abschnitt 4, Folie 8 Die Wahrscheinlichkeit, dass bei n - maliger Durchführung eines Zufallexperiments ein Ereignis A ( mit Wahrscheinlichkeit p p ( A ) ) für eine beliebige Anzahl
Semantik 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
Repetitionsaufgaben 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
Also 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
Vorlesung Semantic Web. Vorlesung im Wintersemester 2011/2012 Dr. Heiko Paulheim Fachgebiet Knowledge Engineering
Vorlesung Semantic Web Vorlesung im Wintersemester 2011/2012 Dr. Heiko Paulheim Fachgebiet Knowledge Engineering Entwickeln Sie ein RDF-Schema für ein Bibliotheksinformationssystem. Eine Bibliothek besitzt
Vorlesung Semantic Web. Vorlesung im Wintersemester 2011/2012 Dr. Heiko Paulheim Fachgebiet Knowledge Engineering
Vorlesung Semantic Web Vorlesung im Wintersemester 2011/2012 Dr. Heiko Paulheim Fachgebiet Knowledge Engineering Was bisher geschah... Kann RDF mehr als XML? XML ist eine Auszeichnungssprache für Informationen
Analysis 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
Formeln. 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
Wurzeln als Potenzen mit gebrochenen Exponenten. Vorkurs, Mathematik
Wurzeln als Potenzen mit gebrochenen Exponenten Zur Einstimmung Wir haben die Formel benutzt x m n = x m n nach der eine Exponentialzahl potenziert wird, indem man die Exponenten multipliziert. Dann sollte
Das Schulsystem in Deutschland (Band 2, Lektion 1)
Pluspunkt Deutsch Das Schulsystem in Deutschland (Band 2, Lektion 1) Übung 1 Lesen Sie den Text und kreuzen Sie an: Richtig oder falsch? In Deutschland können die Kinder mit 3 Jahren in den Kindergarten
9. Übung Formale Grundlagen der Informatik
Institut für Informatik Sommersemester 2001 Universität Zürich 9. Übung Formale Grundlagen der Informatik Norbert E. Fuchs ([email protected]) Reinhard Riedl ([email protected]) Nadine Korolnik ([email protected])
V 2 B, C, D Drinks. Möglicher Lösungsweg a) Gleichungssystem: 300x + 400 y = 520 300x + 500y = 597,5 2x3 Matrix: Energydrink 0,7 Mineralwasser 0,775,
Aufgabenpool für angewandte Mathematik / 1. Jahrgang V B, C, D Drinks Ein gastronomischer Betrieb kauft 300 Dosen Energydrinks (0,3 l) und 400 Liter Flaschen Mineralwasser und zahlt dafür 50, Euro. Einen
Gibt es einen Geschmacksunterschied zwischen Coca Cola und Cola Zero?
Gibt es einen Geschmacksunterschied zwischen Coca Cola und Cola Zero? Manche sagen: Ja, manche sagen: Nein Wie soll man das objektiv feststellen? Kann man Geschmack objektiv messen? - Geschmack ist subjektiv
Formale Methoden II. Gerhard Jäger. SS 2008 Universität Bielefeld. Teil 8, 11. Juni 2008. Formale Methoden II p.1/30
Formale Methoden II SS 2008 Universität Bielefeld Teil 8, 11. Juni 2008 Gerhard Jäger Formale Methoden II p.1/30 Beispiele Anmerkung: wenn der Wahrheitswert einer Formel in einem Modell nicht von der Belegungsfunktion
Die Post hat eine Umfrage gemacht
Die Post hat eine Umfrage gemacht Bei der Umfrage ging es um das Thema: Inklusion Die Post hat Menschen mit Behinderung und Menschen ohne Behinderung gefragt: Wie zufrieden sie in dieser Gesellschaft sind.
Formale Sprachen. Der Unterschied zwischen Grammatiken und Sprachen. Rudolf Freund, Marian Kogler
Formale Sprachen Der Unterschied zwischen Grammatiken und Sprachen Rudolf Freund, Marian Kogler Es gibt reguläre Sprachen, die nicht von einer nichtregulären kontextfreien Grammatik erzeugt werden können.
Semantic Web Technologies I!
www.semantic-web-grundlagen.de Semantic Web Technologies I! Lehrveranstaltung im WS11/12! Dr. Elena Simperl! DP Dr. Sebastian Rudolph! M.Sc. Anees ul Mehdi! www.semantic-web-grundlagen.de Logik Grundlagen!
vielen Dank für Ihre Mithilfe! Drucken Sie einfach unser Plakat so oft Sie wollen aus. Das Plakatset beinhaltet gleich drei Möglichkeiten:
Liebe Adalbero-Flohmarkt-Freunde, vielen Dank für Ihre Mithilfe! Drucken Sie einfach unser Plakat so oft Sie wollen aus. Das Plakatset beinhaltet gleich drei Möglichkeiten: Das ausführliche Plakat mit
8.2.2.3 Übung - Arbeiten mit Android
5.0 8.2.2.3 Übung - Arbeiten mit Android Einführung Drucken Sie die Übung aus und führen Sie sie Übungen durch. In dieser Übung werden Sie Apps und Widgets auf dem Home-Bildschirm platzieren und Sie zwischen
5. Bildauflösung ICT-Komp 10
5. Bildauflösung ICT-Komp 10 Was sind dpi? Das Maß für die Bildauflösung eines Bildes sind dpi. Jeder spricht davon, aber oft weiß man gar nicht genau was das ist. Die Bezeichnung "dpi" ist ein Maß, mit
1. 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:
Vorlesung Semantic Web. Vorlesung im Wintersemester 2012/2013 Dr. Heiko Paulheim Fachgebiet Knowledge Engineering
Vorlesung Semantic Web Vorlesung im Wintersemester 2012/2013 Dr. Heiko Paulheim Fachgebiet Knowledge Engineering Aufgabe 1 Entwickeln Sie ein RDF-Schema für ein Bibliotheksinformationssystem. Eine Bibliothek
- Strukturentwurf elementarer Rechenwerke - Grund-Flipflop (RS-Flipflop) - Register, Schieberegister, Zähler
3.Übung: Inhalte: - binäre Logik, boolsche Gleichungen - logische Grundschaltungen - trukturentwurf elementarer echenwerke - Grund-Flipflop (-Flipflop) - egister, chieberegister, Zähler Übung Informatik
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
ACDSee 10. ACDSee 10: Fotos gruppieren und schneller durchsuchen. Was ist Gruppieren? Fotos gruppieren. Das Inhaltsverzeichnis zum Gruppieren nutzen
In diesem Tutorial erfahren Sie, wie man Fotos gruppiert. Mit der Option "Gruppieren nach" werden die Fotos in der Dateiliste nach Gruppen geordnet. Wenn Sie beispielsweise auf "Bewertung" klicken, werden
1. Weniger Steuern zahlen
1. Weniger Steuern zahlen Wenn man arbeitet, zahlt man Geld an den Staat. Dieses Geld heißt Steuern. Viele Menschen zahlen zu viel Steuern. Sie haben daher wenig Geld für Wohnung, Gewand oder Essen. Wenn
Anmerkungen zur Übergangsprüfung
DM11 Slide 1 Anmerkungen zur Übergangsprüfung Aufgabeneingrenzung Aufgaben des folgenden Typs werden wegen ihres Schwierigkeitsgrads oder wegen eines ungeeigneten fachlichen Schwerpunkts in der Übergangsprüfung
Ihr müsst drei Caches finden. Ihr beginnt mit Cache 1. In jedem Cache findet Ihr eine Internet-Adresse und einen Hinweis auf das nächste Cache.
Rallye-Fragen Gruppe 1 Bitte beantwortet alle Fragen. Manche Antworten sind evtl. ungestützt oder mit Eurer eigenen Internetrecherche möglich, aber bei anderen können Euch Internet-Adressen Hilfestellung
Lineargleichungssysteme: Additions-/ Subtraktionsverfahren
Lineargleichungssysteme: Additions-/ Subtraktionsverfahren W. Kippels 22. Februar 2014 Inhaltsverzeichnis 1 Einleitung 2 2 Lineargleichungssysteme zweiten Grades 2 3 Lineargleichungssysteme höheren als
Tangentengleichung. Wie lautet die Geradengleichung für die Tangente, y T =? Antwort:
Tangentengleichung Wie Sie wissen, gibt die erste Ableitung einer Funktion deren Steigung an. Betrachtet man eine fest vorgegebene Stelle, gibt f ( ) also die Steigung der Kurve und somit auch die Steigung
Erstellen einer E-Mail in OWA (Outlook Web App)
Erstellen einer E-Mail in OWA (Outlook Web App) Partner: 2/12 Versionshistorie: Datum Version Name Status 13.09.2011 1.1 J. Bodeit Punkte 7 hinzugefügt, alle Mailempfänger unkenntlich gemacht 09.09.2011
Wichtige Info szum Lehrabschluss!
Wichtige Info szum Lehrabschluss! Sie stehen kurz vor Ihrer Lehrabschlussprüfung zum/zur Zahntechniker/in. Hierzu haben Sie bereits ausführliche Informationen zum Ablauf der Prüfung erhalten. Darüber hinaus
Terme stehen für Namen von Objekten des Diskursbereichs (Subjekte, Objekte des natürlichsprachlichen Satzes)
Prädikatenlogik Man kann den natürlichsprachlichen Satz Die Sonne scheint. in der Prädikatenlogik beispielsweise als logisches Atom scheint(sonne) darstellen. In der Sprache der Prädikatenlogik werden
Eine mathematische Reise ins Unendliche. Peter Koepke Universität Bonn
Eine mathematische Reise ins Unendliche Peter Koepke Universität Bonn Treffen sich die Schienen im Unendlichen? Gibt es unendlich ferne Punkte? Gibt es unendliche Zahlen? 1 Antwort: Nein! , so prostestire
Die Industrie- und Handelskammer arbeitet dafür, dass Menschen überall mit machen können
Die Industrie- und Handelskammer arbeitet dafür, dass Menschen überall mit machen können In Europa gibt es einen Vertrag. In dem Vertrag steht: Alle Menschen sollen die gleichen Rechte haben. Alle Menschen
Empfehlungen zum Orientierungssystem
Empfehlungen zum Orientierungssystem im Gebäude der pro familia Beratungsstelle Theodor-Heuss-Straße 23, 70174 Stuttgart Für die Arbeitsgruppe Stephan Kurzenbergrer / Dezember 2011 Es wurde versucht, alle
Formale Systeme, WS 2012/2013 Lösungen zu Übungsblatt 4
Karlsruher Institut für Technologie Institut für Theoretische Informatik Prof. Dr. Peter H. Schmitt David Farago, Christoph Scheben, Mattias Ulbrich Formale Systeme, WS 2012/2013 Lösungen zu Übungsblatt
Die Gleichung A x = a hat für A 0 die eindeutig bestimmte Lösung. Für A=0 und a 0 existiert keine Lösung.
Lineare Gleichungen mit einer Unbekannten Die Grundform der linearen Gleichung mit einer Unbekannten x lautet A x = a Dabei sind A, a reelle Zahlen. Die Gleichung lösen heißt, alle reellen Zahlen anzugeben,
Informationen zum Ambulant Betreuten Wohnen in leichter Sprache
Informationen zum Ambulant Betreuten Wohnen in leichter Sprache Arbeiterwohlfahrt Kreisverband Siegen - Wittgenstein/ Olpe 1 Diese Information hat geschrieben: Arbeiterwohlfahrt Stephanie Schür Koblenzer
Unterrichtsmaterialien in digitaler und in gedruckter Form. Auszug aus: Übungsbuch für den Grundkurs mit Tipps und Lösungen: Analysis
Unterrichtsmaterialien in digitaler und in gedruckter Form Auszug aus: Übungsbuch für den Grundkurs mit Tipps und Lösungen: Analysis Das komplette Material finden Sie hier: Download bei School-Scout.de
Übungen zu Informatik 1
Communication Systems Group (CSG) Prof. Dr. Burkhard Stiller, Universität Zürich, Binzmühlestrasse 14, CH-8050 Zürich Telefon: +41 44 635 6710, Fax: +41 44 635 6809, [email protected] Fabio Hecht, Telefon:
Was meinen die Leute eigentlich mit: Grexit?
Was meinen die Leute eigentlich mit: Grexit? Grexit sind eigentlich 2 Wörter. 1. Griechenland 2. Exit Exit ist ein englisches Wort. Es bedeutet: Ausgang. Aber was haben diese 2 Sachen mit-einander zu tun?
Anleitung für die Online-Bewerbung über LSF auf Lehrveranstaltungen aller Lehramtsstudiengänge
Einloggen: Eingabe von Benutzername und Passwort Benutzername = Matrikelnummer (z.b. 999999) Passwort = Geburtsdatum (z.b. 31.12.1998) wird angezeigt als ********** Nach dem ersten Einloggen sollten sie
Die Beitrags-Ordnung vom Verein
Die Beitrags-Ordnung vom Verein 1. Wozu ist die Beitrags-Ordnung? Jedes Vereins-Mitglied bezahlt Geld an den Verein. Das ist der Mitglieds-Beitrag. In dieser Beitrags-Ordnung stehen dafür Regeln. Zum Beispiel:
Der monatliche Tarif für ein Handy wurde als lineare Funktion der Form f(x) = k x + d modelliert (siehe Grafik).
1) Handytarif Der monatliche Tarif für ein Handy wurde als lineare Funktion der Form f(x) = k x + d modelliert (siehe Grafik). Euro Gesprächsminuten Tragen Sie in der folgenden Tabelle ein, welche Bedeutung
Semantic Web Technologies I
Semantic Web Technologies I Lehrveranstaltung im WS11/12 Dr. Elena Simperl PD Dr. Sebastian Rudolph M. Sc. Anees ul Mehdi Ontology Engineering Dr. Elena Simperl XML und URIs Einführung in RDF RDF Schema
HIER GEHT ES UM IHR GUTES GELD ZINSRECHNUNG IM UNTERNEHMEN
HIER GEHT ES UM IHR GUTES GELD ZINSRECHNUNG IM UNTERNEHMEN Zinsen haben im täglichen Geschäftsleben große Bedeutung und somit auch die eigentliche Zinsrechnung, z.b: - Wenn Sie Ihre Rechnungen zu spät
RDF RESOURCE DESCRIPTION FRAMEWORK. Referentin: Claudia Langer
RDF RESOURCE DESCRIPTION FRAMEWORK Referentin: Claudia Langer Überblick RDF allgemein RDF und XML Praktisches Beispiel RDF allgemein vom WWW Konsortium (W3C) für das Semantic Web entwickelt Sprache zur
Korrelation (II) Korrelation und Kausalität
Korrelation (II) Korrelation und Kausalität Situation: Seien X, Y zwei metrisch skalierte Merkmale mit Ausprägungen (x 1, x 2,..., x n ) bzw. (y 1, y 2,..., y n ). D.h. für jede i = 1, 2,..., n bezeichnen
Bewertung des Blattes
Bewertung des Blattes Es besteht immer die Schwierigkeit, sein Blatt richtig einzuschätzen. Im folgenden werden einige Anhaltspunkte gegeben. Man unterscheidet: Figurenpunkte Verteilungspunkte Längenpunkte
Das Freiwillige Soziale Jahr. Der Bundes-Freiwilligen-Dienst
Das Freiwillige Soziale Jahr Die Abkürzung für Freiwilliges Soziales Jahr ist: FSJ Das bedeutet: Junge Menschen arbeiten 1 Jahr in einer gemeinwohl-orientierten Einrichtung. Gemeinwohl-orientierte Einrichtungen
IBIS Professional. z Dokumentation zur Dublettenprüfung
z Dokumentation zur Dublettenprüfung Die Dublettenprüfung ist ein Zusatzpaket zur IBIS-Shopverwaltung für die Classic Line 3.4 und höher. Dubletten entstehen dadurch, dass viele Kunden beim Bestellvorgang
Erfü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 = ϕ
Stellen Sie bitte den Cursor in die Spalte B2 und rufen die Funktion Sverweis auf. Es öffnet sich folgendes Dialogfenster
Es gibt in Excel unter anderem die so genannten Suchfunktionen / Matrixfunktionen Damit können Sie Werte innerhalb eines bestimmten Bereichs suchen. Als Beispiel möchte ich die Funktion Sverweis zeigen.
Wie unser Gehirn lernt
Wie unser Gehirn lernt Aspekte der Gehirnforschung für eine bessere Aus- und Weiterbildung Die Herausforderungen im Training Die Mitarbeiter fallen in alte Verhaltensmuster zurück. Der Inhalt wird nicht
Welche Regeln gibt es für das ZDF?
Welche Regeln gibt es für das ZDF? Die Programme vom ZDF müssen sich an bestimmte Regeln halten. Die Fernseh-Programme, und die Internet-Angebote. Diese Regeln gibt es zum Beispiel: Alle Programme vom
Theoretische Grundlagen des Software Engineering
Theoretische Grundlagen des Software Engineering 7: Einführung Aussagenlogik [email protected] Logisches Schließen 2 gold +1000, 1 per step, Beispiel: Jage den Wumpus Performance measure death 1000 10
Wie Google Webseiten bewertet. François Bry
Wie Google Webseiten bewertet François Bry Heu6ge Vorlesung 1. Einleitung 2. Graphen und Matrizen 3. Erste Idee: Ranking als Eigenvektor 4. Fragen: Exisi6ert der Eigenvektor? Usw. 5. Zweite Idee: Die Google
Musterlösungen zur Linearen Algebra II Blatt 5
Musterlösungen zur Linearen Algebra II Blatt 5 Aufgabe. Man betrachte die Matrix A := über dem Körper R und über dem Körper F und bestimme jeweils die Jordan- Normalform. Beweis. Das charakteristische
3. LINEARE GLEICHUNGSSYSTEME
176 3. LINEARE GLEICHUNGSSYSTEME 90 Vitamin-C-Gehalt verschiedener Säfte 18,0 mg 35,0 mg 12,5 mg 1. a) 100 ml + 50 ml + 50 ml = 41,75 mg 100 ml 100 ml 100 ml b) : Menge an Kirschsaft in ml y: Menge an
