Этапы развития логики. Имена ученых, внесших существенный вклад в развитие логики. Ключевые понятия монадической логики второго порядка. Язык логики предикатов. Автоматы Бучи: подход с точки зрения автоматов и полугрупп. Автоматы и бесконечные слова.
26.03.2012 |
Введение в теорию алгебраических систем |
Математика |
Язык: русский |
Просмотры: 88
