show episodes
 
Inhalt: Termersetzungssysteme, Normalisierung, Konfluenz Getypter und ungetypter Lambda-Kalkül Semantik von Programmiersprachen, Anfänge der Bereichstheorie Datentypen, Kodatentypen, Induktion und Koinduktion, Rekursion und Korekursion Programmverifikation, Floyd-Hoare-Kalkül Reguläre Sprachen und endliche Automaten Beschriftete Transitionssysteme, Bisimulation und Temporallogik
 
Sie sind bereit für die persönliche Veränderung, haben die Nase voll vom ewig gleichen Trott, wollen gerne neuen Schwung in Ihr Leben bringen? Dann lernen Sie diesen deutschen, megaerfolgreichen Podcast kennen. Seit vielen Jahren das Beste, was es im deutschen Podcast-Markt zum Thema Veränderung und NLP (Neurolinguistisches Programmieren) gibt. Es ist die Informationsquelle für alle Menschen, die sich leicht und einfach verändern möchten, die wirklich große Ziele in ihrem Leben erreichen möc ...
 
Hier gibt es „Technik aufs Ohr“: Denn den VDI gibt es jetzt auch zum Hören. Sarah und Marco sprechen mit Interview-Gästen über Themen, die Ingenieur*innen bewegen. Ob Brennstoffzelle, Zukunft der Logistik oder das passende Ingenieurstudium: Unser Podcast greift Eure Interessen und Themen des Ingenieuralltags auf. Immer donnerstags, alle zwei Wochen.
 
Die programmier.bar lädt regelmäßig spannende Gäste aus der Welt der App- und Webentwicklung zum Gespräch ein. Es geht um neue Technologien, unsere liebsten Tools und unsere Erfahrungen aus dem Entwickler-Alltag mit all seinen Problemen und Lösungswegen. Euer Input ist uns wichtig! Schreibt uns eure Themenwünsche und Feedback per Mail an podcast@programmier.bar oder auf Twitter (@programmierbar), Instagram (@programmier.bar) oder Facebook (facebook.com/programmier.bar). Wir sind Full-Stack-S ...
 
„Zahme Vögel singen von Freiheit, wilde Vögel fliegen!“ Was haben unser Umfeld, die Gesellschaft und unser Ego gemeinsam? Sie alle können unser Käfig sein, oder unser Ticket in die Freiheit. Mischa Janiec ermutigt uns dazu, über den Tellerrand zu schauen und unseren Horizont zu erweitern. Der Chainless Life Podcast ist nicht nur Inspiration und Unterhaltung, sondern bietet auch nützliche Inputs für ein selbstbestimmtes Leben. Lass dich von ihm inspirieren, höre seine Geschichte und lerne aus ...
 
Wie werde ich Gestalter meines eigenen Lebens? Ob es darum geht sich selbst zu motivieren, abzunehmen, ein (langfristig) erfolgreiches Business zu starten oder einfach mit dem Hier und Jetzt glücklich zu sein, all dies benötigt die Fähigkeit der Selbstbeeinflussung. Themen von diesem Podcast sind u.a. emotionale Selbstbeeinflussung, Produktivitätssteigerung, Selbstdisziplin, Erfolg, Motivation, Biohacking, Psychologie der Selbstwirksamkeit, Neurolinguistisches Programmieren, Umgang mit Schei ...
 
Inhalt: Termersetzungssysteme, Normalisierung, Konfluenz Getypter und ungetypter Lambda-Kalkül Semantik von Programmiersprachen, Anfänge der Bereichstheorie Datentypen, Kodatentypen, Induktion und Koinduktion, Rekursion und Korekursion Programmverifikation, Floyd-Hoare-Kalkül Reguläre Sprachen und endliche Automaten Beschriftete Transitionssysteme, Bisimulation und Temporallogik
 
