情報工学　形式論理と計算可能性 / 東京大学工学教程編纂

基本的なトピックからさらに取捨選択を行い、直観や動機付けを重視した、理論のユーザー視点に立ったコンパクトな教科書。<br>東京大学工学教程編纂
丸善
2024年10月
ジヨウホウ　コウガク　ケイシキ　ロンリ　ト　ケイサン　カノウセイ
トウキヨウ　ダイガク　コウガク
/