Sign up to save your podcasts
Or
Share Hard- und Software sicher machen - mit Logik und Mathe
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
Hard- und Software sicher machen - mit Logik und Mathe
Shownotes
Zu Gast sind
Empfehlt unseren Podcast, beweist uns das und gewinnt ein exklusives Cyber-Handtuch.
Was seht ihr als derzeit wohl größte Bedrohung der Cybersicherheit an? Hinterlasst eine Sprachnachricht auf unserem AB unter der Telefonnummer: +49 345 78288037. Wenn ihr nicht möchtet, dass eure Sprachnachricht im Podcast veröffentlicht wird, dann sagt uns zu Beginn der Sprachnachricht bescheid.
Ihr könnt auch eine E-Mail schreiben [email protected]
Die Cyberagentur ist auch bei LinkedIn, Instagram, Mastodon und X.
Links zur Folge
Die Seite zum Projekt der Cyberagentur: formale Verifikation
Infoveranstaltung zu formaler Verifikation: online jeden dritten Dienstag im Monat um 14:00 Uhr.
Der Workshop zum Projekt im Juni in Lissabon.
Christoph Drösser in der "Zeit": Eine neue Mathematik. Er schreibt: "Bislang galt: Computer können rechnen, aber mathematische Beweise bleiben Kopfarbeit. Doch ein neues Verfahren könnte die Lösung großer Probleme revolutionieren"
Sebastians Empfehlung zum Einlesen: über formale Logik und Argumentationstheorie Materialien Uni Hannover.
View all episodes
By CyberagenturShownotes
Zu Gast sind
Empfehlt unseren Podcast, beweist uns das und gewinnt ein exklusives Cyber-Handtuch.
Was seht ihr als derzeit wohl größte Bedrohung der Cybersicherheit an? Hinterlasst eine Sprachnachricht auf unserem AB unter der Telefonnummer: +49 345 78288037. Wenn ihr nicht möchtet, dass eure Sprachnachricht im Podcast veröffentlicht wird, dann sagt uns zu Beginn der Sprachnachricht bescheid.
Ihr könnt auch eine E-Mail schreiben [email protected]
Die Cyberagentur ist auch bei LinkedIn, Instagram, Mastodon und X.
Links zur Folge
Die Seite zum Projekt der Cyberagentur: formale Verifikation
Infoveranstaltung zu formaler Verifikation: online jeden dritten Dienstag im Monat um 14:00 Uhr.
Der Workshop zum Projekt im Juni in Lissabon.
Christoph Drösser in der "Zeit": Eine neue Mathematik. Er schreibt: "Bislang galt: Computer können rechnen, aber mathematische Beweise bleiben Kopfarbeit. Doch ein neues Verfahren könnte die Lösung großer Probleme revolutionieren"
Sebastians Empfehlung zum Einlesen: über formale Logik und Argumentationstheorie Materialien Uni Hannover.