Verändere dich selbst, um endlich wirklich glücklich zu werden. Das hört sich so leicht an und das kann es auch sein, wenn du weißt, wie du dich und dein Verhalten verändern kannst. Ich glaube inzwischen, dass das wichtigste Thema des Lebens ist, mit der Veränderung klarzukommen. Ja, Altes loszulassen und Neues in seinem Leben zu akzeptieren, das ist hin und wieder eine Herausforderung. Machen wir uns nichts vor: Unsere Eltern, Lehrer und anderen Vorbilder haben uns auf diese Aufgabe nicht s ...
 
Bestes Wissen rund um Unternehmensführung, Verkaufen, Motivation & Digitalisierung, knallhart auf den Punkt gebracht – wer danach sucht, ist bei VERKAUFEN. genau richtig. Zutaten: beste Tipps (100%), wertvolle Impulse (100%), Top-Interviews mit Experten (100%). Kann bei regelmäßigem Konsum zu mehr Erfolg führen. Martin Limbeck liefert euch in diesem Podcast jeden Sonntag genau das, was ihr braucht, um euer Mindset auf Erfolg zu trimmen und immer auf dem neuesten Stand zu bleiben.
 
'Deutschland im digitalen Abseits' oder 'Wir verlieren den Anschluss an China oder die USA'. So klingt es häufig, wenn über Digitalisierung, Künstliche Intelligenz oder Kryptowährungen gesprochen oder geschrieben wird. Aber verschlafen wir wirklich die großen Trends? In "So techt Deutschland" fragen Frauke Holzmeier und Andreas Laukat nach, ob das stimmt, wo es gut und wo es schlecht läuft. Bei Krypto-König Oliver Flaskämper, Tech-Investor Frank Thelen und anderen.
 
Der Podcast über unsere digitale Lebens- und Arbeitswelt mit Markus Hörster und Christian Cordes. Alle vier Wochen dienstags um 19.00 Uhr im Radio auf Radio Okerwelle (UKW 104,6 in der Region Braunschweig, Stream: www.okerwelle.de) und nach der Ausstrahlung als Podcast. Wir beschäftigen uns mit allen Themen, die etwas mit Digitalien zu tun haben und sind immer offen für Themenvorschläge oder interessante Gäste. Folgt uns bei Facebook, Twitter und Instagram und besucht unseren Blog unter www. ...
 
Schlafprobleme? Diese 66 Hypnosen zum Einschlafen & Durchschlafen entspannen, machen schläfrig und führen schließlich in einen tiefen, erholsamen Schlaf. Jede Hypnose klingt ganz allmählich aus, sodass das Ende unhörbar ist. Man wird also NICHT durch ein abruptes Ende aus dem Schlaf herausgerissen.
 
Wer bin ich? Was ist der Sinn meines Lebens? Wie werde ich glücklich und heil? Gibt es mehr da draußen? Was passiert, wenn wir sterben? Alle Antworten auf deine Fragen findest du in dir selbst. Wie? In der Stille, in der Meditation, in der Trance, in Träumen, in deiner Welt, die dein Spiegel ist. Und gerade dann, wenn uns das Leben unerträglich schwer erscheint, könnte dies ein Weckruf sein, innezuhalten und einzutauchen in uns selbst. Ganz tief in uns finden wir ALLES, alle Antworten auf un ...
 
Das hier ist der Kreativ Podcast, in dem es um Kreativität, Produktentwicklung und Design geht. Außerdem nehme ich dich mir auf meine Reise zum Markengestalter. Ich hoffe dieser Podcast ist eine Bereicherung für dich. Lasst uns die Welt von morgen besser gestalten als sie heute ist!
 
“Lampentasche – the family manager Podcast” – Ein Podcast mit einer Vielzahl an Themen, die eine moderne Familie, Nannys, Fachpersonen in der Kinderbetreuung und Interessierte in diesem Bereich betreffen. Dieser wird im Einzelnen die Kinderbetreuung per se, Fragestellungen rund um die Nannys und Tipps für den Alltag mit Kindern und das Familienleben beinhalten. Zudem werden Interviews mit spannenden Persönlichkeiten, natürlich wieder innerhalb der vorher genannten Bereiche, geführt und last ...
 
Loading …
show series
 
