3 - Алгебра предикатов. Предикаты и кванторы. Логико-математические языки. Переименования и подстановки. Семантика логико-математического языка. Логические (Конспект лекций)
PDF-файл 3 - Алгебра предикатов. Предикаты и кванторы. Логико-математические языки. Переименования и подстановки. Семантика логико-математического языка. Логические (Конспект лекций) Математическая логика и теория алгоритмов (17460): Лекции - 4 семестр3 - Алгебра предикатов. Предикаты и кванторы. Логико-математические языки. Переименования и подстановки. Семантика логико-математического языка. Логи2018-01-092018-01-09zzyxelСтудИзба
Описание файла
Файл "3 - Алгебра предикатов. Предикаты и кванторы. Логико-математические языки. Переименования и подстановки. Семантика логико-математического языка. Логические" внутри архива находится в папке "Конспект лекций". PDF-файл из архива "Конспект лекций", который расположен в категории "". Всё это находится в предмете "математическая логика и теория алгоритмов" из 4 семестр, которые можно найти в файловом архиве МГТУ им. Н.Э.Баумана. Не смотря на прямую связь этого архива с МГТУ им. Н.Э.Баумана, его также можно найти и в других разделах. Архив можно найти в разделе "лекции и семинары", в предмете "математическая логика и теория алгоритмов" в общих файлах.
Просмотр PDF-файла онлайн
Текст из PDF
.