Hi, ich bin Sebastian, Mathematiker und IT-Wissenschaftler. Seit vielen Jahren bin ich im IT-Bereich tätig, sowohl in Wirtschaft und Wissenschaft. Neben der Informatik und der Mathematik liebe ich es, meine Erfahrungen zu teilen und Menschen zu begeistern. Auf diesem Kanal möchte ich allen Interessierten, z.B. Studienanfängern oder zukünftigen Coden, Einblicke in die (wissenschaftlichen) Grenzen der Informatik und Mathematik sowie die Auswirkungen auf unsere Wirtschaft und Gesellschaft geben ...
Allgemeine Informationen zum Departement Informatik der Fernfachhochschule Schweiz
Podcast zur Österreichischen Woche der Informatik 2007. Vielen Dank an David Schombert für den Jingle
4
40 Jahre Fakultät für Informatik


1
40 Jahre Fakultät für Informatik
Karlsruher Institut für Technologie (KIT)
40 Jahre Fakultät für Informatik
G
Grundlagen der Logik in der Informatik 2017/2018 (HD 1280)


1
Grundlagen der Logik in der Informatik 2017/2018 (HD 1280)
Prof. Dr. Lutz Schröder
G
Grundbegriffe der Informatik, Vorlesung, WS16/17


1
Grundbegriffe der Informatik, Vorlesung, WS16/17
Karlsruher Institut für Technologie (KIT)
Grundbegriffe der Informatik, Vorlesung, WS16/17
T
Theoretische Grundlagen der Informatik, Vorlesung, WS16/17


1
Theoretische Grundlagen der Informatik, Vorlesung, WS16/17
Karlsruher Institut für Technologie (KIT)
Theoretische Grundlagen der Informatik, Vorlesung, WS16/17
I
Informatik Vorkurs V4, Vorlesung, WS16-17

1
Informatik Vorkurs V4, Vorlesung, WS16-17
Karlsruher Institut für Technologie (KIT)
Informatik Vorkurs V4, Vorlesung, WS16-17
N
Numerische Mathematik für die Fachrichtungen Informatik und Ingenieurwesen, Vorlesung, SS2015


1
Numerische Mathematik für die Fachrichtungen Informatik und Ingenieurwesen, Vorlesung, SS2015
Karlsruher Institut für Technologie (KIT)
Numerische Mathematik für die Fachrichtungen Informatik und Ingenieurwesen, Vorlesung, SS2015
B
BEDAG INFORMATIK: BESONDERES UNTERNEHMEN


1
BEDAG INFORMATIK: BESONDERES UNTERNEHMEN
Daniela Burkhard, Bruno Schori, Marc Jäggi
Das Berner Informatikunternehmen Bedag AG ist ein ganz besonderes Unternehmen. Es fokussiert seine Dienstleistungen auf den öffentlich-rechtlichen Bereich, vornehmlich im Kanton Bern. 80 Prozent seiner Dienstleistungen erbringt es für den Kanton und somit für die Bernerinnen und Berner. Kein Wunder, ist die Bedag so etwas wie der digitale Herzschlag von Bern. Bei der Bedag können Tekkies aber auch besonderes unternehmen. Hier werden keine Fancy-Apps gebaut, sondern nützliche Anwendungen und ...
I
Informatik mit Prof. Sebastian


1
Das Hochstapler-Syndrom und deine IT Karriere
28:35
28:35
Main Kemudian
Main Kemudian
Senarai
Suka
Disukai
28:35
Hast du Selbszweifel beim Studium, bei der Job Bewerbung oder der Arbeit etc.? Wer kennt das nicht? :-) Lasst uns in diesem Podcast ehrlich schauen, wie uns das Impostor-Syndrom einschränkt. Ich habe einige Jobbeschreibungen gelesen und anhand dieser Beispiele zeige ich dir, wie man bei der Jobbewerbung mehr Selbstbewusstsein entwickeln kann. Das V…
I
Informatik mit Prof. Sebastian