Um den Buchclub zu Funktionale Programmierung in Java geht es in der einhundertachtundfünfzigsten Episode des IT-Berufe-Podcasts. Inhalt Die folgenden Inhalte werden im Buch besprochen. Meiner Meinung nach sollte jeder Azubi zum Fachinformatiker Anwendungsentwicklung diese Begriffe wenigstens einmal gehört haben, besser noch sie mit eigenen Worten …
 
Es beginnt mit der Frage, ob man die Angst vor dem Tod jemals loswerden kann. Denn Hypnotiseur Gabriel Azimov und ich haben beide auf unterschiedliche Art dem Tod ins Auge geblickt. Dann diskutieren wir über Sexualität, Polygamie, offene Beziehungen und die sexuellen Bedürfnisse von Mann und Frau – bis wir auf Gabriels Spezialgebiet kommen: Hypnose…
 
Bist Du romantisch verklärt oder realistisch abgestumpft? Und wie ehrlich darfst Du zu Dir sein...In der neuen Folge von Marcs kleine Welt geht es Marc um die Frage, wie Paare die Liebe leben. Wie kann das anfängliche Verliebtsein bleiben? Oder muss es zwangsläufig irgendwann verschwinden? Und gibt es auch die Liebe auf den zweiten Blick, die ein K…
 
Freunde der Qualität, wir begrüßen Euch zuunserer 20. Podcast-Ausgabe! Christian hat heute Peter zu Gast, seines ZeichensTester und agiler Coach und Podcast-Urgestein der allerersten Folge, und lässtsich von ihm in die Magie des Risk Stormings einführen. Danach habt Ihrgarantiert Lust, so einen Workshop selbst einmal aufzusetzen - viel Spaß alsodab…
 
Exklusive Angebote für VDI-Mitglieder, wie Webinare, Publikationen und weitere Informationen unter https://www.vdi.de/meinvdi/podcast30 Einführung in den Explosionsschutzhttps://www.ingenieur.de/fachmedien/technischesicherheit/explosionsschutz/einfuehrung-in-den-explosionsschutz/ Technische Sicherheit VDI Fachmedienhttps://www.ingenieur.de/fachmedi…
 
Alles ist friedlich, bis auf einmal bis an die Zähne bewaffnete Männer, wie man sie nur aus Filmen kennt, das Boot stürmen. Terroristen des Terrornetzwerks al-Qaida. Marc Wallert und die anderen Urlauber werden entführt, auf die Philippinen verschleppt und dort 4,5 Monate im Dschungel festgehalten. „Das einzige, was noch für Hollywood fehlt, waren …
 
Für die zweite Folge unseres CTO-Specials haben wir uns Daniel Krauss eingeladen. Er ist Tech-Leader von FlixBus, einem Mobilitätsunternehmen, das er 2013 mit André Schwämmlein und Jochen Engert gegründet hat. Von über 1000 MitarbeiterInnen koordiniert Daniel etwa 230 Personen in den Bereichen IT, Mobile und Software Development. Wie das funktionie…
 
Sigrid Nikutta ist eine Frau für die schwierigen Fälle. "Meine Aufgabe ist es tatsächlich, diesem Tanker wieder eine andere Richtung zu geben." Der Tanker ist DB-Cargo, das Logistikunternehmen und ewige Sorgenkind der Deutschen Bahn. Seit Anfang des Jahres ist Nikutta Vorstandsvorsitzende des Unternehmens und soll die Wende schaffen. "Digitalisieru…
 
Philipp hat heute wieder viele tolle Fragen an die Kommunikationstrainerin Wiebke zum Thema Strategien und zu den Inhalten vom NLP-Master. Wie kann man mehr über Strategien lernen und diese verändern. Ein wichtiges Thema im NLP-Master. Dies ist eine Besonderheit an der fresh-academy, da Wiebke sich durch den Leistungssport im Fechten seit langer Ze…
 
