Архив за месяц: Октябрь 2020

Приношу свои извинения за возникшую ситуацию. Занятие, компенсирующее пропущенное, состоится в понедельник, 2 ноября, 1 и 2 парами в дистанционном формате. Дополнительная информация будет опубликована в блоге в понедельник.

ПИбд31: занятие по дисциплине «Теория автоматов и формальных языков» 1 и 2 парами отменяется ПИбд41: занятие по дисциплине «Функциональное программирование» будет проведено в текущем (дистанционном) режиме Информация об остальных занятиях будет дана дополнительно.

Вопросы к опросам: Опрос 1: Определение предиката, кванторы существования и всеобщности Опрос 2: Определение ДКА и НКА, эквивалентность представлений, конструкция подмножеств Опрос 3: Регулярные выражения, языки регулярных выражений, операторы регулярных выражений Опрос 4: Алгоритм построения автомата по регулярному выражению Опрос … Читать далее →

Данное лекционное занятие является последним в семестре, поэтому оно посвящено переписыванию опросов. В зачёт пойдёт лучшая оценка с учётом штрафа за пропуск даты написания. Если опросы были не написаны по уважительной причине — скиньте любой подтверждающий эту причину документ сообщением … Читать далее →

Файл с лабораторной работой поименовать по шаблону «Фамилия»-«Номер работы» и загрузить в папку по ссылке https://1drv.ms/f/s!AnPXAOgWbIBohcVidz95uMSE8asiTg Можно загрузить несколько работ одним файлом, достаточно перечислить соответствующие номера в имени файла Каждое правильное решение оценивается в 2 балла. Если есть желание ответить … Читать далее →

В связи с форс-мажорными обстоятельствами оставшийся материал курса остаётся на самостоятельно е изучение. Вопрос сегодняшнего опроса: Расширения и ограничения машины Тьюринга, понятие подпрограммы машины Тьюринга. Файлы с ответами поименовать по шаблону «Группа»-«Фамилия» и загрузить в папку https://1drv.ms/f/s!AnPXAOgWbIBohbxoP5w-My4HkASAGQ Ответы принимаются 15.05 … Читать далее →

В связи с форс-мажорными обстоятельствами оставшаяся часть материала остаётся на самостоятельное изучение. Поскольку сегодня последнее занятие, на 3-ей паре пишем оставшиеся опросы. Если набранных к данному моменту баллов Вам достаточно — можете не писать. Вопросы опросов последнего занятия: Опрос 5: … Читать далее →

Занятия, начиная с 12.10, являются практическими и будут проходить дистанционно; Файл с XAML-разметкой поименовать по шаблону «Фамилия»-«Группа» и загрузить в папку по следующей ссылке: https://1drv.ms/f/s!AnPXAOgWbIBohcJlWLWbiGP6o9-wuA Если XAML-разметка не может быть загружена отдельным файлом, можно создать архив, поименованный по заданному шаблону, … Читать далее →

Занятия, начиная с 16.10, являются практическими и будут проходить дистанционно; Файл с практическими работами поименовать по шаблону «Фамилия»-«Номер работы»-«Группа» и загрузить в папку по следующей ссылке: https://1drv.ms/f/s!AnPXAOgWbIBohcJkvMn-xYOWOZS6qg Загруженные файлы будут проверяться по мере возможности, проверенные файлы будут удаляться; Результаты проверки … Читать далее →

ТАиФЯ, лекция: https://join.skype.com/cZRGm7XCDAhr

11:30 : ТАиФЯ, лекция — https://join.skype.com/fCnpRBxhb9mz