1
Die Qual der Wahl | Informatikstudium, Bachelor, Master | Promotion
32:52
32:52
Main Kemudian
Main Kemudian
Senarai
Suka
Disukai
32:52
Hi! Hier kommt ein Podcast zum Thema "Soll ich Informatik studieren? Loht sich das?" Ich weiß, es gibt schon viele Beiträge zu diesem Thema... und jetzt kommt noch einer dazu :-) Hier versuche ich - fokussiert auf Deine anschließende IT-Karriere - über Informatikbildungswege zu sprechen. Es soll hier generell um den Sinn des Informatikstudiums gehe…
I
Informatik mit Prof. Sebastian


1
Thema finden für die Forschung, Informatik Promotion
36:20
36:20
Main Kemudian
Main Kemudian
Senarai
Suka
Disukai
36:20
Hi! Heute tauchen wir wieder in die akademische Informatikkarriere ein. Du hast vor, Doktor in Informatik zu werden und musst ein Thema für Deine Forschung finden? Zugegeben, das kann ziemlich kompliziert werden. Man bekommt häufig den Eindruck, dass alles schon erforscht sei :-) Hier gebe ich Dir Tipps, wie man Schritt für Schritt eine grobe Richt…
I
Informatik mit Prof. Sebastian


1
Zukunft der Softwareentwicklung, Low Code, JetBrains, GitHub
18:15
18:15
Main Kemudian
Main Kemudian
Senarai
Suka
Disukai
18:15
Hi! Hast Du Dir vor, Softwareentwickler/in zu werden? Und fragst Du Dich wie zukunftssicher der Job ist, und wie er sich verändert? Dann bist Du hier genau richtig. Heute geht's um die Zukunft der Softwareentwicklung. Ich erzähle, welche Trends es in dieser IT Branche gibt und wie sie sich auf ihre Prozesse auswirken. Der Schwerpunkt meiner Ausführ…
I
Informatik mit Prof. Sebastian


1
Softwareentwicklung: Virtualisierung, Container, Kubernetes
18:26
18:26
Main Kemudian
Main Kemudian
Senarai
Suka
Disukai
18:26
Hi! Hast Du Fragen zu Virtualisierung, Container oder Kubernetes? Warum sind sie überhaupt so wichtig bei der Softwareentwicklung? In diesem Podcast erkläre ich das kurz und mit Beispielen. Das Video zum Podcast: https://youtu.be/d8abKMeElxEOleh Sebastian
I
Informatik mit Prof. Sebastian


1
Womit beschäftigt sich ein Professor? Meine Pläne
40:04
40:04
Main Kemudian
Main Kemudian
Senarai
Suka
Disukai
40:04
Hi! Hier ist ein Update Video von mir :-) Es geht darum, womit ich mich als Professor beschäftige: meine Initiative im Lehrgang, Vorlesungsvorbereitung, mein Forschungsprojekt und meine Pläne. Ich teile auch mit Euch, was mir manchmal schwerfällt. Viel Spaß! _________________________ Das Video zum Podcast: https://youtu.be/d4Ge_vKG8VQ…
I
Informatik mit Prof. Sebastian


1
Big Data erklärt. Daten - Sammlung, Speicherung und Verwaltung
17:15
17:15
Main Kemudian
Main Kemudian
Senarai
Suka
Disukai
17:15
Hi! Hast Du Fragen zu Big Data? In diesem Podcast erkläre ich Dir was hinter diesem Buzzword steckt. Wir beantworten Fragen wie z.B. wozu sammelt man überhaupt Daten (aus Kunden- und Unternehmensperspektive), wie wird Big Data gespeichert und wie kann man sie effizient bearbeiten. Ich werfe auch einen Blick auf Hadoop und Spark. Am Ende siehst Du, …
I
Informatik mit Prof. Sebastian