Die Zeit rast wieder einmal und daher werdet ihr Euch sicherlich auch zeitnahe fragen: Welche Geschenke können unsere Kinder dieses Jahr für die Grosseltern, Verwandten, Göttis und Gottis basteln? Rechtzeitig bekommt ihr von mir in dieser Folge neuartige Basteltipps für unterschiedliche Alterskategorien. Auch als Nanny oder Betreuungsperson könnt i…
 
Um die Ermittlung und Dokumentation von Anforderungen für Projekte geht es in der einhundertneunundfünfzigsten Episode des IT-Berufe-Podcasts. Inhalt Spätestens für das Abschlussprojekt im dritten Ausbildungsjahr müssen alle Azubis in den IT-Berufen Anforderungen ermitteln. Wen man dabei berücksichtigen sollte, wie man die Anforderungen erhebt und …
 
Willkommen zum Skillbyte-Podcast! Skillbyte ist ihr Partner für digitale Exzellenz.In diesem Podcast geht es um das Thema: Darum müssen IT-Manager programmieren können!// Inhalt //01:20 - Was ist das Problem?03:35 - Nur general Management Skills reichen nicht für IT-Projekte06:29 - IT-Management braucht zwigend technischen Sachverstand07:40 - Kardi…
 
Dass Mercedes sich jetzt zum siebten Mal in Folge die Konstrukteursmeisterschaft in der Formel 1 gesichert hat, ist kein Zufall. Sondern ein exzellentes Beispiel dafür, wie Unternehmen in der heutigen Zeit durch kontinuierliche Innovation Bestand haben. In dieser Podcast-Folge dreht sich alles um den Lebenszyklus von Unternehmen und was Führungskrä…
 
Mit dabei: Ulrike Kuhlmann, Carsten Spille, Sylvester Tremmel und Merlin Schumacher Es geht auf Weihnachten zu! Zeit für einen neuen Fernseher oder eine Grafikkarte? Vielleicht das E-Mail-Postfach aufräumen? All das im neuen c‘t uplink. Es gibt frische Grafikkarten! Nvidia hat mit der 3000er-Serie vorgelegt und AMD hat mit Big Navi nachgezogen. Nur…
 
Mit dem Gast in dieser Folge sprachen wir bereits in Folge 57 über die Konzepte von Domain-driven Design (DDD), Event Sourcing und Command-Query-Responsibility-Segregation (CQRS). Vereint werden vor allem Event Sourcing und CQRS in wolkenkit, einem Backend-Framework, das auf Node.js basiert. Es ermöglicht, mit JavaScript oder TypeScript skalierbare…
 
Wie das gelingen kann Exklusive Angebote für VDI-Mitglieder, wie Karriere-Webinare, Informationen zu Ingenieurgehältern und noch viel mehr unter https://www.vdi.de/meinvdi/podcast29 Gelingt der Lithium-Abbau in Deutschlandhttps://www.ingenieur.de/technik/fachbereiche/rohstoffe/gelingt-bald-der-lithiumabbau-in-deutschland/ Wie der geothermische Scha…
 
Wie Deine unbewussten Glaubenssätze eine schöne Liebesbeziehung verhindernWenn Du über Dein Leben nachdenkst, dann sicher oft deshalb, weil irgendetwas nicht passt. Egal an welcher Stelle Du Schmerzen hast, kann es ein Ausgangspunkt sein, Dinge ins Positive zu verändern. Wenn Du Dir eine schöne Beziehung wünschst, dann wäre es vielleicht ein guter …
 
VDI-Studie: Ökobilanz von PKW Antriebssystemen Exklusive Angebote für VDI-Mitglieder, wie Karriere-Webinare, Informationen zu Ingenieurgehältern und noch viel mehr unter https://www.vdi.de/meinvdi/podcast28 Zur Studie Ökobilanz von Pkws mit verschiedenen Antriebssystemenhttps://www.vdi.de/ueber-uns/presse/publikationen/details/oekobilanz-von-pkws-m…
 
