科学技術と共に歩む

英語で学ぶ 計算理論 - CD-ROM付 -

• ツォイクマン　 トーマス 北大教授 著
• 湊 真一 北大准教授 著
• 大久保 好章 北大助教 著

簡潔かつ包括的な計算理論の入門書である。形式言語とオートマトン理論を学び，部分的帰納関数とチューリング機械を通して，アルゴリズムの直感的観念の定式化を行う。また日英各々のスライドがCD-ROMに収められ，専門用語を学べる。