1
Was ist eigentlich Deep Learning, Data Science, Data Engineering und Machine Learning?
18:56
18:56
Main Kemudian
Main Kemudian
Senarai
Suka
Disukai
18:56
Hi! Heute geht's um unsere Superbegriffe und die Realität dahinter :-) Wir untersuchen Data Science, Machine Learning, Deep Learning und Data Engineering. Ich erkläre kurz und mit Beispielen was sie bedeuten und was die Unterschiede sind. Danach zeige ich Dir wie sie in der Praxis miteinander verbunden sind. Viel Spaß! ________________________ Das …
I
Informatik mit Prof. Sebastian


1
Informatik Karriere? Wissenschaft oder Wirtschaft?
30:26
30:26
Main Kemudian
Main Kemudian
Senarai
Suka
Disukai
30:26
In diesem Podcast spreche ich darüber, wie der wissenschaftliche Karriereweg über die Promotion (Erlangung der Doktorwürde) in Deutschland funktioniert. Ich gehe dabei auf Beweggründe, Vor- und Nachteile und mögliche Hindernisse ein. Außerdem spreche ich über die Wahl des Forschungsthemas, den Ablauf, die Rolle des Betreuers und werfe einen Blick h…
I
Informatik mit Prof. Sebastian


1
Warum ist Softwareentwicklung schwer?
8:55
8:55
Main Kemudian
Main Kemudian
Senarai
Suka
Disukai
8:55
Hi! Möchtest Du Softwareentwickler werden? Der IT-Markt boomt. Er ist voll mit Lern- und Job-Angeboten. Jeder verspricht, dass Du mit deren Kurs, Bootcamp oder Tutorials innerhalb weniger Wochen Softwareentwicklung erlernen kannst. Ist es so? Einerseits, kann man Programmierprinzipien innerhalb relativ kurzer Zeit gut verstehen. Aber die schwierige…
I
Informatik mit Prof. Sebastian


1
Doktor in Informatik, Promotion, Insider Tipps
25:04
25:04
Main Kemudian
Main Kemudian
Senarai
Suka
Disukai
25:04
Möchtet Ihr mehr wissen, wie man den Doktor in Informatik erlangt? Hier kommen ein paar Insider-Tipps über die Promotion. Ich erzähle auch wie man das passende Thema für die Doktorarbeit findet - alles von "keine Ahnung" bis zum ausgefeilten Thema. Ich beleuchte auch die unterschiedlichen Gefühle, die in den jeweiligen Phasen dieser intensiven und …
I
Informatik mit Prof. Sebastian


1
Was erwartet Softwareentwickler beim Vorstellungsgespräch?
14:00
14:00
Main Kemudian
Main Kemudian
Senarai
Suka
Disukai
14:00
Hi! Heute geht's wieder um die Karriere im IT-Bereich, nämlich das Vorstellungsgespräch. Dieser Podcast ist besonders nützlich für Leute, die sich für Software Engineering Stellen bewerben (Softwareentwicklung, Data Science, Machine Learning, IT Security). Ich berichte über Trends vom IT-Job Markt und was man vom Interview erwarten kann (u.a. Frage…
I
Informatik mit Prof. Sebastian


1
Der Weg zur Professur | Informatik | Wissenschaftliche Karriere
36:35
36:35
Main Kemudian
Main Kemudian
Senarai
Suka
Disukai
36:35
Hi! Heute geht's um die Professur. Hast Du Dir vielleicht auch diese Frage gestellt: Welche Wege gibt es, um Professor/Professorin zu werden? Wie kann man sich in der Wissenschaftswelt einen guten Nahmen erarbeiten? Wie viele Publikationen sollte man hervorbringen? Was geschieht während der Habilitation? Antworten darauf findest Du in diesem Podcas…
I
Informatik mit Prof. Sebastian


1
Softwareentwicklung | Mac, Windows oder Linux?
14:12
14:12
Main Kemudian
Main Kemudian
Senarai
Suka
Disukai
14:12
Hi! Hast Du vor, Dir einen Rechner, Laptop oder Tablet für Softwareentwicklung zuzulegen? Welche Anforderungen sollte das Gerät erfüllen? Und was ist nun eigentlich besser, MacOS, Linux oder Windows? In diesem Podcast geht's um alle drei Betriebsysteme, deren Vorteile und Einschränkungen. Viel Spaß! ___________________ Video zum Podcast: https://ww…
I
Informatik mit Prof. Sebastian


