Конспекты лекций по математической логике
Конспекты лекций по математической логике
Определения. Опр: V – словом в алфавите А, называется
Конспекты лекций по математической логике
Теорема об эквивалентности понятия вычислимой функции.
Конспекты лекций по математической логике
Имеется устройство просматривающее бесконечную ленту
Конспекты лекций по математической логике
Алфавит – конечное или счетное множество символов
Конспекты лекций по математической логике
но мы допускаем не всюду определенную функцию.
Конспекты лекций по математической логике
— ортогональная проекция на ось x
Конспекты лекций по математической логике
Декартово произведение —