Alexander Sayapin Teacher's site

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

Posted on Mon 05 September 2022

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

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


Курс рассчитан на 1 семестр, в конце курса предусмотрен экзамен/зачет/дифзачет (требует уточнения).

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

В курсе мы рассмотрим оптимизацию на графах.

Для решения задач будет использован язык Python и его библиотека NetworkX.

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

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

  1. Максимальный поток в транспортной сети

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

Для этого вам необходимо:

  1. Иметь учетную запись Google (например, почту на gmail).
  2. Войти в учетную запись Google
  3. Перейти по ссылке на задание, расположенной выше. Откроется Google Colab.
  4. Выполнить задание непосредственно в браузере, записывая ответы в предназначенные для них ячейки. Для запуска программ можно использовать пункт ``
  5. Нажать экранную кнопку Share / Поделиться, скопировать появившуюся ссылку и выслать ее мне по электронной почте.

Если работа принята, в ответном письме будет сообщение Принято, в противном случае будет указано, где именно имеются ошибки.

По всем вопросам можно писать на электронную почту (ссылка mail me справа).


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

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) архитектура эвм (2) asp.net (1) бгд (22) бисв (23) бкб (22) бме (22) бпэ (23) бпэз (4) бпэзу (1) бпм (15) бпм объявления (7) certbot (1) cheatsheet (1) checkinstall (1) csv (1) дискретная математика (25) экзамен (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) Математические основы компьютерной графики (1) методы оптимизации (13) методы оптмимизации (1) методы принятия решений (1) миа (2) мии (8) мик (7) мим (3) мип (9) мит (39) миу (9) миз (8) ml (1) mono (1) мпм (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) Теоретические основы цифровой обработки изображений (2) тест (1) учебник (1) up board (1) video (1) вкр (2) xls (1)