Thomas Worsch. Wintersemester 2016/2017
|
|
|
- Charlotte Bäcker
- vor 9 Jahren
- Abrufe
Transkript
1 LATEX, beamer, tikz und Co. LATEX, beamer, tikz und Co. 17. Das beamer Paket dynamische Aspekte Thomas Worsch Fakultät für Informatik Karlsruher Institut für Technologie Wintersemester 2016/ / 27
2 Globale dynamische Struktur: Hin- und Her-Springen Hypertargets und Hyperlinks Hineinzoomen in Bilder 2 / 27
3 Strukturen globale statische logische Strukur Aufbau der Quelldatei globale dynamische Strukur teils durch die statische Struktur festgelegt teils durch die Reihenfolge der Knopfdrücke lokale statische logische Strukur lokale dynamische Strukur Stile für die diversen Strukturelemente für die diversen Layoutelemente 3 / 27
4 Überblick Globale dynamische Struktur: Hin- und Her-Springen 4 / 27
5 Sukzessives Aufdecken von Teilen eines Frames unbedingt mit großer Zurückhaltung verwenden denn es nervt den Vortragenden (viel Knöpfedrücken) es nervt schnell die Zuhörer (Bevormundung?) es zwingt den Vortragenden, sich beim Reden an die Reihenfolge auf der Folie zu halten 5 / 27
6 Sukzessives Aufdecken von Teilen eines Frames unbedingt mit großer Zurückhaltung verwenden denn es nervt den Vortragenden (viel Knöpfedrücken) es nervt schnell die Zuhörer (Bevormundung?) es zwingt den Vortragenden, sich beim Reden an die Reihenfolge auf der Folie zu halten 5 / 27
7 Sukzessives Aufdecken von Teilen eines Frames unbedingt mit großer Zurückhaltung verwenden denn es nervt den Vortragenden (viel Knöpfedrücken) es nervt schnell die Zuhörer (Bevormundung?) es zwingt den Vortragenden, sich beim Reden an die Reihenfolge auf der Folie zu halten 5 / 27
8 Sukzessives Aufdecken von Teilen eines Frames unbedingt mit großer Zurückhaltung verwenden denn es nervt den Vortragenden (viel Knöpfedrücken) es nervt schnell die Zuhörer (Bevormundung?) es zwingt den Vortragenden, sich beim Reden an die Reihenfolge auf der Folie zu halten 5 / 27
9 Sukzessives Aufdecken von Teilen eines Frames unbedingt mit großer Zurückhaltung verwenden denn es nervt den Vortragenden (viel Knöpfedrücken) es nervt schnell die Zuhörer (Bevormundung?) es zwingt den Vortragenden, sich beim Reden an die Reihenfolge auf der Folie zu halten 5 / 27
10 Sukzessives Aufdecken von Teilen eines Frames unbedingt mit großer Zurückhaltung verwenden denn es nervt den Vortragenden (viel Knöpfedrücken) es nervt schnell die Zuhörer (Bevormundung?) es zwingt den Vortragenden, sich beim Reden an die Reihenfolge auf der Folie zu halten 5 / 27
11 Sukzessives Aufdecken von Teilen eines Frames unbedingt mit großer Zurückhaltung verwenden denn es nervt den Vortragenden (viel Knöpfedrücken) es nervt schnell die Zuhörer (Bevormundung?) es zwingt den Vortragenden, sich beim Reden an die Reihenfolge auf der Folie zu halten 5 / 27
12 Das \pause Kommando ein oder mehrere Vorkommen von \pause in einem frame bewirken die Erzeugung mehrerer slides auf Slide 1 sieht man (im wesentlichen) nur alles vor dem 1. \pause auf Slide 2 sieht man (im wesentlichen) nur alles vor dem 2. \pause usw. auf Slide n + 1 sieht man alles zum Beispiel liefert: slide 1 \pause slide 2 \pause slide 3 \pause slide 4 slide 1 slide 2 slide 3 slide 4 6 / 27
13 Das \pause Kommando ein oder mehrere Vorkommen von \pause in einem frame bewirken die Erzeugung mehrerer slides auf Slide 1 sieht man (im wesentlichen) nur alles vor dem 1. \pause auf Slide 2 sieht man (im wesentlichen) nur alles vor dem 2. \pause usw. auf Slide n + 1 sieht man alles zum Beispiel liefert: slide 1 \pause slide 2 \pause slide 3 \pause slide 4 slide 1 slide 2 slide 3 slide 4 6 / 27
14 Das \pause Kommando ein oder mehrere Vorkommen von \pause in einem frame bewirken die Erzeugung mehrerer slides auf Slide 1 sieht man (im wesentlichen) nur alles vor dem 1. \pause auf Slide 2 sieht man (im wesentlichen) nur alles vor dem 2. \pause usw. auf Slide n + 1 sieht man alles zum Beispiel liefert: slide 1 \pause slide 2 \pause slide 3 \pause slide 4 slide 1 slide 2 slide 3 slide 4 6 / 27
15 Das \pause Kommando ein oder mehrere Vorkommen von \pause in einem frame bewirken die Erzeugung mehrerer slides auf Slide 1 sieht man (im wesentlichen) nur alles vor dem 1. \pause auf Slide 2 sieht man (im wesentlichen) nur alles vor dem 2. \pause usw. auf Slide n + 1 sieht man alles zum Beispiel liefert: slide 1 \pause slide 2 \pause slide 3 \pause slide 4 slide 1 slide 2 slide 3 slide 4 6 / 27
16 Das \pause Kommando (2) intern wird der Zähler beamerpauses verwendet initialer Wert: 1 durch jedes Kommando \pause wird er um 1 erhöht für jeden vorkommenden Zählerwert wird eine Dokumentenseite erzeugt bei der Erzeugung der i-ten Seite wird nur das berücksichtigt, was vor dem i-ten \pause-kommando steht 7 / 27
17 Das \pause Kommando (3) allgemeine Syntax: \pause[ Nummer ] setzt den Zähler beamerpauses auf Nummer Implementierung (näherungsweise) beamerpauses auf neuen Wert x setzen \pause ersetzen durch \onslide<x-> <x-> ist eine sogenannte Overlay Spezifikation \onslide kommt gleich noch 8 / 27
18 Overlay Spezifikationen in spitzen Klammern einfacher Fall: Liste von Nummern einzelner Slides Intervalle von Slidenummern Beispiel <-3,5-7,9,13-> so etwas ist nicht nur bei \uncover und Co. möglich beamer definiert diverse Kommandos und Umgebungen um, so dass sie auf Overlay Spezifikationen reagieren, z. B. \item \textcolor, \textbf,... Kommando nur aktiv, wenn aktuelle Slidenummer passt 9 / 27
19 \uncover, \visible, \only, \alt, \temporal current slide 1 sl.1: \uncover<2-3>{uncovered on slides 2-3} uncovered on slides 2-3 sl.1: \visible<2-3>{visible on slides 2-3} sl.1: \only<2-3>{only on 2-3} sl.1: \alt<2-3>{on 2-3}{not on 2-3} not on 2-3 sl.1: \temporal<2-3>{before 2}{on 2-3}{after 3} before 2 10 / 27
20 \uncover, \visible, \only, \alt, \temporal current slide 2 sl.2: \uncover<2-3>{uncovered on slides 2-3} uncovered on slides 2-3 sl.2: \visible<2-3>{visible on slides 2-3} visible on slides 2-3 sl.2: \only<2-3>{only on 2-3} only on 2-3 sl.2: \alt<2-3>{on 2-3}{not on 2-3} on 2-3 sl.2: \temporal<2-3>{before 2}{on 2-3}{after 3} on / 27
21 \uncover, \visible, \only, \alt, \temporal current slide 3 sl.3: \uncover<2-3>{uncovered on slides 2-3} uncovered on slides 2-3 sl.3: \visible<2-3>{visible on slides 2-3} visible on slides 2-3 sl.3: \only<2-3>{only on 2-3} only on 2-3 sl.3: \alt<2-3>{on 2-3}{not on 2-3} on 2-3 sl.3: \temporal<2-3>{before 2}{on 2-3}{after 3} on / 27
22 \uncover, \visible, \only, \alt, \temporal current slide 4 sl.4: \uncover<2-3>{uncovered on slides 2-3} uncovered on slides 2-3 sl.4: \visible<2-3>{visible on slides 2-3} sl.4: \only<2-3>{only on 2-3} sl.4: \alt<2-3>{on 2-3}{not on 2-3} not on 2-3 sl.4: \temporal<2-3>{before 2}{on 2-3}{after 3} after 3 10 / 27
23 Kommando \onslide hier nur Syntax für den einfachen Fall: \onslide< overlay spec > oder \onslide+< overlay spec > Unterschied wie zwischen \uncover und \visible alles nach diesem Kommando wird nur gezeigt, wenn beamerpauses einen Wert hat, der zu overlay spec passt 11 / 27
24 Verallgemeinerung action spec Doku: action specifications sind «a rather advanced concept». mögliche actions sind uncover der Default alert only visible invisible im folgenden nur ein einfaches Beispiel 12 / 27
25 Kommando \item wichtiges Beispiel eines Kommandos, das von beamer action spec aware gemacht wird betrachten/benutzen (fast) nur uncover, was nicht explizit notiert werden muss, da Default dann sieht eine action spec aus wie eine overlay spec Beispiel: \begin{itemize} \item<1-> eins \item<2-> zwei \item<3-> drei \end{itemize} eins zwei drei 13 / 27
26 Kommando \item wichtiges Beispiel eines Kommandos, das von beamer action spec aware gemacht wird betrachten/benutzen (fast) nur uncover, was nicht explizit notiert werden muss, da Default dann sieht eine action spec aus wie eine overlay spec Beispiel: \begin{itemize} \item<1-> eins \item<2-> zwei \item<3-> drei \end{itemize} eins zwei drei 13 / 27
27 Kommando \item wichtiges Beispiel eines Kommandos, das von beamer action spec aware gemacht wird betrachten/benutzen (fast) nur uncover, was nicht explizit notiert werden muss, da Default dann sieht eine action spec aus wie eine overlay spec Beispiel: \begin{itemize} \item<1-> eins \item<2-> zwei \item<3-> drei \end{itemize} eins zwei drei 13 / 27
28 Kommando \item: inkrementelle Spezifikationen Beispiel: \begin{itemize} \item<+-> zwei \item<+-> zweieinhalb \item<+-> drei \end{itemize} zwei zweieinhalb drei etwas kürzer: \begin{itemize}[<+->] \item zwei \item zweieinhalb \item drei \end{itemize} zwei zweieinhalb drei 14 / 27
29 Kommando \item: inkrementelle Spezifikationen Beispiel: \begin{itemize} \item<+-> zwei \item<+-> zweieinhalb \item<+-> drei \end{itemize} zwei zweieinhalb drei etwas kürzer: \begin{itemize}[<+->] \item zwei \item zweieinhalb \item drei \end{itemize} zwei zweieinhalb drei 14 / 27
30 Kommando \item: inkrementelle Spezifikationen Beispiel: \begin{itemize} \item<+-> zwei \item<+-> zweieinhalb \item<+-> drei \end{itemize} zwei zweieinhalb drei etwas kürzer: \begin{itemize}[<+->] \item zwei \item zweieinhalb \item drei \end{itemize} zwei zweieinhalb drei 14 / 27
31 Kommando \item: inkrementelle Spezifikationen Beispiel: \begin{itemize} \item<+-> zwei \item<+-> zweieinhalb \item<+-> drei \end{itemize} zwei zweieinhalb drei etwas kürzer: \begin{itemize}[<+->] \item zwei \item zweieinhalb \item drei \end{itemize} zwei zweieinhalb drei 14 / 27
32 Kommando \item: inkrementelle Spezifikationen Beispiel: \begin{itemize} \item<+-> zwei \item<+-> zweieinhalb \item<+-> drei \end{itemize} zwei zweieinhalb drei etwas kürzer: \begin{itemize}[<+->] \item zwei \item zweieinhalb \item drei \end{itemize} zwei zweieinhalb drei 14 / 27
33 Kommando \item: inkrementelle Spezifikationen Beispiel: \begin{itemize} \item<+-> zwei \item<+-> zweieinhalb \item<+-> drei \end{itemize} zwei zweieinhalb drei etwas kürzer: \begin{itemize}[<+->] \item zwei \item zweieinhalb \item drei \end{itemize} zwei zweieinhalb drei 14 / 27
34 Inkrementelle Spezifikationen (2) Bedeutung des + 1. der aktuelle Wert von beamerpauses wird eingesetzt 2. beamerpauses wird um 1 erhöht statt + ist auch +( diff ) möglich das habe ich noch nie gebraucht es gibt auch noch. 1. der Zähler beamerpauses wird nicht verändert 2. der Wert von beamerpauses minus 1 wird geliefert 15 / 27
35 Inkrementelle Spezifikationen (3): Beispiel aus der beamer-dokumentation: \begin{enumerate}[<+->] \item This is \alert<.>{important}. \item highlight \alert<.>{this} and \alert<.>{this} \item What is the \alert<.>{matrix}? \end{enumerate} 1. This is important. 2. highlight this and this 3. What is the matrix? 16 / 27
36 Inkrementelle Spezifikationen (3): Beispiel aus der beamer-dokumentation: \begin{enumerate}[<+->] \item This is \alert<.>{important}. \item highlight \alert<.>{this} and \alert<.>{this} \item What is the \alert<.>{matrix}? \end{enumerate} 1. This is important. 2. highlight this and this 3. What is the matrix? 16 / 27
37 Inkrementelle Spezifikationen (3): Beispiel aus der beamer-dokumentation: \begin{enumerate}[<+->] \item This is \alert<.>{important}. \item highlight \alert<.>{this} and \alert<.>{this} \item What is the \alert<.>{matrix}? \end{enumerate} 1. This is important. 2. highlight this and this 3. What is the matrix? 16 / 27
38 Globale dynamische Struktur: Hin- und Her-Springen Überblick Globale dynamische Struktur: Hin- und Her-Springen Hypertargets und Hyperlinks Hineinzoomen in Bilder 17 / 27
39 Globale dynamische Struktur: Hin- und Her-Springen Zeitplanung für einen Vortrag weniger als 2 Minuten pro Folie sind meist illusorisch laut üben das Überspringen von Vortragsteilen einplanen 18 / 27
40 Globale dynamische Struktur: Hin- und Her-Springen Hypertargets und Hyperlinks Targets, Links und Buttons \hypertarget< overlay spec >{ target name }{ text } text ist auf allen Slides auf Slide overlay spec ist er auch Sprungziel mit Namen target name \hyperlink{ target name }{ link text } beamer buttons \beamerbutton{ text } text \beamergotobutton{ text } text \beamerreturnbutton{ text } text \beamerskipbutton{ text } text (siehe auch: die Folien zum Kapitel Verweise ) \hyperlink{hauptsatz}{% \beamergotobutton{hauptsatz der Präsentationstechnik}} hier geht es zum Hauptsatz der Präsentationstechnik 19 / 27
41 Globale dynamische Struktur: Hin- und Her-Springen Hineinzoomen in Bilder Vergrößerung von Bildern im laufenden Text \begin{frame}<1>[label=grossesbild]... Bild... \framezoom<1><2>(0mm,-2mm)(42mm,23mm) \framezoom<1><3>(0mm,36mm)(32mm,20mm) \framezoom<1><4>(72mm,17mm)(30mm,23mm) \end{frame} (z. B.) im Anhang \againframe<2->[plain]{grossesbild} 20 / 27
42 Der Hauptsatz der Präsentationstechnik Überblick Der Hauptsatz der Präsentationstechnik 21 / 27
43 Der Hauptsatz der Präsentationstechnik Hauptsatz der Präsentationstechnik Beispiel einer theorem Umgebung \begin{theorem}[\hypertarget<1>{hauptsatz}{hauptsatz der Präsentationstechnik}] Für... lang. \end{theorem} liefert Theorem (Hauptsatz der Präsentationstechnik) Für jede nichtnegative ganze Zahl n gilt: Wenn n 1, dann ist ein Vortrag mit n Folien zu lang. 22 / 27
44 Der Hauptsatz der Präsentationstechnik Beweis des Hauptsatzes Schritt 1: der Plan vollständige Induktion was sonst 23 / 27
45 Der Hauptsatz der Präsentationstechnik Beweis des Hauptsatzes Schritt 2: Induktionsanfang n = 0 Zeige: Wenn 0 1, dann ist ein Vortrag mit 0 Folien zu lang. Beweis: trivialerweise wahr, da 0 1 falsch ist. 24 / 27
46 Der Hauptsatz der Präsentationstechnik Beweis des Hauptsatzes Schritt 3: Induktionsvoraussetzung für ein beliebiges aber festes n gelte: Wenn n 1, dann ist ein Vortrag mit n Folien zu lang. 25 / 27
47 Der Hauptsatz der Präsentationstechnik Beweis des Hauptsatzes Schritt 4: Induktionsschluss Zeige: Wenn n + 1 1, dann ist ein Vortrag mit n + 1 Folien zu lang. Beweis: Nach Induktionsvoraussetzung sind n Folien schon zu viel. n + 1 Folien sind mehr als n Folien. Also sind n + 1 Folien auch zu viel. 26 / 27
48 Der Hauptsatz der Präsentationstechnik Beweis des Hauptsatzes Schritt 5: Fehlersuche irgendwas stimmte da nicht... \hyperlink{zurueckvonhauptsatz}{% \beamerreturnbutton{zurück zum Thema}} zurück zum Thema 27 / 27
Thomas Worsch. Wintersemester 2014/2015
LaTEX, beamer, tikz und Co. LaTEX, beamer, tikz und Co. 16. Das beamer Paket statische Aspekte Thomas Worsch Fakultät für Informatik Karlsruher Institut für Technologie Wintersemester 2014/2015 1 / 26
WIE ERSTELLE ICH EINE PRÄSENTATION MIT LATEX
WIE ERSTELLE ICH EINE PRÄSENTATION MIT LATEX Anja Wiedemann January 6, 2009 Anja Wiedemann () Wie erstelle ich eine Präsentation mit LaTeX January 6, 2009 1 / 13 OUTLINE 1 GRUNDLEGENDE BEFEHLE Dateikopf
Wissenschaftliches Arbeiten mit L A TEX
Wissenschaftliches Arbeiten mit L A TEX Präsentationen c b a Daniel Borchmann 20. Dezember 2016 https://algebra20.de/dl16 Hochschulgruppe für Freie Software und Freies Wissen https://fsfw-dresden.de Ziel
Einführung in die Latex-Beamer-Class
[email protected] Universität Siegen Journal-Club Siegen, den 16. März 2006 Gliederung 1 Grundstrukturen Struktur des Vortrags 2 Einführung Frames Einführung Slides 3 Präambel Grundstrukturen
Präsentation erstellen mit L A TEX und beamer
Präsentation erstellen mit L A TEX und beamer Adelheid Grob, Ulm http://heidi.in-ulm.de DANTE-Tagung 2009 in Wien Präsentation erstellen mit L A TEX und beamer Adelheid Grob, Ulm http://heidi.in-ulm.de
12. Verweise. Thomas Worsch. Wintersemester 2016/2017
LATEX, beamer, tikz und Co. LATEX, beamer, tikz und Co. 12. Verweise Thomas Worsch Fakultät für Informatik Karlsruher Institut für Technologie Wintersemester 2016/2017 1 / 29 Automatische Nummerierung
Präsentationen mit LATEX
er L A TEX Humboldt-Universität zu Berlin Proseminar 19.06.2006 er 1 er 2 3 4 5 von L A TEX gegenüber Powerpoint er schnelle von portables Dateiformat guter mathematischer Formelsatz von Beamer-Folien
L A TEX-Einführungskurs
L A TEX-Einführungskurs Präsentationen mit Beamer Paul Fink Eva Endres Institut für Statistik, LMU München 14. Oktober 2016 1 / 37 Warum L A TEX für Präsentationen...... wenn doch die Stärke von L A TEX
Programmierumgebungen und Präsentationstechniken
Programmierumgebungen und Präsentationstechniken René Lamour 26. Juni 2015 Lehrevaluation SS 2015 (bis 4.7.15) Unter dem Link https://evaluation.hu-berlin.de/ finden Sie den Einstieg zur Eingabe. Das Passwort
18:00 Uhr Einführung 19:00 Uhr Abschlussarbeiten setzen 21:00 Uhr Zeichnen mit TikZ 22:00 Uhr Präsentationen mit BEAMER
Johannes und Malte auf der MetaNook 2015 18:00 Uhr Einführung 19:00 Uhr Abschlussarbeiten setzen 21:00 Uhr Zeichnen mit TikZ 22:00 Uhr mit Ziele dieses Vortrags 1. verwenden können. 2. Vor- und Nachteile
L A TEX, Linux, Python
L A TEX, Linux, Python Daniel Borchmann, Tom Hanika, Maximilian Marx 27. November 2014 cba Präsentationen mit L A TEX Ziel dieses Abschnittes Erstellung von Präsentationen mit LATEX-beamer Vieles, was
Bildschirmpräsentationen mit L A TEX-Beamer
Bildschirmpräsentationen mit L A TEX-Beamer Severin Neumann Uni Passau, IEEE Student Branch 5. Juni 2008 Inhalt 1 Kurzer Überblick 2 Erster Einblick 3 Mehr Durchblick 4 Schöner Anblick 5 Schneller Ausblick
Präsentationen mit der L A TEX-Beamer-Klasse
Präsentationen mit der L A TEX-Beamer-Klasse studentische Informatik-Tage 2006 http://sit.projectai.org Georg-August-Universität Göttingen Lizenziert unter Creative Commons (Attribution-NonCommercial-ShareAlike
Folien im Corporate Design der TU Clausthal
Folien im Corporate Design der TU Clausthal Die L A T E X-Klasse beamer mit dem TUC-Theme D. Wäsch, Institut für Mathematik 19. Oktober 2005 Institut für Mathematik 1 Gliederung Einführung Nummerierungen
Präsentationen mit L A TEX
Präsentationen mit L A TEX www.namsu.de Version 0.95 30. Dezember 2005 30. Dezember 2005 1 / 32 Übersicht 1 2 3 4 Referezen 30. Dezember 2005 2 / 32 L A TEX Dokumententyp Dokumententyp \documentclass[optionen]{beamer}
Präsentationen mit dem L A T E X Beamer Package
Präsentationen mit dem L A T E X Beamer Package Dominik Kaaser Michael Kleber VP Wissenschaftliche Arbeiten und Präsentation 26. Jänner 2007 1 2 3 Theme-Typen Beispiele beamer: L A T E X-Klasse zum Kreieren
Einführung in LATEX. Präsentationen mit beamer. Thomas Rohkämper. 10. März Fakultät für Mathematik, TU Dortmund.
Einführung in L A TEX Präsentationen mit beamer Fakultät für Mathematik, TU Dortmund 10. März 2011 Inhalt 1 2 3 4 5 6 Quellcode \documentclass{beamer} \usepackage[ngerman]{babel} \usepackage[utf8]{inputenc}
Präsentation mit dem Paket Beamer
Präsentation mit dem Paket Beamer L A TEX BOK Kurs 22. Januar 2009 Gliederung I 1 Grundlagen Ein ganz einfaches Beispiel Ein eigentlich ausreichendes Beispiel 2 Weitere wichtige Elemente Stilvorlagen Gliederung
Kurzeinführung in Beamer Präsentationen mit LaTeX
Kurzeinführung in Beamer Präsentationen mit LaTeX Werner Robitza, April 2010 2010 W. Robitza Ablauf Worum geht es? Präsentationen können in Beamer erstellt werden Freiwilliger Vortrag Teil 1: Einführung
Grundbegriffe der Informatik Kapitel 3: Mengen, Alphabete, Abbildungen
Grundbegriffe der Informatik Kapitel 3: Mengen, Alphabete, Abbildungen Thomas Worsch KIT, Institut für Theoretische Informatik Wintersemester 2015/2016 GBI Grundbegriffe der Informatik KIT, Institut für
Das Textsatzsystem LATEX
Einführung Präsentationen Dokumentationen Das Textsatzsystem L A TEX Linux User Group Tübingen 6. Juni 2006 Einführung Präsentationen Dokumentationen Übersicht 1 Einführung in TEX/L A TEX Einleitung Erste
Warum LAT E X-Beamer Anwendung Tips L A TEX-BEAMER. Andreas Tille. Debian. 7. Linuxtage Chemnitz, 3. März 2007 LAT E X-BEAMER
Warum LAT E X-Beamer Anwendung Tips L A TEX-BEAMER Debian 7. Linuxtage Chemnitz, 3. März 2007 ÜBERBLICK Warum LAT E X-Beamer Anwendung Tips 1 WARUM L A TEX-BEAMER Gründe Alternativen 2 ANWENDUNG Dokumentation
Grundbegriffe der Informatik
Grundbegriffe der Informatik Einheit 4: Wörter (und vollständige Induktion) Thomas Worsch Universität Karlsruhe, Fakultät für Informatik Oktober 2008 1/29 Überblick Wörter Wörter Das leere Wort Mehr zu
LaTex - ein Überblick. Algorithmen und Datenstrukturen WS 06/07
LaTex - ein Überblick LaTex Beispiele teilweise aus: Praktisches LATEX eine Einführung (LaTex-Einführung: Lbuch.pdf) Informationen zur Installation auf der Webseite zu Algodat (z. B. Gesamtsystem inkl.
Grundbegriffe der Informatik
Grundbegriffe der Informatik Einheit 18: Logik Thomas Worsch Universität Karlsruhe, Fakultät für Informatik Wintersemester 2008/2009 1/35 Überblick Formeln in Prädikatenlogik erster Stufe Theorien und
LATEX Beamer Kurs. Hans-Georg Menz. 22. November 2005. Fakultät für Rechtswissenschaften. Fakultät für Informatik
L A T E X Beamer Kurs Fakultät für Rechtswissenschaften Fakultät für Informatik 22. November 2005 Weitere Software Gliederung 1 Allgemeines zu L A TEX 2 L A TEX-Grundlagen 3 4 Weitere Software T E X und
Kapitel 1. Grundlegendes
Kapitel 1 Grundlegendes Abschnitt 1.4 Vollständige Induktion Charakterisierung der natürlichen Zahlen Die Menge N 0 = {0, 1, 2, 3,...} der natürlichen Zahlen läßt sich wie folgt charakterisieren: 1. 0
Induktion und Rekursion
Induktion und Rekursion Induktion und Rekursion Vorkurs Informatik Theoretischer Teil WS 013/14. Oktober 013 Vorkurs Informatik WS 013/14 1/1 Vollständige Induktion Vorkurs Informatik WS 013/14 /1 Ziel
Gebrauchsanweisung für Folientemplate. Michael Ebert HWS 2014
Gebrauchsanweisung für Folientemplate Michael Ebert HWS 2014 Inhalt 2 1 Bevor es losgeht... Installation Voreinstellungen 2 Gliederung des Foliensatzes Folien und Folientitel Hervorhebungen Overlays 3
Vollständige Induktion
30. September 008 Gliederung 1 3 4 Gliederung 1 3 4 Gliederung 1 3 4 Gliederung 1 3 4 Die Peano Axiome für die Menge der Natürlichen Zahlen N I. 0 ist eine natürliche Zahl, d.h. 0 N. II. Jede natürliche
Vollständige Induktion
30. September 008 Gliederung 1 3 4 Die Peano Axiome für die Menge der Natürlichen Zahlen N I. 0 ist eine natürliche Zahl, d.h. 0 N. II. Jede natürliche Zahl hat genau einen Nachfolger d.h. n : (n N! n
18. Dokumente auf mehrere Dateien verteilt. Thomas Worsch. Wintersemester 2015/2016
LATEX, beamer, tikz und Co. LATEX, beamer, tikz und Co. 18. Dokumente auf mehrere Dateien verteilt Thomas Worsch Fakultät für Informatik Karlsruher Institut für Technologie Wintersemester 2015/2016 1 /
Vollständige Induktion
Vollständige Induktion Aussageformen mit natürlichen Zahlen als Parametern kann man mit vollständiger Induktion beweisen. Ist A(n) eine von n N abhängige Aussage, so sind dazu die folgenden beiden Beweisschritte
Grundbegriffe der Informatik
Grundbegriffe der Informatik Einheit 6: formale Sprachen Thomas Worsch Karlsruher Institut für Technologie, Fakultät für Informatik Wintersemester 2009/2010 1/18 Überblick Formale Sprachen Formale Sprachen
92. Schriften. Thomas Worsch. Wintersemester 2014/2015
LATEX, beamer, tikz und Co. LATEX, beamer, tikz und Co. 92. Schriften Thomas Worsch Fakultät für Informatik Karlsruher Institut für Technologie Wintersemester 2014/2015 1 / 12 Überblick Encodings and Fonts
LaTeX-Einführungskurs für die Sekretärinnen am Dpt. Mathematik. Modul 1 - Erstellung eines Übungsblattes
LaTeX-Einführungskurs für die Sekretärinnen am Dpt. Mathematik Tobias Iffland & Torben Steckelberg 21. Juni 2007 Modul 1 - Erstellung eines Übungsblattes 1 Was sind Befehle? Es gibt 3 verschiedene Arten
Einführung in das Textsatzsystem L A TEX. Vorläufige Version
Einführung in das Textsatzsystem L A TEX Präsentationen mit beamer Moritz Brinkmann [email protected] Vorläufige Version 20. Januar 2017 Übersicht 1 Präsentationen mit beamer 2 Multimedia
Diskrete Mathematik. Sebastian Iwanowski FH Wedel. Kapitel 3: Beweisverfahren
FH Wedel Prof. Dr. Sebastian Iwanowski DM3 Folie 1 Referenzen zum Nacharbeiten: Diskrete Mathematik Sebastian Iwanowski FH Wedel Kapitel 3: Beweisverfahren Meinel 3, 6, 7 Lang 4.1 (nur bis S. 43), 2.2
Grundbegriffe der Informatik Musterlösung zu Aufgabenblatt 2. Jeder Frosch ist glücklich, wenn alle seiner Kinder quaken können.
Aufgabe 2.1 (3 Punkte) Gegeben sind folgende Aussagen: Grundbegriffe der Informatik Musterlösung zu Aufgabenblatt 2 Jeder Frosch ist glücklich, wenn alle seiner Kinder quaken können. Alle grünen Frösche
Grundbegriffe der Informatik
Grundbegriffe der Informatik Einheit 4: Wörter und vollständige Induktion Thomas Worsch Karlsruher Institut für Technologie, Fakultät für Informatik Wintersemester 2009/2010 1/41 Überblick Wörter Wörter
Präsentationen in LaTeX mit der beamer-klasse
LaTeX-Stammtisch Thomas Benkert Präsentationen in LaTeX mit der beamer-klasse Eine Kurzeinführung Freiberg 17. Dezember 2015 2/9 Thomas Benkert: Präsentationen in LaTeX mit der beamer-klasse Inhaltsverzeichnis
Formale Sprachen und Automaten
Formale Sprachen und Automaten Kapitel 3: Regular Expressions Vorlesung an der DHBW Karlsruhe Thomas Worsch Karlsruher Institut für Technologie, Fakultät für Informatik Wintersemester 2012 Kapitel 3 Regular
logo.jpg Einführung in LaTeX FH Frankfurt B.Adoualy
logo.jpg Einführung in LaTeX FH Frankfurt B.Adoualy Textverarbeitung n Textformatierungssprachen n What You See Is What You Get n z.b. LaTeX n z.b. Microsoft Word Formatierung vs. WYSIWYG n Formatierungssprachen
Logik für Informatiker Logic for computer scientists
Logik für Informatiker Logic for computer scientists Till Mossakowski Wintersemester 2014/15 Till Mossakowski Logik 1/ 24 Die Booleschen Junktoren Till Mossakowski Logik 2/ 24 Die Negation Wahrheitstafel
Schlüsselqualifikation Präsentieren
Schlüsselqualifikation Präsentieren Vortragen von Mathematik mit der BEAMER-Klasse Dirk Lorenz Zentrum für Technomathematik - Universität Bremen Winterseminar Uttendorf 13. Februar 2005 Überblick Inhalt
Grundbegriffe der Informatik
Grundbegriffe der Informatik Einheit 3: Alphabete, Abbildungen, Aussagenlogik Thomas Worsch Karlsruher Institut für Technologie, Fakultät für Informatik Wintersemester 2010/2011 1/32 Überblick Alphabete
Vollständige Induktion
Seite 1 Klaus Messner, [email protected] Seite 2 Problem: Problem Man hat eine Aussage (z.b. eine Formel) und soll zeigen, dass diese Aussage für alle natürlichen Zahlen gilt. Beispiel: Es soll gezeigt
Tutorium 1: Wissenschaftliche Arbeiten und Präsentationen mit L A TEX erstellen
Tutorium 1: Wissenschaftliche Arbeiten und Präsentationen mit L A TEX erstellen für die Teilnehmer/innen der Seminare und des Abschlussarbeiten-Kolloquiums der AG-Augustin im Wintersemester 2014/15 Paul
Einführung in L A TEX
Einführung in L A TEX Oliver Rabe, Jonas Schweichhart, Felix Korfmacher 8. Oktober 2014 Inhaltsverzeichnis Grundsätzliches Der Anfang Das Umgebungskonzept Konventionen Sonstiges Grundsätzliches Was ist
Grundlagen der Informatik Vorlesungsskript
Grundlagen der Informatik Vorlesungsskript Prof. Dr. T. Gervens, Prof. Dr.-Ing. B. Lang, Prof. Dr. F.M. Thiesing, Prof. Dr.-Ing. C. Westerkamp 16 AUTOMATISCHES ÜBERSETZEN VON PROGRAMMEN MIT MAKE... 2 16.1
2. Grobstruktur von Dokumenten. Thomas Worsch. Wintersemester 2016/2017
LATEX, beamer, tikz und Co. L A TEX, beamer, tikz und Co. 2. Grobstruktur von Dokumenten Thomas Worsch Fakultät für Informatik Karlsruher Institut für Technologie Wintersemester 2016/2017 1 / 29 Allgemeines
Vollständige Induktion
Angenommen, wir wollen zeigen, dass eine Aussage P(n) für alle n N wahr ist. Anders ausgedrückt: Es gilt n N : P(n) Hierzu können wir die Technik der vollständigen Induktion verwenden. Wir zeigen, dass
Präsentationen mit L A TEX-Beamer
Präsentationen mit L A TEX-Beamer LATEX-Kurs der Unix-AG Oliver Maschino 13. Juni 2007 Mit freundlicher Unterstützung des AStAs der TU Kaiserslautern Einführung Einführung Installation Struktur Grundsätzlicher
LaTeX und BibTeX 0 / 20
LaTeX und BibTeX 0 / 20 1 Was ist LaTeX? 2 LaTeX Grundlagen 3 Listen, Tabellen und Bilder 4 Formeln mit AMS-LaTeX 5 Verzeichnisse mit LaTeX 6 Literaturverzeichnis mit BibTeX 7 Die DBS LaTex Vorlage 8 Nützliche
Logik für Informatiker
Logik für Informatiker 1. Grundlegende Beweisstrategien: Noethersche Induktion 23.04.2012 Viorica Sofronie-Stokkermans Universität Koblenz-Landau e-mail: [email protected] 1 Letzte Vorlesung 1. Grundlegende
Das Volumen und die Oberfläche einer n-dimensionalen Kugel
Das Volumen und die Oberfläche einer n-dimensionalen Kugel Alois Temmel 6. Februar 14 c 14, A. Temmel Inhaltsverzeichnis 1 Die Volumenformel 3 1.1 Die n-dimensionale Kugel.................... 3 1.1.1 Die
Logik für Informatiker
Vorlesung Logik für Informatiker 3. Aussagenlogik Syntax und Semantik der Aussagenlogik Bernhard Beckert Universität Koblenz-Landau Sommersemester 2006 Logik für Informatiker, SS 06 p.16 Syntax der Aussagenlogik:
Übungspaket 23 Mehrdimensionale Arrays
Übungspaket 23 Mehrdimensionale Arrays Übungsziele: Skript: Deklaration und Verwendung mehrdimensionaler Arrays Kapitel: 49 Semester: Wintersemester 2016/17 Betreuer: Kevin, Matthias, Thomas und Ralf Synopsis:
Grundbegriffe der Informatik Tutorium 2
Grundbegriffe der Informatik Tutorium 2 Tutorium Nr. 32 Philipp Oppermann 13. November 2013 KARLSRUHER INSTITUT FÜR TECHNOLOGIE KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum
Induktion und Rekursion
Mathematische Beweistechniken Vorkurs Informatik SoSe13 10. April 013 Mathematische Beweistechniken Ziel Mathematische Beweistechniken Ziel beweise, dass eine Aussage A(n) für alle n N gilt. Beispiel Für
2. Grobstruktur von Dokumenten. Thomas Worsch. Wintersemester 2017/2018
LATEX, beamer, tikz und Co. L A TEX, beamer, tikz und Co. 2. Grobstruktur von Dokumenten Thomas Worsch Fakultät für Informatik Karlsruher Institut für Technologie Wintersemester 2017/2018 1 / 29 Allgemeines
Strukturierung und Referenzen in L A T E X
Strukturierung und Referenzen in L A T E X Markus Severitt Fakultät für Mathematik Universität Bielefeld L A T E X in der Mathematik Markus Severitt (Uni Bielefeld) Strukturierung und Referenzen in LAT
L A TEX HSD. Refs und Labels. 10. Mai Prof. Dr. Alexander Braun // Wissenschaftliche Texte mit LaTeX // SS 2016
L A TEX Refs und Labels Wiederholung Programmieren Programmieren \setlength{\parindent}{0pt} \setlength{\parskip}{0.5\baselineskip} Variablentyp Länge mit Wert und Einheit. Relative und absolute Angaben
Grundlagen der Programmierung in C++ Kontrollstrukturen
Block Keine Kontrollstruktur im eigentlichen Sinn Grundlagen der Programmierung in C++ Kontrollstrukturen Wintersemester 2005/2006 G. Zachmann Clausthal University, Germany [email protected] Dient
Übung Grundbegriffe der Informatik
Übung Grundbegriffe der Informatik 15. und letzte Übung Karlsruher Institut für Technologie Matthias Janke, Gebäude 50.34, Raum 249 email: matthias.janke ät kit.edu Matthias Schulz, Gebäude 50.34, Raum
Grundbegriffe der Informatik
Grundbegriffe der Informatik Einheit 15: Reguläre Ausdrücke und rechtslineare Grammatiken Thomas Worsch Karlsruher Institut für Technologie, Fakultät für Informatik Wintersemester 2010/2011 1/47 Was kann
Übungspaket 9 Logische Ausdrücke
Übungspaket 9 Logische Ausdrücke Übungsziele: Skript: 1. Umgang mit logischen Vergleichs- und Verknüpfungsoperatoren 2. Bilden einfacher und komplexer logischer Ausdrücke Kapitel: 22 Semester: Wintersemester
1 Übersicht Induktion
Universität Koblenz-Landau FB 4 Informatik Prof. Dr. Viorica Sofronie-Stokkermans Dipl.-Inform. Markus Bender 0.11.01 (v1.3) 1 Übersicht Induktion 1.1 Allgemeines Unter einem induktiven Vorgehen versteht
Vorkurs Beweisführung
Vorkurs Beweisführung Fachschaft Mathematik und Informatik 30.08.2013 Agenda 1 Einleitung 2 Direkter Beweis 3 Widerspruchsbeweis 4 Vollständige Induktion 5 Aussagen widerlegen 6 Gleichheit von Mengen 7
Einführung in die Logik
Einführung in die Logik Klaus Madlener und Roland Meyer 24. April 2013 Inhaltsverzeichnis 1 Aussagenlogik 1 1.1 Syntax................................. 1 1.2 Semantik............................... 3 1.3
Theorie der Informatik
Theorie der Informatik 2. Beweistechniken Malte Helmert Gabriele Röger Universität Basel 18. Februar 2015 Beweis Beweis Ein Beweis leitet die Korrektheit einer mathematischen Aussage aus einer Menge von
Fachwissenschaftliche Grundlagen
Fachwissenschaftliche Grundlagen Vorlesung im Wintersemester 2011/2012, Universität Landau Roland Gunesch 8. Vorlesung Roland Gunesch (Mathematik) Fachwissenschaftliche Grundlagen 8. Vorlesung 1 / 25 Themen
Beweistechniken. Beweistechniken. Vorsemesterkurs Informatik Theoretischer Teil Wintersemester 2013/ Oktober Vorsemesterkurs WS 2013/1
Beweistechniken Beweistechniken Vorsemesterkurs Informatik Theoretischer Teil Wintersemester 2013/14 7. Oktober 2013 Beweistechniken > Motivation Wozu Beweise in der Informatik?... um Aussagen wie 1 Das
Permutationen und symmetrische Gruppe
Permutationen und symmetrische Gruppe Für eine beliebige Menge M bilden die Bijektionen von M in M, versehen mit der Komposition von Abbildungen als Operation, eine Gruppe, die sogenannte symmetrische
Lösungsvorschläge und Erläuterungen Klausur zur Vorlesung Grundbegriffe der Informatik 15. September 2016
Lösungsvorschläge und Erläuterungen Klausur zur Vorlesung Grundbegriffe der Informatik 15. September 2016 Klausurnummer Nachname: Vorname: Matr.-Nr.: Diese Klausur ist mein 1. Versuch 2. Versuch in GBI
Übungspaket 23 Mehrdimensionale Arrays
Übungspaket 23 Mehrdimensionale Arrays Übungsziele: Skript: Deklaration und Verwendung mehrdimensionaler Arrays Kapitel: 49 Semester: Wintersemester 2016/17 Betreuer: Kevin, Matthias, Thomas und Ralf Synopsis:
