Alexander Sayapin Teacher's site

Дополнительные главы дискретной математики для МИТ20-01 / осень 2021

Posted on Sun 10 October 2021

In Дискретная математика.

tags: дискретная математика мит


Курс дискретной математики рассчитан на 1 семестр, в конце курса предусмотрен экзамен.

Итоговая оценка выставляется в соответствии с требованиями балльно-рейтинговой системы (см. критерии оценки на экзамене). Для допуска к экзамену необходимо выполнить и защитить все практические работы и получить не менее 51 балла в течение семестра.

Список заданий:

  1. Лабораторная работа 1
  2. Лабораторная работа 2
  3. Лабораторная работа 3
  4. Лабораторная работа 4
  5. Лабораторная работа 5

Решение заданий вам необходимо прислать в виде отсканированных/сфотографированных листов с решением.

При изучении курса можно использовать следующую литературу:

При выполнении заданий можно использовать следующие источники:

Примерный список вопросов к экзамену (состав и количество вопросов могут быть откорректированы):

Будет добавлен позже.


Введение в формальные грамматики

Posted on Tue 14 April 2020

In Дискретная математика.

tags: дискретная математика формальные грамматики язык строка алфавит


Что такое формальные грамматики и зачем они нужны

Read More

Подтверждение логического вывода

Posted on Mon 06 April 2020

In Дискретная математика.

tags: дискретная математика математическая логика подтверждение вывода


Подтверждение логического вывода

Read More

Проверка правильности логического вывода

Posted on Sat 08 April 2017

In Дискретная математика.

tags: дискретная математика учебник


Короткое описание механизма проверки правильности логического вывода

Read More

tags

алфавит (1) asp.net (1) бгд (22) бисв (22) бкб (22) бме (22) бпэ (23) бпэз (3) бпэзу (1) бпм (13) бпм объявления (7) certbot (1) cheatsheet (1) checkinstall (1) csv (1) дискретная математика (21) экзамен (1) embedded rust (2) english (1) формальные грамматики (1) gdb (2) язык (1) jupyter (1) критерии (2) курсовая работа (2) lighttpd (2) low-latency (1) machine learning (3) make (1) make install (1) markdown (1) машинное обучение (1) математическая логика (1) Математические основы кмпьютерной графики (1) Математические основы компьютерного моделирования (1) Методы оптимизации (9) методы оптмимизации (1) методы принятия решений (1) миа (1) мии (7) мик (7) мим (2) мип (8) мит (34) миу (8) миз (7) ml (1) mono (1) natural language processing (1) nlp (1) nucleo (2) объявления (28) оформление (2) openocd (2) openpgp (1) pandas (1) pgp (1) подтверждение вывода (1) programming (3) python (3) robot (1) robotics (2) setup (6) шпаргалка (1) smartcard (1) ssh (1) ssl (1) STM32 (2) streaming (1) строка (1) тб (21) teaching (1) teaching statement (1) теоретические основы цифровой обработки изображений (1) тест (1) учебник (1) up board (1) video (1) вкр (2) xls (1)