Математическая логика и теория алгоритмов 6. Лемма о дедукции. Правила вывода

Поделиться
HTML-код
  • Опубликовано: 8 фев 2025
  • Дата лекции: 09.10.2024
    Лектор: Мусатов Даниил Владимирович
    Оператор: Давид Чайлахян
    Монтажёр: Екатерина Мелешко
    Плейлист: • Математическая логика ...

Комментарии •