Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)- 10:30, 23 апреля 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 13.pdf»
- 15:18, 20 апреля 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Mllp 318 seminar definability.pdf» (мат.логика и логическое программирование для группы 318. Семинар по определимости в интерпретациях.)
- 07:57, 16 апреля 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 lecture 11 12.pdf» (математическая логика и логическое программирование, лекция 11-12 по обновлённой программе (2018))
- 17:43, 18 марта 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 9.pdf» (обновлённая версия: весенний семестр 2017/2018 учебного года)
- 17:43, 18 марта 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 8.pdf» (обновлённая версия: весенний семестр 2017/2018 учебного года)
- 07:39, 12 марта 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 7.pdf» (обновленная версия, программа 2017/2018 у.г.)
- 07:56, 5 марта 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 6.pdf» (обновлённая версия: весенний семестр 2017/2018 учебного года)
- 14:01, 2 марта 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 3.pdf» (мелкая правка: добавлено (естественное) обозначение для истинности формулы в интерпретации)
- 20:59, 25 февраля 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 5.pdf» (обновлённая версия: весенний семестр 2017/2018 учебного года)
- 14:29, 19 февраля 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 4.pdf» (обновлённая версия: весенний семестр 2017/2018 учебного года)
- 14:23, 19 февраля 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 3.pdf» (обновлённый вариант: весенний семест 2017/2018 учебного года)
- 14:02, 16 февраля 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:LectEng2.pdf» (english course for master students. lection "formal correctness proofs for sequential programs")
- 12:49, 12 февраля 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 2.pdf» (Версия весеннего семестра 2017/2018 учебного года.)
- 12:46, 12 февраля 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 1.pdf» (Версия весеннего семестра 2017/2018 года)
- 21:04, 27 декабря 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Ivdm-kolok17.docx»
- 15:33, 22 декабря 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl isa macros.zip» (поправлены баги в funct)
- 13:45, 4 декабря 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Prac 318 algorithms.pdf» (практикум на эвм, 3 курс, весенний семестр. проба пера на тему структур данных, алгоритмов и сложности)
- 17:52, 29 ноября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 10.pdf» (поправлен небольшой баг в определении системы регионов)
- 08:09, 29 ноября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 10.pdf» (обновлённая версия, почти всё по-другому)
- 08:09, 29 ноября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 10.pdf» (обновлённая чуть урезанная версия)
- 19:55, 28 ноября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 9.pdf» (поправлен баг в определении оператора U в TCTL)
- 11:09, 22 ноября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 9.pdf» (обновлённая и урезанная версия)
- 15:38, 10 ноября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 19.pdf» (поправлены опечатки)
- 15:38, 10 ноября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 18.pdf» (поправлены опечатки)
- 15:37, 10 ноября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 17.pdf» (опечатки поправлены)
- 00:24, 10 ноября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 19.pdf» (языки описания схем. блок 19. verilog: реализация управляющего автомата)
- 23:04, 9 ноября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 18.pdf» (языки описания схем. блок 18. немного синтаксического сахара в Verilog)
- 20:41, 9 ноября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 17.pdf» (языки описания схем. блок 17. как спроектировать управляющий автомат)
- 17:07, 3 ноября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 8.pdf» (подчищено для второго круга проведения курса)
- 13:47, 3 ноября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl isa macros.zip» (языки описания схем. макроопределения для удобной работы с модельной архитектурой системы команд)
- 13:46, 3 ноября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl sa macros.zip» (языки описания схем. макроопределения для более удобной работы с модельной архитектурой системы команд)
- 10:03, 3 ноября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 7.pdf» (поправлена куча опечаток)
- 22:53, 2 ноября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 7.pdf» (супер-пупер новая версия)
- 21:11, 31 октября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 7.pdf» (переиначен рассказ о табличном алгоритме + мелкие стилистические правки)
- 19:00, 30 октября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Prac 318 labyrinth.pdf» (поправлена пара опечаток)
- 01:41, 27 октября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 16.pdf» (блок 16. модельный процессор: операционный автомат, комбинационный управляющий автомат)
- 01:40, 27 октября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 15.pdf» (языки описания схем. блок 15. как спроектировать операционный автомат)
- 16:17, 25 октября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Prac 318 labyrinth.pdf» (поправлена неточность в критериях оценки (очевидно, тривиальные случаи не оцениваются))
- 19:21, 23 октября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Prac 318 labyrinth.pdf»
- 15:50, 23 октября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Prac 318 labyrinth.pdf» (практикум для группы 318. первое задание практического блока: робот в лабиринте.)
- 00:51, 20 октября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 14.pdf» (языки описания схем. блок 14: понятия операционного и управляющего автоматов)
- 22:11, 19 октября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 13.pdf» (языки описания схем. блок 13: немного о стандарте синтеза)
- 16:43, 18 октября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 4.pdf» (поправлена пара неточностей)
- 21:14, 17 октября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 5.pdf» (немного некритичных исправлений)
- 18:19, 17 октября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 4.pdf» (супер-пупер обновление обзора)
- 19:10, 13 октября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 12.pdf» (исправлена ошибка в отсылке к архитектуре фон неймана)
- 12:27, 13 октября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 11.pdf» (исправлены опечатки)
- 10:13, 13 октября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 12.pdf» (языки описания схем. блок 12. процессор: основные функциональные блоки)
- 10:12, 13 октября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 11.pdf» (языки описания схем. блок 11: что такое процессор; архитектура системы команд)
- 11:31, 11 октября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 1.pdf» (исправлена некритичная опечатка в домашнем задании)