Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)- 18:53, 19 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b11.pdf» (Математическая логика для 318, блок 11. метод семантических таблиц в логике предикатов: корректность)
- 18:52, 19 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b10.pdf» (Математическая логика для 318, блок 10. метод семантических таблиц в логике предикатов: табличный вывод)
- 18:52, 19 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b9.pdf» (Математическая логика для 318, блок 9. Подстановки (основные определения))
- 18:51, 19 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b8.pdf» (Математическая логика для 318, блок 8. метод семантических таблиц в логике предикатов: таблицы)
- 18:50, 19 февраля 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b7.pdf» (не помню, менял ли тут чего, так что на всякий случай обновил)
- 18:50, 19 февраля 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b6.pdf» (причесал перед окончательным рассказом)
- 17:56, 19 февраля 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b3.pdf» ("счётно-бесконечный" -> "счётный")
- 17:54, 19 февраля 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b2.pdf» ("счётно-бесконечный" -> "счётный")
- 00:49, 15 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b7.pdf» (Математическая логика для 318, блок 7: метод семантических таблиц в логике высказываний)
- 00:48, 15 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b6.pdf» (Математическая логика для 318, блок 6: невозможно проверить общезначимость формул логики предикатов в лоб)
- 00:47, 15 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b5.pdf» (Математическая логика для 318, блок 5: логика предикатов - выполнимость, общезначимость, логическое следствие)
- 01:04, 8 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b4.pdf» (Математическая логика для 318, блок 4: формализация утверждения на языке логики предикатов)
- 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)
- 13:44, 16 ноября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 19.pdf» (2020. теперь тут синтаксический сахар Verilog)
- 10:40, 13 ноября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl practice 04.pdf» (2020. Теперь тут автоматы - а продвинутый синтаксис verilog оставлен на потом)
- 10:40, 13 ноября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 18.pdf» (2020, суть та же)
- 10:39, 13 ноября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 17.pdf» (2020, суть та же)
- 10:39, 13 ноября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 16.pdf» (2020, суть та же)
- 18:43, 9 ноября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 8 eng.pdf» (курс методов верификации, 2020. семинар с задачами по средству spin (англ.))
- 15:03, 3 ноября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 7 eng.pdf» (курс методов верификации, 2020. английский перевод обзора средства spin.)
- 20:15, 27 октября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl practice 03.pdf» (обновился год, остальное то же)
- 20:15, 27 октября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl practice 02.pdf» (Обновился год, остальное то же)
- 16:16, 27 октября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 15.pdf» (поправил незначительную опечатку в терминологии)
- 13:48, 23 октября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 15.pdf» (языки описания схем 2020. теперь это блок про синтезируемую постоянную процедуру (бывший 14))
- 13:48, 23 октября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 14.pdf» (языки описания схем 2020. теперь это блок про процедурные команды (бывший 13))
- 13:47, 23 октября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 13.pdf» (2020. теперь это блок про синтезируемость кода (бывший 12))
- 18:28, 20 октября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 5 eng.pdf» (курс методов верификации, 2020. английский перевод семинара 5 (практические задачи по nusmv))
- 14:19, 20 октября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Lecture Verification 7 eng.pdf» (Курс методов верификации, 2020. Английский перевод лекции 7 про табличный и автоматный алгоритмы верификации для ltl)
- 16:08, 19 октября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 4 eng.pdf» (2020. английская версия семинара 4 по курсу мат.методов верификации схем и программ (обзор средства NuSMV))
- 19:10, 14 октября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Выставка кафедр Задачки (миниатюра).png» (Осень 2020)
- 19:09, 14 октября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Выставка кафедр Информационный лист (миниатюра).png» (Осень 2020)
.png){kind=link}
.png){kind=link}