1
Big Tech Karriere | Bewerbung bei GAFA
32:25
32:25
Main Kemudian
Main Kemudian
Senarai
Suka
Disukai
32:25
Ist es wirklich nur für die Klügsten? Kann man sich mehrmals bewerben oder hat man nur diese eine Chance? Strategischer Weg für Quereinsteiger? Wie kann ich mich auf Coding Challenges vorbereiten? Was wird bei nachfolgenden Interviews verlangt? Wie interagiere ich am besten mit den Interviewern? Welche Besonderheiten gibt es bei Google und AWS Bewe…
B
BEDAG INFORMATIK: BESONDERES UNTERNEHMEN


1
Informatikerin oder Informatiker EFZ bei der Bedag werden
10:30
10:30
Main Kemudian
Main Kemudian
Senarai
Suka
Disukai
10:30
Nicht lange studieren: Mit dem zweijährigen Way-up in der IT Karriere machen Der zweijährige Way-up ist die Erfolgsspur für junge Menschen, die nach dem "Gymer" genug von der Schulbank haben und endlich beruflich durchstarten wollen. Oder die im Verlauf ihres Studiums gemerkt haben, dass die Uni doch nicht das Richtige ist. Die Bedag bildet sorgfäl…
Der CEO der Bedag Informatik AG über die Zukunft des Unternehmens. Auf die Frage von Podcaster Marc Jäggi, woher er auch nach 10 Bedag-Jahren seine Motivation und seine Energie hernimmt, verrät Fred Wenger sein verblüffend einfaches Rezept: „Bei der beruflichen Weichenstellung auch auf sein Herz hören.“ Ein Ratschlag, den er auch heute noch jungen …
B
BEDAG INFORMATIK: BESONDERES UNTERNEHMEN


1
Ein Job bei der Bedag? Tönt gut!
21:21
21:21
Main Kemudian
Main Kemudian
Senarai
Suka
Disukai
21:21
Mit HR-Chefin Daniela Burkhard auf einen informativen Rundgang durch die Bedag. Die Bedag Informatik AG ist ein besonderes Unternehmen, bei welchem sich besonderes unternehmen lässt. Das Berner Informatikhaus sorgt für nützliche Informatiklösungen für die Bernerinnen und Berner und dafür, dass deren Daten sicher sind. Es ist zu 100 Prozent im Besit…
B
BEDAG INFORMATIK: BESONDERES UNTERNEHMEN


1
Starker Kaffee: Projektarbeit à la Bedag
11:41
11:41
Main Kemudian
Main Kemudian
Senarai
Suka
Disukai
11:41
Bruno Schori über spannende IT-Projekte Durch die Bedag weht ein frischer Wind. Spannende Projekte warten auf talentierte und engagierte Informatikerinnen und Informatiker.Oleh Daniela Burkhard, Marc Jäggi
G
Grundlagen der Logik in der Informatik 2017/2018 (HD 1280)


1
14 - Grundlagen der Logik in der Informatik 2017/2018
1:15:00
1:15:00
Main Kemudian
Main Kemudian
Senarai
Suka
Disukai
1:15:00
G
Grundlagen der Logik in der Informatik 2017/2018 (HD 1280)


1
13 - Grundlagen der Logik in der Informatik 2017/2018
54:32
54:32
Main Kemudian
Main Kemudian
Senarai
Suka
Disukai
54:32
G
Grundlagen der Logik in der Informatik 2017/2018 (HD 1280)


1
12 - Grundlagen der Logik in der Informatik 2017/2018
1:21:41
1:21:41
Main Kemudian
Main Kemudian
Senarai
Suka
Disukai
1:21:41
G
Grundlagen der Logik in der Informatik 2017/2018 (HD 1280)


1
11 - Grundlagen der Logik in der Informatik 2017/2018
1:21:19
1:21:19
Main Kemudian
Main Kemudian
Senarai
Suka
Disukai
1:21:19
G
Grundlagen der Logik in der Informatik 2017/2018 (HD 1280)