Wie würde sich die Welt verändern, wenn jeder sich seiner selbst bewusst wäre? Wenn jeder selbstreflektiert handeln würde, auch in den sozialen Medien? Für Manuel Haase aka Green Rabbit ist klar: Radikalismus entsteht dort, wo Dialog fehlt. Und mehr Selbstreflexion führt zu mehr Verständnis für andere Meinungen. Weil diese Selbstreflexion den meist…
 
Gerade die aktuelle Situation macht uns bewusst, dass unsere Schulen digital noch nicht gut aufgestellt sind. Aber woran liegt das? Wollen wir die Digitalisierung nicht oder können wir nicht? Mit dieser Frage beschäftigen sich Hagen Rickmann, Geschäftsführer Geschäftskunden, und Philipp Schindera, Leiter der Unternehmenskommunikation in der neuen F…
 
Mit "Weltsparen" hat Tamaz Georgadze eine Plattform gebaut, auf der europäische Banken ihre Angebote für die Geldanlage einstellen können. Aus dem Projekt ist eines der erfolgreichsten Fintechs Deutschlands geworden. Dabei würde man "Banking in Deutschland" grundsätzlich noch "sehr traditionell" verstehen. Es gebe noch viel persönlichen Verkauf und…
 
Wir kennen das alle: “Morgen ist auch noch ein Tag” sagt da manchmal eine innere Stimme. "Auf den letzten Drücker"- ein Verhalten das ganz unterschiedlich gelebt und bewertet wird. Und macht es Dir nicht auch mal Spaß? Kommunikationstrainerin WiebkeLüth sagt: Das interessante daran ist manchmal, dass daraus auch etwas Positives entsteht: “Auf den l…
 
Alle Infos zur 21-Tages Challenge Die kostenfreie 21-Tages Challenge "Mindset & Aufbau positiver Gewohnheiten" findet von 30. November bis 20. Dezember 2020 statt. Wenn Du mitmachen möchtest, kannst Du Dich hier eintragen: https://marianzefferer.at/eintragen-21-tages-challenge-mindset-gewohnheiten Alle Vorab-Infos die Du benötigst erhältst Du in di…
 
Traumhaft einschlafen? Inspirierende Einschlaf-Gedanken für die Nacht? Lust auf Wachstumsimpulse fürs Unterbewusstsein? Genieße diese maßgeschneiderte Hypnose zum Einschlafen und Durchschlafen von HypnoKing®. In jeder HypnoKing®-Hypnose sind bis zu 3 Themen eingebaut, die im Schlaf ihre zusätzliche Wirkung entfalten. Welche Themen das jeweils sind,…
 
Der nächste Kindergeburtstag steht sicherlich auch bei Euch wieder einmal an. Wir haben für unsere Tochter eine ganz besondere Einhorn-Schatzsuche vorbereitet und wie wir das gemacht haben, erzählte ich Euch heute. Gerade in aktuellen Zeiten ist eine Schatzsuche im Freien sehr geeignet und ihr könnt das auf jedes Alter angepasst vorbereiten. Eine F…
 
Viele Führungskräfte sind mit ihrem Job unzufrieden oder zweifeln an sich selbst, obwohl sie alles erreicht haben. Die Herausforderung: Es gibt keine Ansprechpartner, mit denen sie über diese Gedanken sprechen können. In dieser Podcast-Folge erfahren Sie von Martin Limbeck und Stefan Hund, wie wichtig Selbst-Bewusstsein für Führungskräfte ist und w…
 
Mit Christian Hirsch, Carsten Spille, Benjamin Kraft und Jan-Keno Janssen Es wird wieder geschraubt: Der optimale PC 2021, der offizielle Bauvorschlag des c’t-Hardware-Ressorts, steht fest. In c’t uplink diskutieren Christian Hirsch, Carsten Spille und Benjamin Kraft mit Jan-Keno Janssen, was es gegenüber dem Vorjahr für Verbesserungen gibt. Beim „…
 
Wie Du den Start einer Beziehung positiv beeinflussen kannstMarc nimmt sich in der neuen Folge von Marcs kleine Welt des großen Themas Beziehung an: Wie startet sie, wie geht man es gut an und welche Anforderungen und Erwartungen sind damit verknüpft? Marc lädt Dich ein mit ihm weiter zu schauen, welche Erwartungen und Ängste Menschen in Beziehunge…
 
