Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (250 более новые | 250 более старые) (20 | 50 | 100 | 250 | 500)- 21:11, 14 марта 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b16.pdf» (косметические правки)
- 23:21, 28 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b19.pdf» (Математическая логика для 318, блок 19. Композиция подстановок и постановка задачи унификации)
- 23:20, 28 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b18.pdf» (Математическая логика для 318, блок 18. Системы дизъюнктов)
- 23:19, 28 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b17.pdf» (Математическая логика для 318, блок 17. ССФ)
- 23:19, 28 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b16.pdf» (Математическая логика для 318, блок 16. ПНФ)
- 23:18, 28 февраля 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b15.pdf» (прошлая версия была не handout. поправил)
- 23:18, 28 февраля 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b14.pdf» (прошлая версия была не handout. поправил)
- 23:16, 28 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b15.pdf» (Математическая логика для 318, блок 15. равносильность формул)
- 23:15, 28 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b14.pdf» (Математическая логика для 318, блок 14. общая схема метода резолюций)
- 12:36, 20 февраля 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b8.pdf» (исправил ошибку в примерах таблиц)
- 18:54, 19 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b13.pdf» (Математическая логика для 318, блок 13. завершения рассказа про метод семантических таблиц: пара утверждений и возможности автоматизации п…)
- 18:53, 19 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b12.pdf» (Математическая логика для 318, блок 12. метод семантических таблиц в логике предикатов: полнота)
- 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)
- 18:48, 14 октября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Постер кафедры (миниатюра).png» (Осень 2020)
- 17:59, 14 октября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Постер кафедры.jpg» (Осень 2020)
- 17:57, 14 октября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Постер кафедры.png»
- 17:51, 14 октября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Выставка кафедр Задачки.pdf» (Осень 2020)
- 17:29, 14 октября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Выставка кафедр Информационный лист.pdf» (Осень 2020)
- 17:28, 14 октября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Постер кафедры.pdf»
- 15:31, 14 октября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 12.pdf» (2020. теперь это основы программной симуляции в verilog)
- 15:31, 14 октября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 11.pdf» (2020. теперь это начало рассказа про verilog (вплоть до комбинационных схем в assign))
- 17:37, 6 октября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 3 eng.pdf» (курс методов верификации, 2020. перевод "Seminar_Verification_3.pdf" на английский)
- 13:06, 27 сентября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl practice 01.pdf» (задачки те же, поправлены детали представления)
- 12:39, 27 сентября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 10.pdf» (2020. теперь это "шины, регистры, RTL")
- 12:38, 27 сентября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 09.pdf» (теперь это "последовательные схемы")
- 12:37, 27 сентября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 08.pdf» (теперь это "подробнее о триггерах")
- 12:23, 27 сентября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 07.pdf» (теперь это терминология для сигналов)
- 12:21, 27 сентября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 06.pdf» (либо вообще без изменений, либо есть мелкие правки - лень думать)
- 15:59, 22 сентября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 2 eng.pdf» (Английский перевод версии 2019 года (то же без "eng") с косметическими правками)
- 14:31, 16 сентября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 06.pdf» (материал тот же, чуть-чуть улучшено представление)
- 14:30, 16 сентября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 05.pdf» (материал тот же, чуть-чуть улучшено представление)
- 19:00, 14 сентября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 04.pdf» (исправил терминологию. фронты не "передний" и "задний", а "положительный" и "отрицательный". а "передний" и "задний" - это leading и trailing, которые н…)
- 10:55, 12 сентября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 04.pdf» (обновился год, остальное то же)
- 23:44, 8 сентября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 1 eng.pdf» (курс методов верификации. осень 2020. семинар по логике хоара на английском)
- 11:11, 8 сентября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Lecture Verification 2 eng.pdf» (магистерский курс методов верификации, лекция про логику Хоара)
- 21:52, 4 сентября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 03.pdf» (Сменился год, остальное то же)
- 21:52, 4 сентября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 02.pdf» (сменился год, поправились опечатки)
- 21:51, 4 сентября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 01.pdf» (сменился год, остальное то же)
- 14:47, 1 июля 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Test.txt»
- 20:46, 23 июня 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Test.txt»
- 19:02, 24 мая 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 17.pdf» (Весна 2020. Минимальные изменения - пара правок в терминологии.)
- 11:42, 17 мая 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 16.pdf» (весна 2020. ltl для формальной верификации)
- 11:41, 17 мая 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 15.pdf» (весна 2020. логика хоара)
- 10:41, 16 мая 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 14.pdf» (слегка подправил вводный слайд)
- 19:27, 14 мая 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 14.pdf» (весна 2020. Темы те же, но чуть поправил форму изложения и подрезал.)
- 18:02, 3 мая 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 seminar natural inference.pdf» (Весна 2020 (улучшена матчасть, вырезаны аксиоматические теории))
- 11:27, 3 мая 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 12 13.pdf» (поправлены опечатки)
- 01:58, 27 апреля 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 lecture 12 13.pdf» (2020, весна. Всё про исчисления, кроме общих слов (они в лекции 11).)
- 11:39, 21 апреля 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 11.pdf» (поправил недочёты на последнем слайде (про исчисление дизъюнктов))
- 15:24, 17 апреля 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 11.pdf» (весна 2020. теорема чёрча, машины тьюринга, вводные слова про логические исчисления)
- 16:04, 13 апреля 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 10.pdf» (урезано согласно фактически прочитанному: машины Тьюринга будут в лекции 11)
- 18:08, 11 апреля 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 10.pdf» (весна 2020. полнота метода резолюций, и прелюдия к теореме чёрча)
- 13:18, 2 апреля 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 9.pdf» (весна 2020. от резолютивного вывода до теоремы эрбрана.)
- 12:07, 30 марта 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 7.pdf» (мелкие правки)
- 12:43, 22 марта 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 8.pdf» (2020, весна. Алгоритм унификации с доказательством.)
- 12:43, 22 марта 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 7.pdf» (2020, весна. Начало метода резолюций - до задачи унификации включительно.)
- 12:58, 16 марта 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 6.pdf» (2020, весенний семестр. метод сем.таблиц от полноты до конца + равносильность)
- 10:59, 4 марта 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 lecture 4 5.pdf» (мат.логика и логическая программирование у групп 318, 241, 242. Лекции 4 и 5 (от определения общезначимости до корректности табличного вывода).)
- 11:27, 18 февраля 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 3.pdf» (весна 2020. вырезаны последние темы, взамен подробнее строится формула по предложению)
- 10:13, 11 февраля 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 2.pdf» (исправлена пара опечаток)
- 13:00, 10 февраля 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 2.pdf» (Версия весны 2020. Мелкие правки.)
- 12:59, 10 февраля 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 1.pdf» (Версия весны 2020. Мелкие правки.)
- 10:48, 2 января 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture aux 05.pdf» (языки описания схем. протокол spi для произвольного числа устройств. состояние высокого импеданса)
- 16:18, 13 декабря 2019 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture aux 04.pdf» (языки описания схем. кое-что еще 4: протокол spi для двух устройств)
- 16:17, 13 декабря 2019 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture aux 03.pdf» (языки описания схем. кое-что еще 3: классификация протоколов передачи данных)
- 16:17, 13 декабря 2019 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture aux 02.pdf» (языки описания схем. кое-что еще 2: схемная реализация протокола UART)
- 12:33, 29 ноября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 10.pdf» (обновлён год + мелкие не очень значительные правки. по содержанию всё то же.)
- 14:05, 23 ноября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture aux 01.pdf» (суть та же, что и в прошлой версии, но сделано чуть более подробно, наглядно и красиво)
- 15:30, 22 ноября 2019 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture aux 01.pdf» (языки описания схем. лекция 1 не для зачёта. протоколы передачи данных. общее описание протокола uart.)
- 15:25, 22 ноября 2019 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 23.pdf» (языки описания схем. последняя лекция: автоматы с приостановкой выполнения переходов)
- 10:45, 20 ноября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 9.pdf» (2019. обновил год, остальное то же)
- 18:04, 14 ноября 2019 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl practice 06.pdf» (языки описания схем. практика: операционный и управляющий автоматы в verilog)
- 18:02, 14 ноября 2019 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 22.pdf» (языки описания схем. как дополнить операционный автомат управляющим)
- 18:01, 14 ноября 2019 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 21.pdf» (языки описания схем. как спроектировать операционный автомат)
- 15:18, 8 ноября 2019 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl practice 05.pdf» (языки описания схем. Практика: автоматы)
- 15:15, 8 ноября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 20.pdf» (2019. Операционный и управляющий автоматы)
- 15:15, 8 ноября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 19.pdf» (2019. Символьные автоматы на языке Verilog)
- 21:38, 5 ноября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 8.pdf» (2019. обновил год, остальное то же)
- 21:34, 1 ноября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 18.pdf» (2019. Символьные автоматы)
- 21:34, 1 ноября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 17.pdf» (2019. Соответствие между схемами и автоматами)
- 21:33, 1 ноября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 16.pdf» (2019. Напоминание, что такое автоматы)
- 14:05, 26 октября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 7.pdf» (2019. Пара мелких визуальных правок)
- 14:04, 26 октября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 7.pdf» (2019. Добавил пару картинок)
- 11:23, 25 октября 2019 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl practice 04.pdf» (языки описания схем. практический блок 4: verilog и продвинутый синтаксис (параметры, массивы, генерация))
- 11:22, 25 октября 2019 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl practice 03.pdf» (языки описания схем. практический блок 3: verilog и процедуры)
- 11:19, 25 октября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 15.pdf» (2019. теперь здесь собран синтаксический сахар для verilog)
- 12:30, 14 октября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 4.pdf» (обновил год, наполнение то же)
- 12:09, 11 октября 2019 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl practice 02.pdf» (языки описания схем, задания для практических занятий. Verilog + assign)
- 12:05, 11 октября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 14.pdf» (поправил опечатку в титуле (номер блока))
- 12:03, 11 октября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 13.pdf» (поправил опечатку в титуле (номер блока))
- 12:00, 11 октября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 14.pdf» (2019. теперь это про синтезируемый always в верилоге)
- 11:59, 11 октября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 13.pdf» (2019. теперь это про ветвления и выборы в verilog и около того)
- 09:40, 8 октября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 3.pdf» (поменялся год, остальное как было)
- 20:29, 4 октября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 12.pdf» (2019. поддерживаемые, игнорируемые и неподдерживаемые конструкции)
- 20:26, 4 октября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 11.pdf» (поправил опечатку в синтаксисе задержки+непр.присв.)
- 18:28, 3 октября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 11.pdf» (поправил опечатку в заголовке одного слайда)
- 18:19, 3 октября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 11.pdf» (перестроил поток мыслей)
- 14:54, 27 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 10.pdf» (поправлена пара опечаток)
- 12:46, 27 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 11.pdf» (2019. симуляция в verilog)
- 12:45, 27 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 10.pdf» (2019. начала рассказа про verilog)
- 12:23, 24 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 2.pdf» (осень 2019. перестановка условий, несколько мелких правок)
- 15:31, 19 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 09.pdf» (теперь это: шины, регистры, rtl)
- 12:43, 13 сентября 2019 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl practice 01.pdf» (практические задания: последовательные схемы)
- 16:29, 12 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 09.pdf» (теперь это шины и регистры)
- 16:29, 12 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 08.pdf» (теперь это последовательные схемы)
- 16:28, 12 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 07.pdf» (теперь это обсуждение триггеров)
- 16:28, 12 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 06.pdf» (теперь это комб.схемы с обратной связью и основные триггеры)
- 17:08, 10 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 1.pdf» (осень 2019, поменял последовательность задач)
- 18:42, 6 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 03.pdf» (опечатка в рисунке в конце)
- 12:33, 6 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 06.pdf» (теперь это база про последовательные схемы)
- 12:32, 6 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 05.pdf» (теперь это про сфэз)
- 12:31, 6 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 04.pdf» (теперь это про комбинационные схемы)
- 12:29, 6 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 2.pdf» (снова мелкие правки)
- 09:09, 4 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 03.pdf» (2019 год, по переработанному плану)
- 09:08, 4 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 02.pdf» (2019 год, по переработанному плану)
- 09:08, 4 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 01.pdf» (2019 год, по переработанному плану)
- 16:44, 31 мая 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 15.pdf» (поправлена нехорошая опечатка на слайде 14 (22))
- 18:03, 13 мая 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 17.pdf» (поправлены опечатки)
- 18:03, 13 мая 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 16.pdf» (поправлены опечатки)
- 16:31, 12 мая 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 17.pdf» (суперобновлённый вариант. 2018/2019 учебный год. табличный алгоритм model checking для ltl)
- 16:30, 12 мая 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 16.pdf» (суперобновлённый вариант. 2018/2019 учебный год. ltl для формальной верификации)
- 13:44, 6 мая 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 15.pdf» (поправлены опечатки)
- 20:22, 5 мая 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 15.pdf» (суперобновлённый вариант. программа 2018/2019 учебного года. логика Хоара)
- 14:32, 28 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 14.pdf» (матлогика 318, программа 2018/2019 года. модальные логики)
- 16:04, 25 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 seminar natural inference.pdf» (суперобновлённая версия (программа 2018/2019 учебного года))
- 11:35, 25 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 13.pdf» (опечатка была плохо поправлена, а теперь хорошо)
- 11:32, 25 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 13.pdf» (исправлена нехорошая опечатка в правилах натурального вывода)
- 16:15, 22 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 13.pdf» (исправлены опечатки)
- 14:34, 22 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 12.pdf» (поправлены опечатки)
- 20:17, 21 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 13.pdf» (программа 2018/2019 учебного года: конец рассказа про исчисления)
- 20:17, 21 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 12.pdf» (программа 2018/2019 учебного года: начало рассказа про исчисления)
- 10:49, 16 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mllp 318 seminar definability.pdf» (немного поменял последние пункты упражнения 2)
- 16:11, 11 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mllp 318 seminar definability.pdf»
- 19:58, 8 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 11.pdf» (поправлены опечатки)
- 20:49, 7 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 11.pdf» (2018/2019 учебный год. аксиоматические теории: выразимость, арифметика пресбургера)
- 20:48, 7 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 10.pdf» (программа 2018/2019 учебного года, первая лекция по аксиоматическим теориям)
- 20:19, 10 марта 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 8.pdf» (обновленная версия, программа 2018/2019 у.г.)
- 20:19, 10 марта 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 7.pdf» (обновленная версия, программа 2018/2019 у.г.)
- 19:06, 3 марта 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 6.pdf» (обновлённая версия: весенний семестр 2018/2019 учебного года)
- 13:13, 2 марта 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 5.pdf» (предыдущая версия - обновлённая версия: весенний семестр 2018/2019 учебного года в этой версии исправлено несколько опечаток)
- 17:46, 23 февраля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 5.pdf»
- 17:46, 23 февраля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 4.pdf» (обновлённая версия: весенний семестр 2018/2019 учебного года)
- 17:25, 16 февраля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 3.pdf» (обновлённый вариант, 2018/2019 учебный год)
- 11:22, 15 февраля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:LectEng2.pdf»
- 21:43, 14 февраля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:LectEng2.pdf»
- 12:19, 11 февраля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 2.pdf» (исправлены погрешности)
- 20:37, 9 февраля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 2.pdf» (версия весеннего семестра учебного года 2018/2019)
- 20:36, 9 февраля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 1.pdf» (версия весеннего семестра учебного года 2018/2019)
- 13:58, 11 декабря 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Otchet pattern618-2018.zip» (поправлен мелкий некритичный баг ("Список литературы"))
- 13:57, 11 декабря 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Otchet pattern418-2018.zip» (поправлен мелкий некритичный баг ("Список литературы"))
- 12:19, 28 ноября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 10.pdf» (семинар по uppaal, версия 18-го года (поправлена стилистика))
- 11:18, 28 ноября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 10.pdf» (поправлены опечатки)
- 23:00, 27 ноября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 10.pdf» (супер-пупер-обновлённая версия)
- 16:35, 15 ноября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 9.pdf» (вывернул определение логики tctl, чтобы было проще всё анализировать)
- 18:42, 14 ноября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 9.pdf» (обновлённая версия, более милая и понятная)
- 20:38, 7 ноября 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Traditional meeting 2018 announcement.pdf» (объявление о вечере кафедр 2018)
- 15:18, 2 ноября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 7.pdf» (и ещё одна мелкая правка)
- 15:16, 2 ноября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 7.pdf» (пара мелких правок)
- 14:54, 30 октября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 7.pdf» (новая версия, намного более милая)
- 14:55, 23 октября 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 20.pdf» (курс "языки описания схем", блок 20: практические задания по управляющим автоматам в verilog)
- 20:08, 22 октября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 19.pdf» (суперпеределка)
- 21:37, 18 октября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 8.pdf» (мелкие обновления)
- 21:26, 18 октября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 7.pdf» (поправлены опечатки, в т.ч. нехорошие)
- 20:04, 18 октября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 7.pdf» (суперулучшенный вариант (2018))
- 22:43, 28 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 5.pdf»
- 22:20, 28 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 3.pdf»
- 22:20, 28 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 2.pdf»
- 22:09, 28 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 08.pdf»
- 20:23, 24 сентября 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Paper-33-2018.pdf»
- 20:23, 24 сентября 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Paper-32-2018.pdf»
- 20:22, 24 сентября 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Paper-31-2018.pdf»
- 20:21, 24 сентября 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Paper-30-2018.pdf»
- 20:21, 24 сентября 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Paper-29-2018.pdf»
- 20:20, 24 сентября 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Paper-28-2018.pdf»
- 20:19, 24 сентября 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Paper-27-2018.pdf»
- 20:18, 24 сентября 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Paper-26-2018.pdf»
- 20:17, 24 сентября 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Paper-25-2018.pdf»
- 20:17, 24 сентября 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Paper-24-2018.pdf»
- 20:16, 24 сентября 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Paper-23-2018.pdf»
- 20:12, 24 сентября 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Paper-22-2018.pdf»
- 17:00, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 01.pdf»
- 17:00, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 02.pdf»
- 16:59, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 03.pdf»
- 16:59, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 04.pdf»
- 16:59, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 05.pdf»
- 16:59, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 06.pdf»
- 16:59, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 07.pdf»
- 16:59, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 08.pdf»
- 16:58, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 09.pdf»
- 16:58, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 10.pdf»
- 16:58, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 11.pdf»
- 16:58, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 12.pdf»
- 16:58, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 13.pdf»
- 16:58, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 14.pdf»
- 16:57, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 15.pdf»
- 16:57, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 16.pdf»
- 16:57, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 17.pdf»
- 16:57, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 18.pdf»
- 16:57, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 19.pdf»
- 13:11, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 4.pdf»
- 11:57, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 19.pdf»