1
10 - Grundlagen der Logik in der Informatik 2017/2018
1:21:22
1:21:22
Main Kemudian
Main Kemudian
Senarai
Suka
Disukai
1:21:22
G
Grundlagen der Logik in der Informatik 2017/2018 (HD 1280)


1
9 - Grundlagen der Logik in der Informatik 2017/2018
1:25:47
1:25:47
Main Kemudian
Main Kemudian
Senarai
Suka
Disukai
1:25:47
G
Grundlagen der Logik in der Informatik 2017/2018 (HD 1280)


1
8 - Grundlagen der Logik in der Informatik 2017/2018
1:17:01
1:17:01
Main Kemudian
Main Kemudian
Senarai
Suka
Disukai
1:17:01
G
Grundlagen der Logik in der Informatik 2017/2018 (HD 1280)


1
7 - Grundlagen der Logik in der Informatik 2017/2018
1:20:25
1:20:25
Main Kemudian
Main Kemudian
Senarai
Suka
Disukai
1:20:25
G
Grundlagen der Logik in der Informatik 2017/2018 (HD 1280)


1
6 - Grundlagen der Logik in der Informatik 2017/2018
1:23:30
1:23:30
Main Kemudian
Main Kemudian
Senarai
Suka
Disukai
1:23:30
G
Grundlagen der Logik in der Informatik 2017/2018 (HD 1280)


1
5 - Grundlagen der Logik in der Informatik 2017/2018
1:25:04
1:25:04
Main Kemudian
Main Kemudian
Senarai
Suka
Disukai
1:25:04
G
Grundlagen der Logik in der Informatik 2017/2018 (HD 1280)


1
4 - Grundlagen der Logik in der Informatik 2017/2018
1:21:24
1:21:24
Main Kemudian
Main Kemudian
Senarai
Suka
Disukai
1:21:24
G
Grundlagen der Logik in der Informatik 2017/2018 (HD 1280)


1
3 - Grundlagen der Logik in der Informatik 2017/2018
1:24:15
1:24:15
Main Kemudian
Main Kemudian
Senarai
Suka
Disukai
1:24:15
G
Grundlagen der Logik in der Informatik 2017/2018 (HD 1280)


1
2 - Grundlagen der Logik in der Informatik 2017/2018
1:27:02
1:27:02
Main Kemudian
Main Kemudian
Senarai
Suka
Disukai
1:27:02
G
Grundlagen der Logik in der Informatik 2017/2018 (HD 1280)


1
1 - Grundlagen der Logik in der Informatik 2017/2018
1:10:42
1:10:42
Main Kemudian
Main Kemudian
Senarai
Suka
Disukai
1:10:42
I
Informatik Vorkurs V4, Vorlesung, WS16-17

1
Informatik Vorkurs V4, Vorlesung, WS 2016/17, 27.09.2016, 07
51:17
51:17
Main Kemudian
Main Kemudian
Senarai
Suka
Disukai
51:17
07 | 0:00:00 Starten0:00:29 Eine Klasse entwerfen0:02:04 Idee der Methode0:04:04 Beispiel0:06:35 Methoden schreiben0:13:36 Methoden aufrufen0:18:39 Beispiel0:21:11 Aufgaben0:34:29 Die Referenzvariable this0:35:37 Konstruktoren0:40:36 Styleguide/ConventionsOleh Dr. Daniel Haase
I
Informatik Vorkurs V4, Vorlesung, WS16-17

1
Informatik Vorkurs V4, Vorlesung, WS 2016/17, 28.09.2016, 08
1:08:41
1:08:41
Main Kemudian
Main Kemudian
Senarai
Suka
Disukai
1:08:41
08 | 0:00:00 Starten0:00:33 Objektorientierte Programmierung0:04:18 Variablen in Java0:04:40 Datentypen und Werte0:06:14 Wozu Statisch?0:08:38 Beispiel: Objekt-Attribute0:09:32 Beispiel: Statische Attribute0:15:08 Beispiel: Statische Methoden0:16:06 Beispiel: Objekt-Methoden0:16:28 Statisch und dynamisch0:18:23 Beispiele0:20:15 Aufgaben0:41:40 Lösu…
I
Informatik Vorkurs V4, Vorlesung, WS16-17

