Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (20 более новые | 20 более старые) (20 | 50 | 100 | 250 | 500)- 01:04, 8 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b3.pdf» (Математическая логика для 318, блок 3: базовые определения (синтаксис и семантика) для логики предикатов)
- 01:03, 8 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b2.pdf» (Математическая логика для 318, блок 2: базовые определения для логики высказываний)
- 01:03, 8 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b1.pdf» (Математическая логика для 318, блок 1: вводный)
- 11:01, 17 декабря 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture aux 05.pdf» (2020. суть та же, форма немного другая)
- 11:01, 17 декабря 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture aux 04.pdf» (2020. суть та же, форма немного другая)
- 11:00, 17 декабря 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture aux 03.pdf» (2020. суть та же, форма немного другая)
- 11:00, 17 декабря 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture aux 02.pdf» (поправлена одна незначительная опечатка)
- 18:51, 9 декабря 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture aux 02.pdf»
- 18:50, 9 декабря 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture aux 01.pdf»
- 22:11, 1 декабря 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 10 eng.pdf» (курс методов верификации, 2020. английский перевод семинара по UPPAAL)
- 14:45, 1 декабря 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Lecture Verification 10 eng.pdf» (курс методов верификации программ, 2020. английский перевод лекции про алгоритм верификации для tctl и про сети временных автоматов)
- 20:24, 24 ноября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Lecture Verification 9 eng.pdf» (курс методов верификации, 2020. лекция про временные автоматы и tctl)
- 14:21, 16 ноября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl practice 06.pdf» (2020. косметические правки)
- 14:20, 16 ноября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl practice 05.pdf» (2020. теперь тут задачки на параметры, массивы и генерацию в verilog)
- 13:52, 16 ноября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 22.pdf» (поправил опечатку на титульном слайде (неправильный номер блока))
- 13:47, 16 ноября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 24.pdf» (языки описания схем, 2020. символьные автоматы с таймерами)
- 13:47, 16 ноября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 23.pdf» (2020. теперь тут рассказ про то, как спроектировать управляющий автомат, когда операционный дан)
- 13:46, 16 ноября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 22.pdf» (2020. теперь тут рассказ про проектирование операционного автомата)
- 13:46, 16 ноября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 21.pdf» (2020. теперь тут рассказ про операционный и управляющий автоматы)
- 13:45, 16 ноября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 20.pdf» (2020. теперь тут типовая реализация автомата в verilog)