Az informatika tudományágán belül az utóbbi időben egyre intenzívebben foglalkoznak a szakemberek típusrendszerekkel, amelyek alkalmazása kikerülhetetlen, legyen szó programírásról és -fordításról, szoftverfejlesztésről, programnyelv-alkotásról, vagy párhuzamos és sokmagos programozásról. A jelen   [>>>]

Az informatika tudományágán belül az utóbbi időben egyre intenzívebben foglalkoznak a szakemberek típusrendszerekkel, amelyek alkalmazása kikerülhetetlen, legyen szó programírásról és -fordításról, szoftverfejlesztésről, programnyelv-alkotásról, vagy párhuzamos és sokmagos programozásról. A jelen kötet ebbe a témakörbe vezeti be a szakirányú felsőoktatásban részt vevő hallgatókat - a mű nekik készült egyetemi jegyzet. A bevezetőt követő első rövidke fejezet a formális típusrendszerekkel foglalkozik, majd - bővebben - olyan témakörök kerülnek terítékre, mint az F1 típusrendszer, a Curry-típusrendszer, a típuskikövetkeztetés módszere, az F2 típusrendszer, továbbá a speciális típusos, magasabb rendű és függő típusrendszerek, a típusrendszerek egységes leírása, valamint a Curry-Howard-izomorfizmus. A kiadványt a típusrendszerek összehasonlító táblázatai, magyar-angol szótár, irodalomjegyzék és mutató zárja. "www.kello.hu minden jog fenntartva" [<<<]