1
Informatik Vorkurs V4, Vorlesung, WS 2016/17, 26.09.2016, 06
48:30
48:30
Main Kemudian
Main Kemudian
Senarai
Suka
Disukai
48:30
06 | 0:00:00 Starten0:00:33 Felder in Java0:01:27 Operationen mit Feldern0:05:50 Klassische Programmierung0:09:26 Studenten klassisch0:11:05 Objektorientierte Programmierung0:11:59 Studenten objektorientiert0:12:39 Was ist ein Objekt0:13:22 Objekte in Java0:14:01 Klassen in Java0:15:28 Ein Beispiel vorab0:17:23 Eine Klasse entwerfen0:22:27 Aufgabe0…
I
Informatik Vorkurs V4, Vorlesung, WS16-17

1
Informatik Vorkurs V4, Vorlesung, WS 2016/17, 23.09.2016, 05
54:20
54:20
Main Kemudian
Main Kemudian
Senarai
Suka
Disukai
54:20
05 | 0:00:00 Starten0:00:12 Wiederholung Schleifentypen0:02:27 Zusammengesetzte Datentypen0:04:10 Feldvariablen0:06:17 Referenzen in Java0:12:05 Intelligente Referenzen0:13:45 Sofortige Initialisierung0:16:36 Aufgaben0:34:04 Felder verwalten0:36:57 Referenzen und Zeiger0:42:12 Referenzen0:45:08 Referenzen in Java0:46:15 Aufgaben0:46:57 Aufgabe: Lös…
I
Informatik Vorkurs V4, Vorlesung, WS16-17

1
Informatik Vorkurs V4, Vorlesung, WS 2016/17, 22.09.2016, 04
58:35
58:35
Main Kemudian
Main Kemudian
Senarai
Suka
Disukai
58:35
04 | 0:00:00 Starten0:00:32 Kontrollstrukturen0:01:02 Bedingte Ausführung0:01:52 Schleifenprogrammierung0:03:20 Schleifenbefehl while0:05:28 Variableneinsatz0:07:06 Beispiel0:10:46 Aufgaben0:29:17 Schleifenbefehl do0:31:06 Aufgaben0:38:50 Zählschleifen0:39:21 Schleifenbefehl for0:43:28 Aufgaben0:51:09 Beispiel0:52:25 Planung einer Schleife0:53:24 T…
I
Informatik Vorkurs V4, Vorlesung, WS16-17

1
Informatik Vorkurs V4, Vorlesung, WS 2016/17, 21.09.2016, 03
44:47
44:47
Main Kemudian
Main Kemudian
Senarai
Suka
Disukai
44:47
03 | 0:00:00 Starten0:00:25 Einschub: Daten- und Rechenbedarf0:09:59 Variablen in Java0:11:04 Datentypen in Java0:11:42 Elementare Datentypen0:14:48 Grenzen von Variablen0:16:58 Logische Tabellen0:20:57 Wahrheitswerte0:23:49 Aufgabe0:28:14 Bedingte Ausführung0:31:55 Test auf Gleichheit0:32:43 Vergleichsoperation0:33:53 Beispiel0:36:42 Aufgabe0:39:0…
I
Informatik Vorkurs V4, Vorlesung, WS16-17

1
Informatik Vorkurs V4, Vorlesung, WS 2016/17, 20.09.2016, 02
1:06:28
1:06:28
Main Kemudian
Main Kemudian
Senarai
Suka
Disukai
1:06:28
02 | 0:00:00 Starten0:00:25 Paradigmen für Programmiersprachen0:02:06 Compiler-basierte Sprachen0:05:35 Interpreter-basierte Sprachen0:08:58 Der Ansatz von Java0:13:30 Syntax von Java0:13:56 Klassen von Java0:14:22 Java-Programme0:15:42 Die Java-Datei0:17:48 Programme einsetzen0:22:16 Variablen in Java0:23:01 Elementare Datentypen0:29:49 Beispiel0:…
I
Informatik Vorkurs V4, Vorlesung, WS16-17

