Вклад участника
(новейшие | старейшие) Просмотреть (500 более новые | 500 более старые) (20 | 50 | 100 | 250 | 500)
- 21:40, 15 сентября 2017 (разн. | история) . . (+125) . . Н Файл:Hdl lecture 04.pdf (языки описания схем. блок 4 (последовательные схемы, тактовый сигнал))
- 16:01, 13 сентября 2017 (разн. | история) . . (+328) . . Математические методы верификации схем и программ
- 10:30, 13 сентября 2017 (разн. | история) . . (0) . . Файл:Seminar Verification 1.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 1.pdf»)
- 18:36, 12 сентября 2017 (разн. | история) . . (-2843) . . Математические методы верификации схем и программ
- 20:15, 11 сентября 2017 (разн. | история) . . (+255) . . м Практикум (3 курс, осенний семестр 2017 года)
- 20:10, 11 сентября 2017 (разн. | история) . . (+1857) . . Практикум (3 курс, осенний семестр 2017 года)
- 19:46, 11 сентября 2017 (разн. | история) . . (+128) . . Н Файл:Prac-318-git-task-tree.pdf (практикум 318 группы, осенний семестр, дерево коммитов для задания по git) (текущая)
- 15:50, 11 сентября 2017 (разн. | история) . . (+2501) . . Н Практикум (3 курс, осенний семестр 2017 года) (Новая страница: «Категория:Семинары кафедры математической кибернетики = Общая информация = * Занятия …»)
- 10:24, 11 сентября 2017 (разн. | история) . . (+49) . . м Математические методы верификации схем и программ
- 22:15, 8 сентября 2017 (разн. | история) . . (+341) . . Языки описания схем
- 22:11, 8 сентября 2017 (разн. | история) . . (+88) . . Н Файл:Hdl lecture 02.pdf (курс "языки описания схем", блок слайдов про кмоп)
- 21:48, 8 сентября 2017 (разн. | история) . . (+105) . . Н Файл:Hdl lecture 01.pdf (вступительный блок слайдов по курсу "языки описания схем")
- 21:41, 8 сентября 2017 (разн. | история) . . (+18) . . м Математические методы верификации схем и программ
- 21:36, 8 сентября 2017 (разн. | история) . . (0) . . Файл:Lecture Verification 2.pdf (PodymovVV загружена новая версия «Файл:Lecture Verification 2.pdf»)
- 17:00, 28 августа 2017 (разн. | история) . . (+22) . . м Языки описания схем
- 14:31, 28 августа 2017 (разн. | история) . . (-231) . . м Языки описания схем
- 12:01, 28 августа 2017 (разн. | история) . . (-3056) . . Языки описания схем
- 15:33, 9 июня 2017 (разн. | история) . . (-28) . . м Математическая логика (318, 319/2, 241, 242)
- 15:32, 9 июня 2017 (разн. | история) . . (0) . . Файл:Mllp exam 2017 318.xls (PodymovVV загружена новая версия «Файл:Mllp exam 2017 318.xls») (текущая)
- 14:29, 9 июня 2017 (разн. | история) . . (+230) . . Математическая логика (318, 319/2, 241, 242)
- 14:28, 9 июня 2017 (разн. | история) . . (0) . . Н Файл:Mllp exam 2017 318.xls
- 13:12, 6 июня 2017 (разн. | история) . . (+212) . . Математическая логика (318, 319/2, 241, 242)
- 14:08, 25 мая 2017 (разн. | история) . . (+468) . . Математическая логика (318, 319/2, 241, 242)
- 23:57, 23 мая 2017 (разн. | история) . . (-339) . . Математическая логика (318, 319/2, 241, 242)
- 00:22, 22 мая 2017 (разн. | история) . . (+4893) . . Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
- 19:33, 15 мая 2017 (разн. | история) . . (+1969) . . Математическая логика (318, 319/2, 241, 242)
- 18:54, 15 мая 2017 (разн. | история) . . (+853) . . Математическая логика (318, 319/2, 241, 242)
- 18:49, 15 мая 2017 (разн. | история) . . (+153) . . Н Файл:Mathlog 318 lecture 16 17.pdf (мат.логика и логическое программирование, группы 318 и 241, заключительная пара лекций) (текущая)
- 16:26, 15 мая 2017 (разн. | история) . . (+450) . . Математическая логика (318, 319/2, 241, 242)
- 18:21, 25 апреля 2017 (разн. | история) . . (+28) . . м Математическая логика (318, 319/2, 241, 242)
- 18:20, 25 апреля 2017 (разн. | история) . . (+68) . . м Математическая логика (318, 319/2, 241, 242)
- 18:15, 25 апреля 2017 (разн. | история) . . (+217) . . м Математическая логика (318, 319/2, 241, 242)
- 18:13, 25 апреля 2017 (разн. | история) . . (-146) . . Математическая логика (318, 319/2, 241, 242)
- 16:52, 24 апреля 2017 (разн. | история) . . (+3) . . Математическая логика (318, 319/2, 241, 242)
- 16:46, 24 апреля 2017 (разн. | история) . . (+205) . . Математическая логика (318, 319/2, 241, 242)
- 16:43, 24 апреля 2017 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 14.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 14.pdf»)
- 21:18, 23 апреля 2017 (разн. | история) . . (+139) . . Математическая логика (318, 319/2, 241, 242)
- 21:16, 23 апреля 2017 (разн. | история) . . (0) . . Файл:Mathlog 318 seminar zfc.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 seminar zfc.pdf») (текущая)
- 19:20, 23 апреля 2017 (разн. | история) . . (+176) . . Математическая логика (318, 319/2, 241, 242)
- 23:20, 21 апреля 2017 (разн. | история) . . (0) . . Файл:Peano axioms.pdf (PodymovVV загружена новая версия «Файл:Peano axioms.pdf») (текущая)
- 23:05, 21 апреля 2017 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 11.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 11.pdf»)
- 14:03, 21 апреля 2017 (разн. | история) . . (-276) . . м Математическая логика (318, 319/2, 241, 242)
- 13:39, 21 апреля 2017 (разн. | история) . . (+165) . . Математическая логика (318, 319/2, 241, 242)
- 13:35, 21 апреля 2017 (разн. | история) . . (+173) . . Математическая логика (318, 319/2, 241, 242)
- 13:32, 21 апреля 2017 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 13.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 13.pdf»)
- 20:15, 18 апреля 2017 (разн. | история) . . (+3719) . . Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
- 16:27, 18 апреля 2017 (разн. | история) . . (+11) . . Математическая логика (318, 319/2, 241, 242)
- 16:24, 18 апреля 2017 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 12.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 12.pdf»)
- 15:59, 18 апреля 2017 (разн. | история) . . (+200) . . Математическая логика (318, 319/2, 241, 242)
- 15:57, 18 апреля 2017 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 11.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 11.pdf»)
- 11:59, 18 апреля 2017 (разн. | история) . . (0) . . Файл:Mathlog 318 seminar sat-smt.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 seminar sat-smt.pdf») (текущая)
- 17:53, 16 апреля 2017 (разн. | история) . . (+211) . . Математическая логика (318, 319/2, 241, 242)
- 17:50, 16 апреля 2017 (разн. | история) . . (0) . . Файл:Mathlog 318 seminar sat-smt.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 seminar sat-smt.pdf»)
- 22:16, 15 апреля 2017 (разн. | история) . . (+258) . . Математическая логика (318, 319/2, 241, 242)
- 22:13, 15 апреля 2017 (разн. | история) . . (+105) . . Н Файл:Mathlog 318 241 test results.xls (результаты контрольной работы по матлогике, группы 318 и 241) (текущая)
- 14:59, 13 апреля 2017 (разн. | история) . . (+1832) . . Математическая логика (318, 319/2, 241, 242)
- 14:52, 13 апреля 2017 (разн. | история) . . (0) . . Файл:Peano axioms.pdf (PodymovVV загружена новая версия «Файл:Peano axioms.pdf»)
- 14:14, 13 апреля 2017 (разн. | история) . . (+792) . . Математическая логика (318, 319/2, 241, 242)
- 13:47, 13 апреля 2017 (разн. | история) . . (+44) . . м Математическая логика (318, 319/2, 241, 242)
- 13:47, 13 апреля 2017 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 12.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 12.pdf»)
- 12:30, 11 апреля 2017 (разн. | история) . . (+2258) . . Графы и их применения
- 12:19, 11 апреля 2017 (разн. | история) . . (+44) . . м Математическая логика (318, 319/2, 241, 242)
- 12:06, 11 апреля 2017 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 11.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 11.pdf»)
- 15:00, 3 апреля 2017 (разн. | история) . . (+447) . . Математическая логика (318, 319/2, 241, 242)
- 14:46, 3 апреля 2017 (разн. | история) . . (+416) . . Математическая логика (318, 319/2, 241, 242)
- 14:44, 3 апреля 2017 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 10.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 10.pdf»)
- 15:56, 27 марта 2017 (разн. | история) . . (+349) . . м Математическая логика (318, 319/2, 241, 242)
- 15:13, 27 марта 2017 (разн. | история) . . (+413) . . Математическая логика (318, 319/2, 241, 242)
- 15:09, 27 марта 2017 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 9.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 9.pdf»)
- 15:09, 27 марта 2017 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 8.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 8.pdf»)
- 13:40, 14 марта 2017 (разн. | история) . . (+1265) . . Математическая логика (318, 319/2, 241, 242)
- 13:20, 14 марта 2017 (разн. | история) . . (+413) . . Математическая логика (318, 319/2, 241, 242)
- 13:17, 14 марта 2017 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 7.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 7.pdf»)
- 12:56, 14 марта 2017 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 6.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 6.pdf»)
- 14:53, 2 марта 2017 (разн. | история) . . (+4) . . м Математическая логика (318, 319/2, 241, 242)
- 14:51, 2 марта 2017 (разн. | история) . . (+1945) . . Математическая логика (318, 319/2, 241, 242)
- 14:28, 2 марта 2017 (разн. | история) . . (+2780) . . Математическая логика (318, 319/2, 241, 242)
- 19:33, 1 марта 2017 (разн. | история) . . (+283) . . Математическая логика (318, 319/2, 241, 242)
- 19:30, 1 марта 2017 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 5.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 5.pdf»)
- 17:55, 1 марта 2017 (разн. | история) . . (+744) . . Программируемые логические интегральные схемы
- 17:42, 1 марта 2017 (разн. | история) . . (+166) . . Н Файл:Fpga part2 lecture 1.pdf (спецкурс "программируемые логические интегральные схемы", весенний семестр, первая лекция) (текущая)
- 16:09, 28 февраля 2017 (разн. | история) . . (+49) . . м Информация для 2 курса
- 18:42, 22 февраля 2017 (разн. | история) . . (+1761) . . Программируемые логические интегральные схемы
- 23:26, 21 февраля 2017 (разн. | история) . . (+90) . . м Шаблон:Important Announcements (→Объявления)
- 17:15, 20 февраля 2017 (разн. | история) . . (+543) . . Математическая логика (318, 319/2, 241, 242)
- 17:11, 20 февраля 2017 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 4.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 4.pdf»)
- 12:15, 20 февраля 2017 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 3.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 3.pdf»)
- 10:26, 20 февраля 2017 (разн. | история) . . (-46) . . м Математическая логика (318, 319/2, 241, 242)
- 10:26, 20 февраля 2017 (разн. | история) . . (+57) . . Математическая логика (318, 319/2, 241, 242)
- 10:26, 20 февраля 2017 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 3.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 3.pdf»)
- 18:40, 19 февраля 2017 (разн. | история) . . (+2205) . . Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
- 18:18, 19 февраля 2017 (разн. | история) . . (+28) . . м Boolean SAT/SMT Solvers for Software Engineering
- 17:49, 16 февраля 2017 (разн. | история) . . (+4048) . . Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
- 22:20, 15 февраля 2017 (разн. | история) . . (+21) . . м Математическая логика (318, 319/2, 241, 242)
- 21:54, 15 февраля 2017 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 2.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 2.pdf»)
- 21:53, 15 февраля 2017 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 2.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 2.pdf»)
- 21:52, 15 февраля 2017 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 1.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 1.pdf»)
- 18:18, 14 февраля 2017 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 1.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 1.pdf»)
- 21:05, 13 февраля 2017 (разн. | история) . . (+110) . . Математические методы верификации схем и программ
- 21:01, 13 февраля 2017 (разн. | история) . . (+129) . . Н Файл:SecondExamVerification-2016-2017.pdf (результаты пересдачи по курсу мат.методов верификации схем и программ) (текущая)
- 17:29, 13 февраля 2017 (разн. | история) . . (-1) . . м Математическая логика (318, 319/2, 241, 242)
- 17:00, 13 февраля 2017 (разн. | история) . . (+440) . . Математическая логика (318, 319/2, 241, 242)
- 16:57, 13 февраля 2017 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 2.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 2.pdf»)
- 16:52, 13 февраля 2017 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 2.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 2.pdf»)
- 16:52, 13 февраля 2017 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 1.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 1.pdf»)
- 23:55, 12 февраля 2017 (разн. | история) . . (+143) . . м Математическая логика (318, 319/2, 241, 242)
- 23:54, 12 февраля 2017 (разн. | история) . . (+76) . . м Математическая логика и теория алгоритмов
- 23:53, 12 февраля 2017 (разн. | история) . . (+141) . . м Математическая логика и теория алгоритмов (Перенаправление на Математическая логика и логическое программирование (группа 318))
- 16:39, 8 февраля 2017 (разн. | история) . . (+63) . . м Информация для 2 курса
- 16:38, 8 февраля 2017 (разн. | история) . . (+42) . . м Заглавная страница
- 16:35, 8 февраля 2017 (разн. | история) . . (0) . . Заглавная страница
- 16:35, 8 февраля 2017 (разн. | история) . . (+54) . . Н Информация для 2-го курса (Перенаправление на Информация для 2 курса) (текущая)
- 16:32, 8 февраля 2017 (разн. | история) . . (+149) . . Информация для 2 курса
- 16:28, 8 февраля 2017 (разн. | история) . . (+110) . . Просеминар для 2-го курса
- 16:26, 8 февраля 2017 (разн. | история) . . (+105) . . Н Файл:Prosem 2016 Podymov Zakharov.pdf (Презентация задачи по компьютерным сетям на просеминаре.) (текущая)
- 16:19, 8 февраля 2017 (разн. | история) . . (+155) . . Просеминар для 2-го курса
- 18:27, 6 января 2017 (разн. | история) . . (-3781) . . Математическая логика (318, 319/2, 241, 242)
- 09:41, 23 декабря 2016 (разн. | история) . . (-37) . . м Практикум по пакетам проектирования сверхбольших интегральных схем (осенний семестр 2016 года)
- 16:49, 22 декабря 2016 (разн. | история) . . (-11) . . м Практикум по пакетам проектирования сверхбольших интегральных схем (осенний семестр 2016 года)
- 22:01, 20 декабря 2016 (разн. | история) . . (+862) . . Математические методы верификации схем и программ
- 21:55, 20 декабря 2016 (разн. | история) . . (+26) . . м Математические методы верификации схем и программ
- 21:54, 20 декабря 2016 (разн. | история) . . (+1136) . . Математические методы верификации схем и программ
- 22:01, 19 декабря 2016 (разн. | история) . . (+5) . . м Практикум по пакетам проектирования сверхбольших интегральных схем (осенний семестр 2016 года)
- 22:00, 19 декабря 2016 (разн. | история) . . (+698) . . Практикум по пакетам проектирования сверхбольших интегральных схем (осенний семестр 2016 года)
- 03:17, 15 декабря 2016 (разн. | история) . . (0) . . м Практикум (3 курс, осенний семестр 2016 года)
- 03:17, 15 декабря 2016 (разн. | история) . . (+174) . . Практикум (3 курс, осенний семестр 2016 года)
- 03:15, 15 декабря 2016 (разн. | история) . . (+125) . . Н Файл:Prac318 Autumn 2016 howto regular expressions boost regex.zip (для практикума 318 группы: как работать с регулярными выражениями в c++) (текущая)
- 02:02, 15 декабря 2016 (разн. | история) . . (+115) . . Практикум (3 курс, осенний семестр 2016 года)
- 02:01, 15 декабря 2016 (разн. | история) . . (+105) . . Н Файл:Prac318 Autumn 2016 howto bdd buddy.zip (для практикума на 3 курсе: как работать с bdd, библиотека BuDDy) (текущая)
- 18:53, 9 декабря 2016 (разн. | история) . . (0) . . Файл:Seminar Verification 10.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 10.pdf»)
- 20:45, 8 декабря 2016 (разн. | история) . . (+2323) . . Математические методы верификации схем и программ
- 15:56, 7 декабря 2016 (разн. | история) . . (+114) . . Математические методы верификации схем и программ
- 15:55, 7 декабря 2016 (разн. | история) . . (+180) . . Н Файл:Seminar Verification 10 errors.zip (математические методы верификации схем и программ; архив, прилагающийся к слайдам семинара по uppaal) (текущая)
- 08:48, 7 декабря 2016 (разн. | история) . . (+181) . . Математические методы верификации схем и программ
- 08:48, 7 декабря 2016 (разн. | история) . . (0) . . Н Файл:Seminar Verification 10.pdf
- 15:23, 5 декабря 2016 (разн. | история) . . (+243) . . Н Файл:Lecture Verification 10.pdf (математические методы верификации схем и программ, лекция 10: алгоритм model checking для tctl и временных автоматов (регионная модель Крипке))
- 02:35, 5 декабря 2016 (разн. | история) . . (0) . . Файл:Lecture Verification 9.pdf (PodymovVV загружена новая версия «Файл:Lecture Verification 9.pdf»)
- 02:22, 5 декабря 2016 (разн. | история) . . (+146) . . Н Файл:Lecture Verification 9.pdf (математические методы верификации схем и программ, лекция 9: временные автоматы)
- 22:23, 4 декабря 2016 (разн. | история) . . (+684) . . Практикум по пакетам проектирования сверхбольших интегральных схем (осенний семестр 2016 года)
- 22:18, 4 декабря 2016 (разн. | история) . . (-357) . . Практикум по пакетам проектирования сверхбольших интегральных схем (осенний семестр 2016 года)
- 22:18, 4 декабря 2016 (разн. | история) . . (+247) . . Н Файл:Prac 618 2 lect4.pdf (практикум по пакетам проектирования сверхбольших интегральных схем, лекция про многотактовый процессор и виды управляющих автоматов) (текущая)
- 14:11, 2 декабря 2016 (разн. | история) . . (0) . . м Практикум (3 курс, осенний семестр 2016 года)
- 13:56, 2 декабря 2016 (разн. | история) . . (-31) . . м Практикум (3 курс, осенний семестр 2016 года)
- 13:55, 2 декабря 2016 (разн. | история) . . (+187) . . Практикум (3 курс, осенний семестр 2016 года)
- 13:53, 2 декабря 2016 (разн. | история) . . (+227) . . Н Файл:Prac318 Autumn 2016 HW3 Overview.pdf (практикум на эвм для 318 группы, третье домашнее задание: реализация графа как набора bdd; операции над bdd; регулярные выражения) (текущая)
- 02:46, 27 ноября 2016 (разн. | история) . . (+231) . . м Практикум по пакетам проектирования сверхбольших интегральных схем (осенний семестр 2016 года)
- 02:36, 27 ноября 2016 (разн. | история) . . (+1274) . . Практикум по пакетам проектирования сверхбольших интегральных схем (осенний семестр 2016 года)
- 09:21, 18 ноября 2016 (разн. | история) . . (+2) . . м Математические методы верификации схем и программ
- 09:20, 18 ноября 2016 (разн. | история) . . (0) . . Файл:Seminar Verification 8.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 8.pdf»)
- 19:27, 17 ноября 2016 (разн. | история) . . (+3216) . . Математические методы верификации схем и программ
- 08:48, 16 ноября 2016 (разн. | история) . . (-9) . . м Математические методы верификации схем и программ
- 07:58, 16 ноября 2016 (разн. | история) . . (+171) . . Математические методы верификации схем и программ
- 07:56, 16 ноября 2016 (разн. | история) . . (+134) . . Н Файл:Seminar Verification 8.pdf (математические методы верификации схем и программ, семинар 8: практика Spin)
- 16:55, 14 ноября 2016 (разн. | история) . . (0) . . Файл:Seminar Verification 7 spin manual.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 7 spin manual.pdf») (текущая)
- 16:57, 13 ноября 2016 (разн. | история) . . (+1334) . . м Практикум по пакетам проектирования сверхбольших интегральных схем (осенний семестр 2016 года)
- 16:43, 13 ноября 2016 (разн. | история) . . (+237) . . Н Файл:Prac 618 2 Dataflows.pdf (практикум по пакетам проектирования сверхбольших интегральных схем: dataflow для модельного процессора и разных наборов инструкций) (текущая)
- 20:16, 10 ноября 2016 (разн. | история) . . (+127) . . м Математические методы верификации схем и программ
- 20:15, 10 ноября 2016 (разн. | история) . . (+90) . . Н Файл:Seminar Verification 7 spin manual.pdf (инструкция по работе со средством верификации SPIN)
- 16:38, 9 ноября 2016 (разн. | история) . . (+193) . . Математические методы верификации схем и программ
- 16:35, 9 ноября 2016 (разн. | история) . . (+222) . . Н Файл:Seminar Verification 7.pdf (математические методы верификации схем и программ, полулекционное занятие: обзор синтаксиса и модели систем средства SPIN)
- 18:17, 8 ноября 2016 (разн. | история) . . (0) . . Файл:Lecture Verification 7.pdf (PodymovVV загружена новая версия «Файл:Lecture Verification 7.pdf»)
- 09:48, 7 ноября 2016 (разн. | история) . . (+362) . . м Шаблон:Important Announcements (→Объявления)
- 09:46, 7 ноября 2016 (разн. | история) . . (+388) . . м Вечер кафедр 2016 (текущая)
- 09:41, 7 ноября 2016 (разн. | история) . . (+1478) . . Н Вечер кафедр 2016 (Новая страница: «На этой странице размещена информация о вечере кафедр математической кибернетики и инф…»)
- 09:38, 7 ноября 2016 (разн. | история) . . (+48) . . Н Файл:P7.pdf (расположение аудитории П-7) (текущая)
- 14:12, 2 ноября 2016 (разн. | история) . . (+9) . . Математические методы верификации схем и программ
- 14:12, 2 ноября 2016 (разн. | история) . . (0) . . Файл:Lecture Verification 7.pdf (PodymovVV загружена новая версия «Файл:Lecture Verification 7.pdf»)
- 14:05, 2 ноября 2016 (разн. | история) . . (+229) . . Н Файл:Lecture Verification 7.pdf (математические методы верификации схем и программ. лекция 7: табличный и автоматный алгоритмы проверки LTL-формул и около того)
- 08:29, 31 октября 2016 (разн. | история) . . (+157) . . Практикум по пакетам проектирования сверхбольших интегральных схем (осенний семестр 2016 года)
- 08:26, 31 октября 2016 (разн. | история) . . (+241) . . Н Файл:Prac 618 2 lect3.pdf (практикум по пакетам проектирования сверхбольших интегральных схем, лекция 3: debug схем (чтение нетлистов и диаграмм Мура, симуляция)) (текущая)
- 14:20, 26 октября 2016 (разн. | история) . . (+19) . . м Математические методы верификации схем и программ
- 14:19, 26 октября 2016 (разн. | история) . . (+24) . . м Математические методы верификации схем и программ
- 14:18, 26 октября 2016 (разн. | история) . . (+3143) . . м Математические методы верификации схем и программ
- 13:47, 26 октября 2016 (разн. | история) . . (+181) . . Н Файл:Seminar Verification 5.pdf (математические методы верификации схем и программ. семинар 5: практические задания для работы с NuSMV)
- 13:44, 26 октября 2016 (разн. | история) . . (0) . . Файл:Seminar Verification 4.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 4.pdf»)
- 12:45, 24 октября 2016 (разн. | история) . . (+276) . . м Практикум по пакетам проектирования сверхбольших интегральных схем (осенний семестр 2016 года)
- 12:41, 24 октября 2016 (разн. | история) . . (0) . . Файл:Prac 618 2 lect2.pdf (PodymovVV загружена новая версия «Файл:Prac 618 2 lect2.pdf») (текущая)
- 17:56, 21 октября 2016 (разн. | история) . . (+135) . . м Математические методы верификации схем и программ
- 17:35, 21 октября 2016 (разн. | история) . . (+2187) . . Практикум по пакетам проектирования сверхбольших интегральных схем (осенний семестр 2016 года)
- 17:14, 19 октября 2016 (разн. | история) . . (0) . . Файл:Seminar Verification 4.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 4.pdf»)
- 17:08, 19 октября 2016 (разн. | история) . . (+217) . . м Математические методы верификации схем и программ
- 16:58, 19 октября 2016 (разн. | история) . . (+192) . . Н Файл:Seminar Verification 4.pdf (математические методы верификации схем и программ, семинар 4. Обзор средства NuSMV (полулекционное занятие))
- 00:22, 18 октября 2016 (разн. | история) . . (+682) . . м Шаблон:Important Announcements (→Объявления)
- 00:16, 18 октября 2016 (разн. | история) . . (+108) . . м Семинар MIPSfpga (24.10.2016)
- 00:13, 18 октября 2016 (разн. | история) . . (+70) . . Н Файл:Mipsfpga seminar 2016 announcement.pdf (объявление о семинаре MIPSfpga в МГУ 24.10.2016) (текущая)
- 19:19, 17 октября 2016 (разн. | история) . . (+61) . . м Заглавная страница (→Информация)
- 19:17, 17 октября 2016 (разн. | история) . . (+200) . . Н Категория:События (Новая страница: «Учебно-научные мероприятия, события и новости, к которым имеет отношение кафедра матема…») (текущая)
- 19:14, 17 октября 2016 (разн. | история) . . (+10) . . м Команда факультета ВМК - победитель соревнования 2015 CAD Contest (текущая)
- 19:13, 17 октября 2016 (разн. | история) . . (+39) . . м Семинар MIPSfpga (24.10.2016)
- 19:02, 17 октября 2016 (разн. | история) . . (+3048) . . Н Семинар MIPSfpga (24.10.2016) (Новая страница: «С 18 октября по 12 ноября 2016 года представитель компании Imagination Technologies [http://panchul.com/about_ru/ Юри…»)
- 18:58, 17 октября 2016 (разн. | история) . . (0) . . Файл:Mipsfpga seminar 2016 program.xls (PodymovVV загружена новая версия «Файл:Mipsfpga seminar 2016 program.xls») (текущая)
- 18:55, 17 октября 2016 (разн. | история) . . (+86) . . Н Файл:Mipsfpga seminar 2016 program.xls (предварительная программа семинара mipsfpga 24.10.2016)
- 12:13, 15 октября 2016 (разн. | история) . . (+195) . . Практикум по пакетам проектирования сверхбольших интегральных схем (осенний семестр 2016 года)
- 12:10, 15 октября 2016 (разн. | история) . . (+325) . . Н Файл:Prac 618 2 lect2.pdf (практикум по пакетам проектирования сверхбольших интегральных схем, 2016. лекция 2. общая информация о модельном процессоре, описание инст…)
- 11:32, 12 октября 2016 (разн. | история) . . (+4492) . . Математические методы верификации схем и программ
- 10:53, 12 октября 2016 (разн. | история) . . (+179) . . Н Файл:Seminar Verification 3.pdf (мат.методы верификации схем и программ, семинар 3: табличный и символьный алгоритмы верификации CTL)
- 16:31, 11 октября 2016 (разн. | история) . . (-2) . . м Практикум по пакетам проектирования сверхбольших интегральных схем (осенний семестр 2016 года)
- 16:15, 11 октября 2016 (разн. | история) . . (+63) . . м Практикум по пакетам проектирования сверхбольших интегральных схем (осенний семестр 2016 года)
- 16:13, 11 октября 2016 (разн. | история) . . (+2019) . . Н Практикум по пакетам проектирования сверхбольших интегральных схем (осенний семестр 2016 года) (Новая страница: «= Общая информация = * Занятия проходят по пятницам с 14:35 до 16:10 в аудиториях 604 и 605. * Заняти…»)
- 15:55, 11 октября 2016 (разн. | история) . . (+144) . . Н Файл:Prac 618 2 sem1.pdf (практикум по пакетам проектирования сверхбольших интегральных схем, семинар 1) (текущая)
- 15:54, 11 октября 2016 (разн. | история) . . (0) . . Файл:Prac 618 2 lect1.pdf (PodymovVV загружена новая версия «Файл:Prac 618 2 lect1.pdf») (текущая)
- 15:43, 11 октября 2016 (разн. | история) . . (+142) . . Н Файл:Prac 618 2 lect1.pdf (практикум по пакетам проектирования сверхбольших интегральных схем, лекция 1)
- 16:23, 4 октября 2016 (разн. | история) . . (0) . . Файл:Prac 318 cmake.pdf (PodymovVV загружена новая версия «Файл:Prac 318 cmake.pdf») (текущая)
- 23:46, 3 октября 2016 (разн. | история) . . (+78) . . Практикум (3 курс, осенний семестр 2016 года)
- 23:45, 3 октября 2016 (разн. | история) . . (+120) . . Н Файл:Prac 318 command line in cpp.pdf (Лекция про разбор параметров командной строки в исходном коде C/C++) (текущая)
- 16:54, 3 октября 2016 (разн. | история) . . (+356) . . Практикум (3 курс, осенний семестр 2016 года)
- 16:45, 3 октября 2016 (разн. | история) . . (0) . . Н Файл:Prac 318 cmake.pdf
- 09:54, 30 сентября 2016 (разн. | история) . . (-13) . . м Математические методы верификации схем и программ
- 17:13, 28 сентября 2016 (разн. | история) . . (+186) . . м Математические методы верификации схем и программ
- 17:13, 28 сентября 2016 (разн. | история) . . (0) . . Файл:Seminar Verification 2.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 2.pdf»)
- 17:08, 28 сентября 2016 (разн. | история) . . (+215) . . Н Файл:Seminar Verification 2.pdf (618 группа, математические методы верификации схем и программ, семинар по моделям Крипке, логикам CTL, LTL, справедливости)
- 23:15, 26 сентября 2016 (разн. | история) . . (+32) . . м Практикум (3 курс, осенний семестр 2016 года)
- 23:11, 26 сентября 2016 (разн. | история) . . (0) . . Файл:Prac 318 GNU Make.pdf (PodymovVV загружена новая версия «Файл:Prac 318 GNU Make.pdf») (текущая)
- 14:01, 14 сентября 2016 (разн. | история) . . (+267) . . м Математические методы верификации схем и программ
- 12:56, 14 сентября 2016 (разн. | история) . . (+4) . . м Математические методы верификации схем и программ
- 12:26, 14 сентября 2016 (разн. | история) . . (+736) . . м Математические методы верификации схем и программ
- 12:14, 14 сентября 2016 (разн. | история) . . (0) . . Файл:Seminar Verification 1.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 1.pdf»)
- 12:07, 14 сентября 2016 (разн. | история) . . (+156) . . Н Файл:Seminar Verification 1.pdf (618 группа, математические методы верификации схем и программ, семинар по логике Хоара)
- 09:41, 9 сентября 2016 (разн. | история) . . (+74) . . Н Математические методы верификации схем и программ (Новая страница: «Категория:Лекционные курсы кафедры МК»)
- 13:43, 1 сентября 2016 (разн. | история) . . (+72) . . м Шаблон:Important Announcements
- 23:24, 10 июня 2016 (разн. | история) . . (0) . . Файл:Mllp 318 exam 2016.xls (PodymovVV загружена новая версия «Файл:Mllp 318 exam 2016.xls») (текущая)
- 14:29, 9 июня 2016 (разн. | история) . . (0) . . Файл:Mllp 318 exam 2016.xls (PodymovVV загружена новая версия «Файл:Mllp 318 exam 2016.xls»)
- 13:28, 9 июня 2016 (разн. | история) . . (+249) . . м Математическая логика (318, 319/2, 241, 242)
- 13:26, 9 июня 2016 (разн. | история) . . (+174) . . Н Файл:Mllp 318 exam 2016.xls (результаты экзамена по математической логике и логическому программированию, 318 группа, 2016 год)
- 14:41, 8 июня 2016 (разн. | история) . . (-2) . . м Математическая логика (318, 319/2, 241, 242)
- 14:40, 8 июня 2016 (разн. | история) . . (+180) . . м Математическая логика (318, 319/2, 241, 242)
- 14:27, 8 июня 2016 (разн. | история) . . (-103) . . м Математическая логика (318, 319/2, 241, 242)
- 17:55, 7 июня 2016 (разн. | история) . . (+309) . . м Математическая логика (318, 319/2, 241, 242)
- 17:39, 7 июня 2016 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 13.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 13.pdf»)
- 03:13, 3 июня 2016 (разн. | история) . . (-1829) . . м Математическая логика (318, 319/2, 241, 242)
- 00:02, 3 июня 2016 (разн. | история) . . (-45) . . м Математическая логика (318, 319/2, 241, 242)
- 23:59, 2 июня 2016 (разн. | история) . . (-227) . . м Математическая логика (318, 319/2, 241, 242)
- 23:57, 2 июня 2016 (разн. | история) . . (+2742) . . м Математическая логика (318, 319/2, 241, 242)
- 22:56, 2 июня 2016 (разн. | история) . . (+201) . . Н Файл:Mathlog 318 seminar zfc.pdf (Математическая логика и логическое программирование, материалы семинара по аксиоматической теории множеств)
- 22:56, 2 июня 2016 (разн. | история) . . (+97) . . м Математическая логика (318, 319/2, 241, 242)
- 21:30, 1 июня 2016 (разн. | история) . . (+319) . . м Математическая логика (318, 319/2, 241, 242)
- 21:28, 1 июня 2016 (разн. | история) . . (+242) . . Н Файл:Mathlog 318 seminar sat-smt.pdf (Математическая логика и логическое программирование, материалы семинара по аксиоматическим теориям и задачам выполнимости формул)
- 13:50, 20 мая 2016 (разн. | история) . . (+826) . . м Математическая логика (318, 319/2, 241, 242)
- 13:41, 20 мая 2016 (разн. | история) . . (+47) . . м Математическая логика (318, 319/2, 241, 242)
- 13:40, 20 мая 2016 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 18.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 18.pdf») (текущая)
- 17:40, 16 мая 2016 (разн. | история) . . (+1433) . . м Математическая логика (318, 319/2, 241, 242)
- 17:18, 16 мая 2016 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 17.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 17.pdf»)
- 12:26, 16 мая 2016 (разн. | история) . . (-175) . . м Математическая логика (318, 319/2, 241, 242)
- 12:25, 16 мая 2016 (разн. | история) . . (-99) . . м Математическая логика (318, 319/2, 241, 242)
- 13:26, 15 мая 2016 (разн. | история) . . (+618) . . м Математическая логика (318, 319/2, 241, 242)
- 13:18, 15 мая 2016 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 16.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 16.pdf»)
- 19:08, 29 апреля 2016 (разн. | история) . . (+126) . . м Математическая логика (318, 319/2, 241, 242)
- 19:07, 29 апреля 2016 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 15.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 15.pdf»)
- 12:05, 26 апреля 2016 (разн. | история) . . (+5) . . м Математическая логика (318, 319/2, 241, 242)
- 13:12, 25 апреля 2016 (разн. | история) . . (+2579) . . м Математическая логика (318, 319/2, 241, 242)
- 12:41, 25 апреля 2016 (разн. | история) . . (+80) . . Н Файл:Peano axioms.pdf (аксиомы Пеано для курса по мат.логике (318, 2016))
- 11:56, 25 апреля 2016 (разн. | история) . . (-126) . . м Математическая логика (318, 319/2, 241, 242)
- 11:48, 25 апреля 2016 (разн. | история) . . (0) . . м Математическая логика (318, 319/2, 241, 242)
- 11:47, 25 апреля 2016 (разн. | история) . . (+260) . . м Математическая логика (318, 319/2, 241, 242)
- 11:46, 25 апреля 2016 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 14.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 14.pdf»)
- 11:43, 25 апреля 2016 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 14.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 14.pdf»)
- 11:41, 25 апреля 2016 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 13.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 13.pdf»)
- 11:40, 25 апреля 2016 (разн. | история) . . (+334) . . м Математическая логика (318, 319/2, 241, 242)
- 11:38, 25 апреля 2016 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 12.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 12.pdf»)
- 23:46, 21 апреля 2016 (разн. | история) . . (+265) . . м Математическая логика (318, 319/2, 241, 242)
- 23:45, 21 апреля 2016 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 11.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 11.pdf»)
- 16:13, 14 апреля 2016 (разн. | история) . . (+558) . . м Просеминар для 2-го курса
- 15:57, 14 апреля 2016 (разн. | история) . . (-4) . . м Просеминар для 2-го курса
- 21:54, 13 апреля 2016 (разн. | история) . . (+128) . . м Просеминар для 2-го курса
- 21:37, 13 апреля 2016 (разн. | история) . . (+639) . . м Просеминар для 2-го курса
- 20:40, 13 апреля 2016 (разн. | история) . . (+106) . . м Просеминар для 2-го курса
- 14:55, 4 апреля 2016 (разн. | история) . . (0) . . Файл:Mllp test 2016.xls (PodymovVV загружена новая версия «Файл:Mllp test 2016.xls») (текущая)
- 14:50, 4 апреля 2016 (разн. | история) . . (-75) . . Математическая логика (318, 319/2, 241, 242)
- 14:43, 4 апреля 2016 (разн. | история) . . (+92) . . Н Файл:Mllp test 2016.xls (группа 318, результаты контрольной по мат.логике, 2016)
- 20:05, 3 апреля 2016 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 10.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 10.pdf»)
- 17:51, 3 апреля 2016 (разн. | история) . . (-156) . . м Математическая логика (318, 319/2, 241, 242)
- 17:49, 3 апреля 2016 (разн. | история) . . (+1531) . . м Математическая логика (318, 319/2, 241, 242)
- 17:01, 3 апреля 2016 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 10.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 10.pdf»)
- 17:01, 3 апреля 2016 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 10.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 10.pdf»)
- 13:55, 30 марта 2016 (разн. | история) . . (+135) . . м Математическая логика (318, 319/2, 241, 242)
- 02:58, 27 марта 2016 (разн. | история) . . (+12) . . м Математическая логика (318, 319/2, 241, 242)
- 02:56, 27 марта 2016 (разн. | история) . . (+5558) . . Математическая логика (318, 319/2, 241, 242)
- 18:16, 26 марта 2016 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 9.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 9.pdf»)
- 18:07, 26 марта 2016 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 9.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 9.pdf»)
- 23:57, 23 марта 2016 (разн. | история) . . (+9) . . м Заглавная страница
- 10:58, 21 марта 2016 (разн. | история) . . (+270) . . Математическая логика (318, 319/2, 241, 242)
- 10:57, 21 марта 2016 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 9.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 9.pdf»)
- 00:06, 20 марта 2016 (разн. | история) . . (+301) . . Математическая логика (318, 319/2, 241, 242)
- 00:04, 20 марта 2016 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 8.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 8.pdf»)
- 09:54, 12 марта 2016 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 7.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 7.pdf»)
- 22:56, 11 марта 2016 (разн. | история) . . (+134) . . Математическая логика (318, 319/2, 241, 242)
- 22:56, 11 марта 2016 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 7.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 7.pdf»)
- 23:06, 7 марта 2016 (разн. | история) . . (+368) . . м Математическая логика (318, 319/2, 241, 242)
- 22:51, 7 марта 2016 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 6.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 6.pdf»)
- 23:15, 4 марта 2016 (разн. | история) . . (+175) . . Н Файл:MK logo.png (Файл с картинкой, предлагаемой на замену стандартному подсолнуху в левом верхнем углу страницы)
- 22:00, 26 февраля 2016 (разн. | история) . . (+319) . . Математическая логика (318, 319/2, 241, 242)
- 21:48, 26 февраля 2016 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 5.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 5.pdf»)
- 23:27, 21 февраля 2016 (разн. | история) . . (+233) . . Математическая логика (318, 319/2, 241, 242)
- 23:24, 21 февраля 2016 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 4.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 4.pdf»)
- 23:22, 21 февраля 2016 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 4.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 4.pdf»)
- 03:21, 19 февраля 2016 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 2.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 2.pdf»)
- 13:17, 15 февраля 2016 (разн. | история) . . (+418) . . Математическая логика (318, 319/2, 241, 242)
- 13:13, 15 февраля 2016 (разн. | история) . . (+168) . . Н Файл:Mathlog 318 lecture 3.pdf (математическая логика и логическое программирование, лекция 3 по обновлённой программе (2016))
- 00:13, 14 февраля 2016 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 2.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 2.pdf»)
- 15:32, 12 февраля 2016 (разн. | история) . . (+252) . . Математическая логика (318, 319/2, 241, 242)
- 15:29, 12 февраля 2016 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 2.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 2.pdf»)
- 01:26, 10 февраля 2016 (разн. | история) . . (+6) . . Математическая логика (318, 319/2, 241, 242)
- 01:25, 10 февраля 2016 (разн. | история) . . (+197) . . Математическая логика (318, 319/2, 241, 242)
- 01:21, 10 февраля 2016 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 1.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 1.pdf»)
- 01:13, 10 февраля 2016 (разн. | история) . . (-885) . . Математическая логика (318, 319/2, 241, 242)
- 23:04, 4 февраля 2016 (разн. | история) . . (+19) . . Математическая логика (318, 319/2, 241, 242)
- 22:58, 4 февраля 2016 (разн. | история) . . (+583) . . Математическая логика (318, 319/2, 241, 242)
- 00:02, 10 декабря 2015 (разн. | история) . . (+320) . . Н Математические основы функционального программирования (Новая страница: «Полугодовой спецкурс Лектор: Р.И. Подловченко Media:Мофп по…»)
- 23:59, 9 декабря 2015 (разн. | история) . . (+209) . . Н Файл:Мофп подловченко вопросы 2015.docx (Вопросы к экзамену по курсу "Математические основы функционального программирования" Р.И. Подловченко, осень 2015 г.) (текущая)
- 03:41, 2 декабря 2015 (разн. | история) . . (+579) . . Участник:PodymovVV
- 03:22, 2 декабря 2015 (разн. | история) . . (0) . . Н Файл:Podymov.jpg (текущая)
- 20:08, 1 декабря 2015 (разн. | история) . . (+190) . . Команда факультета ВМК - победитель соревнования 2015 CAD Contest (Добавлены ссылки на страницы членов команды, уточнены их роли)
- 16:09, 24 ноября 2015 (разн. | история) . . (+386) . . Шаблон:Important Announcements (→Объявления)
- 16:08, 24 ноября 2015 (разн. | история) . . (+6314) . . Н Команда факультета ВМК - победитель соревнования 2015 CAD Contest (Новая страница: «Category:Новости 200px Команда факультета ВМК МГУ под руководством Ш…»)
- 16:04, 24 ноября 2015 (разн. | история) . . (+47) . . Н Файл:2015 cad contest gallery 5.JPG (2015 cad contest: фотография с iccad) (текущая)
- 16:04, 24 ноября 2015 (разн. | история) . . (+47) . . Н Файл:2015 cad contest gallery 4.jpg (2015 cad contest: фотография с iccad) (текущая)
- 16:03, 24 ноября 2015 (разн. | история) . . (+47) . . Н Файл:2015 cad contest gallery 3.JPG (2015 cad contest: фотография с iccad)
- 16:03, 24 ноября 2015 (разн. | история) . . (+47) . . Н Файл:2015 cad-contest gallery 2.JPG (2015 cad contest: фотография с iccad) (текущая)
- 16:02, 24 ноября 2015 (разн. | история) . . (+47) . . Н Файл:2015 cad contest gallery 1.JPG (2015 cad contest: фотография с iccad) (текущая)
- 15:01, 24 ноября 2015 (разн. | история) . . (+74) . . Н Файл:2015 cad contest team.jpg (2015 cad contest: фотография команды на фоне мгу) (текущая)
- 14:59, 24 ноября 2015 (разн. | история) . . (+55) . . Н Файл:2015 cad contest winners award.jpg (2015 cad contest: грамота победителям) (текущая)
- 14:28, 24 ноября 2015 (разн. | история) . . (+225) . . Шаблон:Important Announcements (→Объявления)
- 22:45, 8 ноября 2015 (разн. | история) . . (+770) . . Шаблон:Important Announcements (→Объявления)
- 02:18, 5 ноября 2015 (разн. | история) . . (+728) . . Шаблон:Important Announcements (→Объявления)
- 01:53, 5 ноября 2015 (разн. | история) . . (+99) . . Н Файл:Mipsfpga announcement.pdf (объявление об однодневном семинаре MIPSfpga 10 ноября 2015 г.) (текущая)
- 16:52, 29 мая 2015 (разн. | история) . . (-62) . . Математическая логика (318, 319/2, 241, 242)
- 16:47, 29 мая 2015 (разн. | история) . . (+97) . . Н Файл:Mathlog 318 lecture 19.pdf.pdf (лекция 19 по курсу математической логики для 318 группы) (текущая)
- 16:15, 29 мая 2015 (разн. | история) . . (-41) . . Математическая логика (318, 319/2, 241, 242)
- 16:14, 29 мая 2015 (разн. | история) . . (+97) . . Н Файл:Mathlog 318 lecture 18.pdf (лекция 18 по курсу математической логики для 318 группы)
- 14:40, 29 мая 2015 (разн. | история) . . (+97) . . Н Файл:Mathlog 318 lecture 17.pdf (лекция 17 по курсу математической логики для 318 группы)
- 15:43, 29 апреля 2015 (разн. | история) . . (-77) . . Математическая логика (318, 319/2, 241, 242)
- 15:40, 29 апреля 2015 (разн. | история) . . (+101) . . Н Файл:Mllp 318 test 2015 results.docx (318 группа, результаты контрольной по мат.лог. и лог.прог.) (текущая)
- 15:15, 29 апреля 2015 (разн. | история) . . (-122) . . Математическая логика (318, 319/2, 241, 242)
- 15:13, 29 апреля 2015 (разн. | история) . . (+97) . . Н Файл:Mathlog 318 lecture 16.pdf (лекция 16 по курсу математической логики для 318 группы)
- 23:32, 27 апреля 2015 (разн. | история) . . (+60) . . Математическая логика (318, 319/2, 241, 242)
- 23:29, 27 апреля 2015 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 15.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 15.pdf»)
- 23:27, 27 апреля 2015 (разн. | история) . . (+97) . . Н Файл:Mathlog 318 lecture 15.pdf (лекция 15 по курсу математической логики для 318 группы)
- 13:33, 15 апреля 2015 (разн. | история) . . (+23) . . Математическая логика (318, 319/2, 241, 242)
- 13:31, 15 апреля 2015 (разн. | история) . . (+97) . . Н Файл:Mathlog 318 lecture 14.pdf (лекция 14 по курсу математической логики для 318 группы)
- 14:40, 10 апреля 2015 (разн. | история) . . (+59) . . Математическая логика (318, 319/2, 241, 242)
- 14:38, 10 апреля 2015 (разн. | история) . . (+97) . . Н Файл:Mathlog 318 lecture 13.pdf (лекция 13 по курсу математической логики для 318 группы)
- 10:52, 9 апреля 2015 (разн. | история) . . (-76) . . Математическая логика (318, 319/2, 241, 242)
- 10:51, 9 апреля 2015 (разн. | история) . . (+43) . . Математическая логика (318, 319/2, 241, 242)
- 10:49, 9 апреля 2015 (разн. | история) . . (+97) . . Н Файл:Mathlog 318 lecture 12.pdf (лекция 12 по курсу математической логики для 318 группы)
- 05:00, 7 апреля 2015 (разн. | история) . . (-4) . . Математическая логика (318, 319/2, 241, 242)
- 04:58, 7 апреля 2015 (разн. | история) . . (+43) . . Математическая логика (318, 319/2, 241, 242)
- 04:56, 7 апреля 2015 (разн. | история) . . (+97) . . Н Файл:Mathlog 318 lecture 11.pdf (лекция 11 по курсу математической логики для 318 группы)
- 01:25, 7 апреля 2015 (разн. | история) . . (+395) . . Математическая логика (318, 319/2, 241, 242)
- 17:22, 30 марта 2015 (разн. | история) . . (+43) . . Математическая логика (318, 319/2, 241, 242)
- 17:20, 30 марта 2015 (разн. | история) . . (+97) . . Н Файл:Mathlog 318 lecture 10.pdf (лекция 10 по курсу математической логики для 318 группы)
- 18:55, 26 марта 2015 (разн. | история) . . (+42) . . Математическая логика (318, 319/2, 241, 242)
- 18:51, 26 марта 2015 (разн. | история) . . (+96) . . Н Файл:Mathlog 318 lecture 9.pdf (лекция 9 по курсу математической логики для 318 группы)
- 02:58, 25 марта 2015 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 7.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 7.pdf»)
- 11:48, 18 марта 2015 (разн. | история) . . (+42) . . Математическая логика (318, 319/2, 241, 242)
- 11:46, 18 марта 2015 (разн. | история) . . (+96) . . Н Файл:Mathlog 318 lecture 8.pdf (лекция 8 по курсу математической логики для 318 группы)
- 03:41, 17 марта 2015 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 7.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 7.pdf»)
- 03:35, 17 марта 2015 (разн. | история) . . (+42) . . Математическая логика (318, 319/2, 241, 242)
- 03:34, 17 марта 2015 (разн. | история) . . (+96) . . Н Файл:Mathlog 318 lecture 7.pdf (лекция 7 по курсу математической логики для 318 группы)
- 14:25, 11 марта 2015 (разн. | история) . . (-19) . . Математическая логика (318, 319/2, 241, 242)
- 14:24, 11 марта 2015 (разн. | история) . . (+42) . . Математическая логика (318, 319/2, 241, 242)
- 14:23, 11 марта 2015 (разн. | история) . . (+96) . . Н Файл:Mathlog 318 lecture 6.pdf (лекция 6 по курсу математической логики для 318 группы)
- 16:54, 4 марта 2015 (разн. | история) . . (+42) . . Математическая логика (318, 319/2, 241, 242)
- 16:53, 4 марта 2015 (разн. | история) . . (+96) . . Н Файл:Mathlog 318 lecture 5.pdf (лекция 5 по курсу математической логики для 318 группы)
- 16:56, 3 марта 2015 (разн. | история) . . (-74) . . Математическая логика (318, 319/2, 241, 242) ((Подымов) начал переделывать страницу под себя и выкладывать слайды)
- 16:39, 3 марта 2015 (разн. | история) . . (+96) . . Н Файл:Mathlog 318 lecture 4.pdf (лекция 4 по курсу математической логики для 318 группы)
- 16:38, 3 марта 2015 (разн. | история) . . (+96) . . Н Файл:Mathlog 318 lecture 2.pdf (лекция 2 по курсу математической логики для 318 группы)
- 16:37, 3 марта 2015 (разн. | история) . . (+96) . . Н Файл:Mathlog 318 lecture 1.pdf (лекция 1 по курсу математической логики для 318 группы)
(новейшие | старейшие) Просмотреть (500 более новые | 500 более старые) (20 | 50 | 100 | 250 | 500)