Grundlagen der Logik in der Informatik

Aussagenlogik:

Syntax und Semantik

Automatisches Schließen: Resolution

Formale Deduktion: Korrektheit, Vollständigkeit



Prädikatenlogik erster Stufe:

Syntax und Semantik

Automatisches Schließen: Unifikation, Resolution

Quantorenelimination

Anwendung automatischer Beweiser

Formale Deduktion: Korrektheit, Vollständigkeit

Listen and follow

Information for podcasters

Keep up to date with Podnews for podcasting news, jobs and events every day

Get it free
• Podcast GUID: 191506a8-7ba1-5e74-a26d-55a541d35877
• This podcast previously hosted on a different host (until Sep 2025), and still hosts with with a different RSS address. See changes across podcasting.
• This podcast doesn’t have a trailer. Apple Podcasts has a specific episode type for a trailer, which also gets used by many other podcast apps: but there isn’t one correctly marked in the RSS feed from the host.
• This podcast has no playable episodes.
• This podcast appears to be missing from Apple Podcasts, Spotify, iVoox, Luminary, and iHeartRadio. We list all the podcast directories to be in.
• See this podcast’s listener numbers, contact details and more at Rephonic
• Validate this podcast’s RSS feed with Livewire, Truefans or CastFeedValidator

Privacy: The player will download audio directly from the host if you listen. That shares data (like your IP address or details of your device) with them.

Cache: This podcast page made Mar 16, 10:49am UTC. Scheduled for update on Apr 15. Rebuild this page now