1
Informatik Vorkurs V4, Vorlesung, WS 2016/17, 19.09.2016, 01
56:12
56:12
Main Kemudian
Main Kemudian
Senarai
Suka
Disukai
56:12
01 | 0:00:00 Starten0:00:36 MINT-Kolleg Baden Württemberg0:00:57 Das Team in den Informatik Vorkursen0:01:58 Ablauf einer Veranstaltung0:03:26 Zu Hause0:04:58 Kursmaterial0:05:42 Mitarbeit im Kurs0:07:26 Optimale Sitzordung im Hörsaal0:07:52 Themen im Vorkurs Informatik0:10:01 Kleine Geschichte des Computers0:13:29 Warum Programmieren?0:14:39 Anwen…
G
Grundbegriffe der Informatik, Vorlesung, WS16/17


1
Grundbegriffe der Informatik, Vorlesung, WS 2016/17, 08.02.2017, 26
1:15:43
1:15:43
Main Kemudian
Main Kemudian
Senarai
Suka
Disukai
1:15:43
26 | 0:00:00 Starten0:00:04 Kapitel 21: Relationen0:00:59 Antisymmetrische Relationen0:03:57 Halbordnungen0:05:52 eine Halbordnung auf Wörtern - darauf bauen wir später noch auf0:07:28 Wenn man weiß, dass es eine Halbordnung ist, enthält der gesamte Graph Redundantes0:08:51 Wenn man weiß, dass es eine Halbordnung ist, genügt das Hassediagramm0:10:3…
G
Grundbegriffe der Informatik, Vorlesung, WS16/17


1
Grundbegriffe der Informatik, Übung, WS 2016/17, 10.02.2017, 27
44:37
44:37
Main Kemudian
Main Kemudian
Senarai
Suka
Disukai
44:37
27 | 0:00:00 Starten0:00:04 Aufgabe 6.10:04:44 Aufgabe 6.20:11:12 Aufgabe 6.30:16:19 Aufgabe 6.40:22:26 Aufgabe 7.10:28:13 Aufgabe 7.20:36:24 Aufgabe 7.30:39:42 Aufgabe 7.4Oleh Dr. Sebastian Stüker
G
Grundbegriffe der Informatik, Vorlesung, WS16/17


1
Grundbegriffe der Informatik, Vorlesung, WS 2016/17, 03.02.2017, 25
1:24:16
1:24:16
Main Kemudian
Main Kemudian
Senarai
Suka
Disukai
1:24:16
25 | 0:00:00 Starten0:00:04 Kapitel 20: Turingmaschinen0:00:25 Wo sind wir?0:01:45 Codierungen von Turingmaschinen0:04:54 Beispielcodierung0:09:44 Eigenschaften dieser und ähnlicher Codierungen 0:11:50 Das Halteproblem ist unentscheidbar0:18:37 Diagonalisierung0:24:07 Das Halteproblem0:24:22 Beweis der Unentscheidbarkeit des Halteproblems0:28:37 We…
T
Theoretische Grundlagen der Informatik, Vorlesung, WS16/17


1
Theoretische Grundlagen der Informatik, Vorlesung, WS 2016/17, 07.02.2017, 18
47:15
47:15
Main Kemudian
Main Kemudian
Senarai
Suka
Disukai
47:15
18 | 0:00:00 Starten0:00:07 Fortsetzung Informationstheorie0:01:06 Wiederholung Quellkodierung0:01:46 Kanalkodierung0:02:24 Codierung zum Schutz gegen Übertragungsfehler0:04:17 Paritätscodes - Einfach Binär0:07:27 Kreuzsicherung0:12:20 Paritätscodes0:13:33 Beweis0:15:09 Paritätscodes gegen Vertauschungsfehler0:18:42 Bsp: ISBN-100:18:56 ISBN0:19:59 …
T
Theoretische Grundlagen der Informatik, Vorlesung, WS16/17


