Вклад участника
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)
- 13:27, 26 сентября 2019 (разн. | история) . . (+2118) . . Теоретические проблемы программирования (→2018-19 учебный год)
- 13:15, 26 сентября 2019 (разн. | история) . . (-29) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 19:19, 19 сентября 2019 (разн. | история) . . (-14) . . Математические методы верификации схем и программ (→Программа)
- 21:31, 16 сентября 2019 (разн. | история) . . (-14) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 21:30, 16 сентября 2019 (разн. | история) . . (-54) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 19:23, 9 сентября 2019 (разн. | история) . . (-30) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 21:41, 3 сентября 2019 (разн. | история) . . (0) . . Файл:Lecture Verification 1.pdf (ZakharovVA загружена новая версия «Файл:Lecture Verification 1.pdf») (текущая)
- 20:24, 3 сентября 2019 (разн. | история) . . (0) . . Файл:Lecture Verification 1.pdf (ZakharovVA загружена новая версия «Файл:Lecture Verification 1.pdf»)
- 20:20, 3 сентября 2019 (разн. | история) . . (+67) . . Математические методы верификации схем и программ (→Программа)
- 20:15, 3 сентября 2019 (разн. | история) . . (-8) . . Математические методы верификации схем и программ
- 20:18, 31 августа 2019 (разн. | история) . . (0) . . Н Файл:People who made logic.pdf (текущая)
- 20:18, 31 августа 2019 (разн. | история) . . (+169) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 20:03, 31 августа 2019 (разн. | история) . . (0) . . Файл:LectLog 1.pdf (ZakharovVA загружена новая версия «Файл:LectLog 1.pdf») (текущая)
- 20:01, 31 августа 2019 (разн. | история) . . (0) . . Файл:LectLog 1.pdf (ZakharovVA загружена новая версия «Файл:LectLog 1.pdf»)
- 19:59, 31 августа 2019 (разн. | история) . . (+567) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 19:55, 31 августа 2019 (разн. | история) . . (+34) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 19:53, 31 августа 2019 (разн. | история) . . (+2) . . Математическая логика и логическое программирование (3-й поток)
- 19:53, 31 августа 2019 (разн. | история) . . (+24) . . Математическая логика и логическое программирование (3-й поток)
- 19:50, 31 августа 2019 (разн. | история) . . (+1) . . Математическая логика и логическое программирование (3-й поток)
- 10:21, 7 мая 2019 (разн. | история) . . (-11) . . Математическая логика и логическое программирование (3-й поток) (→Материалы для подготовки к государственному экзамену по математике)
- 16:42, 10 апреля 2019 (разн. | история) . . (0) . . Н Файл:Exam-418-2019.pdf (текущая)
- 16:42, 10 апреля 2019 (разн. | история) . . (+2) . . Модели вычислений
- 13:59, 7 февраля 2019 (разн. | история) . . (+645) . . Modern trends in discrete mathematics and computer science (→Lectures 3,4. Constraint satisfaction problem: an algebraic approach.)
- 13:46, 7 февраля 2019 (разн. | история) . . (+453) . . Modern trends in discrete mathematics and computer science (→Lecture 8. 13С metabolic flux analysis.)
- 13:45, 7 февраля 2019 (разн. | история) . . (+277) . . Modern trends in discrete mathematics and computer science (→Lecture 7. Some new bounds of Shannon functions for cardinality of test sets for logical circuits.)
- 13:40, 7 февраля 2019 (разн. | история) . . (-17) . . Modern trends in discrete mathematics and computer science (→Lecture 5. Closed classes in k-valued and partial k-valued logics.)
- 13:48, 21 января 2019 (разн. | история) . . (0) . . Н Файл:Test.pdf (текущая)
- 13:47, 21 января 2019 (разн. | история) . . (+10) . . Математическая логика и логическое программирование (3-й поток)
- 12:12, 7 января 2019 (разн. | история) . . (0) . . Н Файл:Exam-2019.pdf (текущая)
- 12:11, 7 января 2019 (разн. | история) . . (0) . . Математическая логика и логическое программирование (3-й поток) (→ВНИМАНИЕ!)
- 12:08, 7 января 2019 (разн. | история) . . (+140) . . Математическая логика и логическое программирование (3-й поток) (→ВНИМАНИЕ!)
- 17:18, 22 декабря 2018 (разн. | история) . . (0) . . Н Файл:Presentation-14-12-2018.pdf (текущая)
- 17:17, 22 декабря 2018 (разн. | история) . . (+87) . . Теоретические проблемы программирования (→2018-19 учебный год)
- 17:14, 22 декабря 2018 (разн. | история) . . (0) . . Файл:Colloquium-2018a.pdf (ZakharovVA загружена новая версия «Файл:Colloquium-2018a.pdf») (текущая)
- 17:08, 22 декабря 2018 (разн. | история) . . (-28) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 09:42, 20 декабря 2018 (разн. | история) . . (+3392) . . Теоретические проблемы программирования (→2018-19 учебный год)
- 23:00, 9 декабря 2018 (разн. | история) . . (-17) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 23:00, 9 декабря 2018 (разн. | история) . . (-17) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 21:54, 9 декабря 2018 (разн. | история) . . (-16) . . Математическая логика и логическое программирование (3-й поток)
- 11:01, 4 декабря 2018 (разн. | история) . . (0) . . Н Файл:Colloquium-2018a.pdf
- 11:01, 4 декабря 2018 (разн. | история) . . (+1) . . Математическая логика и логическое программирование (3-й поток) (→ВНИМАНИЕ!)
- 10:55, 4 декабря 2018 (разн. | история) . . (0) . . Файл:Colloquium-2018.pdf (ZakharovVA загружена новая версия «Файл:Colloquium-2018.pdf») (текущая)
- 10:53, 4 декабря 2018 (разн. | история) . . (0) . . Файл:Colloquium-2018.pdf (ZakharovVA загружена новая версия «Файл:Colloquium-2018.pdf»)
- 10:51, 4 декабря 2018 (разн. | история) . . (0) . . Файл:Colloquium-2018.pdf (ZakharovVA загружена новая версия «Файл:Colloquium-2018.pdf»)
- 12:58, 30 ноября 2018 (разн. | история) . . (+420) . . Шаблон:Current Seminars (→Доклады на спецсеминарах)
- 12:56, 30 ноября 2018 (разн. | история) . . (+1080) . . Теоретические проблемы программирования (→2018-19 учебный год)
- 12:51, 30 ноября 2018 (разн. | история) . . (+383) . . Теоретические проблемы программирования (→2018-19 учебный год)
- 12:38, 30 ноября 2018 (разн. | история) . . (-4) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 12:38, 30 ноября 2018 (разн. | история) . . (-71) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 19:39, 17 ноября 2018 (разн. | история) . . (-25) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)
