Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)- 14:44, 3 апреля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 10.pdf» (отсюда и дальше по лекциям (по мат.логике) будет всё существенно переделано)
- 15:09, 27 марта 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 9.pdf»
- 15:09, 27 марта 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 8.pdf»
- 13:17, 14 марта 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 7.pdf»
- 12:56, 14 марта 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 6.pdf»
- 19:30, 1 марта 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 5.pdf»
- 17:42, 1 марта 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Fpga part2 lecture 1.pdf» (спецкурс "программируемые логические интегральные схемы", весенний семестр, первая лекция)
- 17:11, 20 февраля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 4.pdf»
- 12:15, 20 февраля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 3.pdf»
- 10:26, 20 февраля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 3.pdf»
- 21:54, 15 февраля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 2.pdf»
- 21:53, 15 февраля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 2.pdf»
- 21:52, 15 февраля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 1.pdf»
- 18:18, 14 февраля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 1.pdf»
- 21:01, 13 февраля 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:SecondExamVerification-2016-2017.pdf» (результаты пересдачи по курсу мат.методов верификации схем и программ)
- 16:57, 13 февраля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 2.pdf»
- 16:52, 13 февраля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 2.pdf»
- 16:52, 13 февраля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 1.pdf»
- 16:26, 8 февраля 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Prosem 2016 Podymov Zakharov.pdf» (Презентация задачи по компьютерным сетям на просеминаре.)
- 03:15, 15 декабря 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Prac318 Autumn 2016 howto regular expressions boost regex.zip» (для практикума 318 группы: как работать с регулярными выражениями в c++)
- 02:01, 15 декабря 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Prac318 Autumn 2016 howto bdd buddy.zip» (для практикума на 3 курсе: как работать с bdd, библиотека BuDDy)
- 18:53, 9 декабря 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 10.pdf»
- 15:55, 7 декабря 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 10 errors.zip» (математические методы верификации схем и программ; архив, прилагающийся к слайдам семинара по uppaal)
- 08:48, 7 декабря 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 10.pdf»
- 15:23, 5 декабря 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Lecture Verification 10.pdf» (математические методы верификации схем и программ, лекция 10: алгоритм model checking для tctl и временных автоматов (регионная модель Крипке))
- 02:35, 5 декабря 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 9.pdf»
- 02:22, 5 декабря 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Lecture Verification 9.pdf» (математические методы верификации схем и программ, лекция 9: временные автоматы)
- 22:18, 4 декабря 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Prac 618 2 lect4.pdf» (практикум по пакетам проектирования сверхбольших интегральных схем, лекция про многотактовый процессор и виды управляющих автоматов)
- 13:53, 2 декабря 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Prac318 Autumn 2016 HW3 Overview.pdf» (практикум на эвм для 318 группы, третье домашнее задание: реализация графа как набора bdd; операции над bdd; регулярные выражения)
- 09:20, 18 ноября 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 8.pdf»
- 07:56, 16 ноября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 8.pdf» (математические методы верификации схем и программ, семинар 8: практика Spin)
- 16:55, 14 ноября 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 7 spin manual.pdf»
- 16:43, 13 ноября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Prac 618 2 Dataflows.pdf» (практикум по пакетам проектирования сверхбольших интегральных схем: dataflow для модельного процессора и разных наборов инструкций)
- 20:15, 10 ноября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 7 spin manual.pdf» (инструкция по работе со средством верификации SPIN)
- 16:35, 9 ноября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 7.pdf» (математические методы верификации схем и программ, полулекционное занятие: обзор синтаксиса и модели систем средства SPIN)
- 18:17, 8 ноября 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 7.pdf»
- 09:38, 7 ноября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:P7.pdf» (расположение аудитории П-7)
- 14:12, 2 ноября 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 7.pdf»
- 14:05, 2 ноября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Lecture Verification 7.pdf» (математические методы верификации схем и программ. лекция 7: табличный и автоматный алгоритмы проверки LTL-формул и около того)
- 08:26, 31 октября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Prac 618 2 lect3.pdf» (практикум по пакетам проектирования сверхбольших интегральных схем, лекция 3: debug схем (чтение нетлистов и диаграмм Мура, симуляция))
- 13:47, 26 октября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 5.pdf» (математические методы верификации схем и программ. семинар 5: практические задания для работы с NuSMV)
- 13:44, 26 октября 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 4.pdf» (поправлены фактические ошибки, добавлено несколько слайдов о возможностях)
- 12:41, 24 октября 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Prac 618 2 lect2.pdf»
- 17:14, 19 октября 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 4.pdf»
- 16:58, 19 октября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 4.pdf» (математические методы верификации схем и программ, семинар 4. Обзор средства NuSMV (полулекционное занятие))
- 00:13, 18 октября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Mipsfpga seminar 2016 announcement.pdf» (объявление о семинаре MIPSfpga в МГУ 24.10.2016)
- 18:58, 17 октября 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mipsfpga seminar 2016 program.xls»
- 18:55, 17 октября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Mipsfpga seminar 2016 program.xls» (предварительная программа семинара mipsfpga 24.10.2016)
- 12:10, 15 октября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Prac 618 2 lect2.pdf» (практикум по пакетам проектирования сверхбольших интегральных схем, 2016. лекция 2. общая информация о модельном процессоре, описание инст…)
- 10:53, 12 октября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 3.pdf» (мат.методы верификации схем и программ, семинар 3: табличный и символьный алгоритмы верификации CTL)