1
Theoretische Grundlagen der Informatik, Vorlesung, WS 2016/17, 02.02.2017, 17
1:07:17
1:07:17
Main Kemudian
Main Kemudian
Senarai
Suka
Disukai
1:07:17
17 | 0:00:00 Starten0:01:45 Thema dieses Kapitels0:04:52 Material für Informationstheorie0:05:32 Information0:12:45 Wiederholung: Rechenregeln Logarithmus0:13:53 Definition Information0:14:52 Entropie0:19:16 Bemerkung zur Entropie0:19:31 Entropie einer Münze mit Wkt p für Zahl0:20:44 (Platzsparende) Codierungen0:22:12 Codierungsbäume0:26:49 Präfix-…
G
Grundbegriffe der Informatik, Vorlesung, WS16/17


1
Grundbegriffe der Informatik, Vorlesung, WS 2016/17, 01.02.2017, 24
1:29:08
1:29:08
Main Kemudian
Main Kemudian
Senarai
Suka
Disukai
1:29:08
24 | 0:00:00 Starten0:00:59 Algorithmusbegriss informell0:03:47 Erinnerung: partielle Funktion von A nach B0:05:39 Turingmaschinen: Ursprung0:08:33 Eine Turingmaschine im Bild0:13:48 Turingmaschine formalisiert0:15:28 Turingmaschine: graphische Darstellung0:19:23 Turingmaschine: tabellarische Darstellung0:20:26 Beispielberechnung0:23:01 Turingmasch…
G
Grundbegriffe der Informatik, Vorlesung, WS16/17


1
Grundbegriffe der Informatik, Vorlesung, WS 2016/17, 27.01.2017, 23
1:23:02
1:23:02
Main Kemudian
Main Kemudian
Senarai
Suka
Disukai
1:23:02
23 | 0:00:00 Starten0:00:05 Beispiel einer nicht erkennbaren Sprache0:03:01 Beispiel einer nicht erkennbaren Sprache (2)0:06:44 Beispiel einer nicht erkennbaren Sprache (3)0:12:49 Was ist wichtig0:14:26 Zusammenfassung0:15:48 Was können endliche Akzeptoren0:16:20 Überblick0:18:46 Der Begriff regulärer Ausdruck hat heute verschiedene Bedeutungen0:19…
T
Theoretische Grundlagen der Informatik, Vorlesung, WS16/17


1
Theoretische Grundlagen der Informatik, Vorlesung, WS 2016/17, 26.01.2017, 16
1:11:18
1:11:18
Main Kemudian
Main Kemudian
Senarai
Suka
Disukai
1:11:18
16 | 0:00:00 Starten0:00:37 Kellerautomaten0:03:49 Satz0:05:15 Satz (2)0:06:09 Beweis0:30:19 Korollar0:30:41 Übersicht Chomsky-20:32:46 Exkurs0:34:16 Zwischenfazit zu kontextfreien Grammatiken0:36:10 Satz (3)0:38:18 Das Post'sche Korrespondenzproblem0:39:47 Beweis (2)0:43:33 Beweisskizze0:44:07 Beweis (3)0:45:50 Sprache der korrekten Rechenwege0:51…
T
Theoretische Grundlagen der Informatik, Vorlesung, WS16/17


1
Theoretische Grundlagen der Informatik, Vorlesung, WS 2016/17, 24.01.2017, 15
47:17
47:17
Main Kemudian
Main Kemudian
Senarai
Suka
Disukai
47:17
15 | 0:00:00 Starten0:00:07 Beweis0:03:26 Kellerautomaten0:09:17 Kellerautomaten - Visualisierung0:10:09 Kellerautomaten - Arbeitsweise0:18:33 Kellerautomaten - Beispiel0:27:20 Kellerautomaten - Beispiel 20:31:02 Satz (1)0:35:44 Satz (2)0:39:19 Satz (3)Oleh Prof. Dr. Dorothea Wagner