Exklusive Angebote für VDI-Mitglieder, wie Karriere-Webinare, Informationen zu Ingenieurgehältern und noch viel mehr unter https://www.vdi.de/meinvdi/podcast27 Werbepartner dieser Folge:Beuth Verlag GmbHUnter www.GEG-Normen.de findet Ihr nationale, europäische und internationale Normen – speziell zugeschnitten für alle, die mit dem GEG einfach und …
 
Willkommen zum Skillbyte-Podcast! Skillbyte ist ihr Partner für digitale Exzellenz.In diesem Podcast geht es um das Thema: Digitale Transformation aus Sicht des Marketingexperten Jürgen Kroder// Inhalt //00:56 - Intro Jürgen Kroder04:18 - Digitalisierung ist kein Projekt, sondern ein Weg07:16 - Change: Lass den Computer deine unliebsame Arbeit über…
 
Bereits zum dritten Mal in diesem Jahr gibt es ein Apple Event welches mit dieser DTR Episode natürlich wieder intensiv abgehandelt wird. Tom und André sprechen über die vorgestellten Macs und philosophieren, ob diese Geräte in der Entwicklung von Java Applikation auch bereits Verwendung finden könnten und ob nicht demnächst bei einem der beiden Ho…
 
Er hat sich nicht nur für 20€ in „Calvin Hollywood“ umbenennen lassen. Er glaubt auch von sich, nicht sehr intelligent zu sein. Trotzdem hat er es vom Starfotografen zum Business Mentor geschafft. Als dieser haut er heute seine Tipps für junge Menschen raus, die sich selbstständig machen und etwas im Leben erreichen wollen. Wie wichtig das berühmte…
 
Das Geschäft von Christian Dimanski sind Emotionen. Mithilfe von künstlicher Intelligenz will er die Arbeit von Kundenbetreuern und Beratern erleichtern. KI könne nämlich dabei helfen, herauszufinden, warum ein Kunde bestimmte Entscheidungen trifft. Wie das genau funktioniert, wo die Technologie einsetzbar ist und wie er die Firma mit zwei Freunden…
 
Ich weiß nicht, ich kann nicht, ich darf nicht, ich will oder es geht nicht… Es gibt viele Gründe, nach denen Du Dein Leben gestaltest. Ist Dein innerer Kritiker zu laut? Manchmal ist es einfach Angst, die Komfortzone zu verlassen und etwas Neues zu erleben. Manchmal sind es auch nur Verhaltenweisen, die seit Generationen als Normal gelten. Die inn…
 
Kommunikation ist ein ganz essentieller Bestandteil unseres Lebens. Gerade gegenüber unseren Kindern ist die richtige Kommunikation von enormer Bedeutung. Und das gerade auch, da wir ja ständig mit unserem Gegenüber kommunizieren. Leider ist unsere Kommunikation sehr häufig verletzend oder erniedrigend. Um das genau zu optimieren, hat Marshall B. R…
 
Der Rettungsschirm ist längst aufgebraucht, ein Ende der Krise ist jedoch nicht in Sicht. Um diese herausfordernden Zeiten zu überstehen, sind Unternehmer und Verkäufer jetzt mehr denn je gefragt, aktiv zu werden 💪🏻 und Kontakt mit ihren Kunden aufzunehmen. 📞 Worauf es dabei ankommt und was ein Bekleidungsgeschäft in Hagen damit zu tun hat? Das erf…
 
Mit dabei: Achim Barczok, Alex Spier, Christof Windeck, Michael Wieczorek Heute in c't uplink testen wir den neuen Raspberry Pi 400, die Playstation 4 und die Xbox Series S und X. Der neue Raspi erinnert an den C64 und viele andere Computer der 90er: Alles steckt in einem Tastaturgehäuse, an das man Monitor und Maus anschließt. Der Mini-PC richtet …
 
Loading …

Kurzanleitung

Google login Twitter login Classic login