FAU
Theorie der Programmierung 2018 (Audio)
A podcast
Good podcast? Give it some love!
FAU
Theorie der Programmierung 2018 (Audio)About
FAU
Theorie der Programmierung 2018 (Audio)
A podcast
Good podcast? Give it some love!
Rate Podcast
Inhalt:
Termersetzungssysteme, Normalisierung, KonfluenzGetypter und ungetypter Lambda-KalkülSemantik von Programmiersprachen, Anfänge der BereichstheorieDatentypen, Kodatentypen, Induktion und Koinduktion, Rekursion und KorekursionProgrammverifikation, Floyd-Hoare-KalkülReguläre Sprachen und endliche AutomatenBeschriftete Transitionssysteme, Bisimulation und Temporallogik
Show More
Creators & Guests
We don't know anything about the creators of this podcast yet. You can so they can be credited for this and other podcasts.
Podcast Reviews
This podcast hasn't been reviewed yet. You can to show others what you thought.
Mentioned In These Lists
There are no lists that include "Theorie der Programmierung 2018 (Audio)". You can add this podcast to a new or existing list.
Host or manage this podcast?
Do you host or manage this podcast?
Claim and edit this page to your liking.
Claim and edit this page to your liking.
Are we missing an episode or update?
Use this to check the RSS feed immediately.
Use this to check the RSS feed immediately.
Podcast Details
Created by
FAU
Podcast Status
Idle
Started
Apr 8th, 2018
Latest Episode
Jul 11th, 2018Release Period
2 per week
Episodes
1777
Avg. Episode Length
About 1 hour
Explicit
No
Order
Serial
Language
German
Podcast Tags
This podcast, its content, and its artwork are not owned by, affiliated with, or endorsed by Podchaser.
Join Podchaser to...
- Rate podcasts and episodes
- Follow podcasts and creators
- Create podcast and episode lists
- & much more
Unlock more with Podchaser Pro
- Audience Insights
- Contact Information
- Demographics
- Charts
- Sponsor History
- and More!
- Account
- Register
- Log In
- Find Friends
- Resources
- Help Center
- Blog
- API
Podchaser is the ultimate destination for podcast data, search, and discovery. Learn More
- © 2024 Podchaser, Inc.
- Privacy Policy
- Terms of Service
- Contact Us