Prof. Dr. Lutz Schröder

Grundlagen der Logik in der Informatik 2015/2016 (HD 1280)

教育

コンピュータ科学における論理の基本原則を探求します。命題論理と述語論理、自動推論、形式的証明方法について学びます。

Listen on Apple Podcasts

5 - Grundlagen der Logik in der Informatik 2015/2016

90 mins • Nov 8, 2015

Charts

This show is not currently ranked in any charts.

最近のエピソード

Nov 8, 2015

5 - Grundlagen der Logik in der Informatik 2015/2016

90 mins

Nov 8, 2015

5 - Grundlagen der Logik in der Informatik 2015/2016

90 mins

Nov 8, 2015

5 - Grundlagen der Logik in der Informatik 2015/2016

90 mins

Nov 8, 2015

5 - Grundlagen der Logik in der Informatik 2015/2016

90 mins

Nov 8, 2015

5 - Grundlagen der Logik in der Informatik 2015/2016

90 mins

言語
ドイツ語
国
ドイツ
カテゴリー
フィード
RSSフィード
更新をリクエストする
更新には数分かかる場合があります。