Вклад участника
(новейшие | старейшие) Просмотреть (500 более новые | 500 более старые) (20 | 50 | 100 | 250 | 500)
- 19:27, 1 апреля 2017 (разн. | история) . . (0) . . Н Файл:Lecture PM 7.pdf (текущая)
- 19:26, 1 апреля 2017 (разн. | история) . . (+48) . . Математические модели последовательных вычислений (→Лекции)
- 18:19, 1 апреля 2017 (разн. | история) . . (-2) . . Шаблон:Current Seminars (→Доклады на спецсеминарах)
- 18:18, 1 апреля 2017 (разн. | история) . . (+1192) . . Шаблон:Current Seminars (→Доклады на спецсеминарах)
- 18:16, 1 апреля 2017 (разн. | история) . . (+2358) . . Теоретические проблемы программирования (→2016-17 учебный год)
- 16:06, 29 марта 2017 (разн. | история) . . (+2) . . Модели вычислений (→Лекции)
- 16:05, 29 марта 2017 (разн. | история) . . (-25) . . Модели вычислений (→Лекции)
- 15:32, 29 марта 2017 (разн. | история) . . (0) . . Файл:DistrAlg 7.pdf (ZakharovVA загружена новая версия «Файл:DistrAlg 7.pdf») (текущая)
- 15:30, 29 марта 2017 (разн. | история) . . (-7) . . Распределенные алгоритмы и системы (→Программа)
- 14:24, 29 марта 2017 (разн. | история) . . (0) . . Шаблон:Current Seminars (→Доклады на спецсеминарах)
- 14:24, 29 марта 2017 (разн. | история) . . (+365) . . Шаблон:Current Seminars (→Доклады на спецсеминарах)
- 14:20, 29 марта 2017 (разн. | история) . . (+1168) . . Теоретические проблемы программирования (→2016-17 учебный год)
- 08:24, 27 марта 2017 (разн. | история) . . (0) . . Математические модели последовательных вычислений (→Алгебры процессов и Pi-исчисление)
- 08:23, 27 марта 2017 (разн. | история) . . (-1) . . Математические модели последовательных вычислений (→Лекции)
- 08:22, 27 марта 2017 (разн. | история) . . (+2) . . Модели вычислений (→Лекции)
- 21:12, 26 марта 2017 (разн. | история) . . (+823) . . Математические модели последовательных вычислений (→Алгебры процессов и Pi-исчисление)
- 15:28, 26 марта 2017 (разн. | история) . . (+1053) . . Математические модели последовательных вычислений (→Лекции)
- 15:23, 26 марта 2017 (разн. | история) . . (0) . . Математические модели последовательных вычислений (→Алгебры процессов и Pi-исчисление)
- 15:23, 26 марта 2017 (разн. | история) . . (+37) . . Математические модели последовательных вычислений (→Pi-исчисление)
- 15:22, 26 марта 2017 (разн. | история) . . (0) . . Математические модели последовательных вычислений (→Схемы программ)
- 15:22, 26 марта 2017 (разн. | история) . . (+1401) . . Математические модели последовательных вычислений (→Сети Петри)
- 15:18, 26 марта 2017 (разн. | история) . . (+2381) . . Математические модели последовательных вычислений (→Схемы программ)
- 13:33, 24 марта 2017 (разн. | история) . . (0) . . Н Файл:Lecture PM 6.pdf (текущая)
- 13:32, 24 марта 2017 (разн. | история) . . (+48) . . Математические модели последовательных вычислений (→Лекции)
- 21:44, 22 марта 2017 (разн. | история) . . (-11) . . Модели вычислений (→Лекции)
- 15:13, 20 марта 2017 (разн. | история) . . (0) . . Файл:DistrAlg 6.pdf (ZakharovVA загружена новая версия «Файл:DistrAlg 6.pdf») (текущая)
- 15:11, 20 марта 2017 (разн. | история) . . (+67) . . Распределенные алгоритмы и системы (→Программа)
- 13:56, 20 марта 2017 (разн. | история) . . (+2) . . Теоретические проблемы программирования (→2016-17 учебный год)
- 13:55, 20 марта 2017 (разн. | история) . . (+51) . . Шаблон:Current Seminars (→Доклады на спецсеминарах)
- 13:53, 20 марта 2017 (разн. | история) . . (+1551) . . Теоретические проблемы программирования (→2016-17 учебный год)
- 23:37, 18 марта 2017 (разн. | история) . . (+25) . . Шаблон:Current Seminars (→Доклады на спецсеминарах)
- 18:49, 17 марта 2017 (разн. | история) . . (0) . . Н Файл:Lecture PM 5.pdf (текущая)
- 18:48, 17 марта 2017 (разн. | история) . . (+48) . . Математические модели последовательных вычислений (→Лекции)
- 11:58, 16 марта 2017 (разн. | история) . . (0) . . Файл:Lecture 8.pdf (ZakharovVA загружена новая версия «Файл:Lecture 8.pdf»)
- 11:57, 16 марта 2017 (разн. | история) . . (0) . . Файл:Lecture 7.pdf (ZakharovVA загружена новая версия «Файл:Lecture 7.pdf»)
- 11:56, 16 марта 2017 (разн. | история) . . (-6) . . Модели вычислений (→Лекции)
- 11:55, 16 марта 2017 (разн. | история) . . (-17) . . Модели вычислений (→Лекции)
- 13:21, 13 марта 2017 (разн. | история) . . (0) . . Файл:DistrAlg 5.pdf (ZakharovVA загружена новая версия «Файл:DistrAlg 5.pdf») (текущая)
- 13:20, 13 марта 2017 (разн. | история) . . (+4) . . Распределенные алгоритмы и системы (→Программа)
- 13:19, 13 марта 2017 (разн. | история) . . (+3) . . Распределенные алгоритмы и системы (→Программа)
- 13:18, 13 марта 2017 (разн. | история) . . (-7) . . Распределенные алгоритмы и системы (→Программа)
- 14:23, 10 марта 2017 (разн. | история) . . (+1) . . Теоретические проблемы программирования
- 14:21, 10 марта 2017 (разн. | история) . . (+75) . . Шаблон:Current Seminars (→Доклады на спецсеминарах)
- 14:18, 10 марта 2017 (разн. | история) . . (0) . . Теоретические проблемы программирования (→2016-17 учебный год)
- 14:18, 10 марта 2017 (разн. | история) . . (+1335) . . Теоретические проблемы программирования (→2016-17 учебный год)
- 13:30, 10 марта 2017 (разн. | история) . . (0) . . Н Файл:Lecture PM 4.pdf (текущая)
- 12:41, 10 марта 2017 (разн. | история) . . (+48) . . Математические модели последовательных вычислений (→Лекции)
- 22:52, 6 марта 2017 (разн. | история) . . (0) . . Файл:DistrAlg 4.pdf (ZakharovVA загружена новая версия «Файл:DistrAlg 4.pdf») (текущая)
- 22:51, 6 марта 2017 (разн. | история) . . (-7) . . Распределенные алгоритмы и системы (→Программа)
- 14:32, 3 марта 2017 (разн. | история) . . (+6) . . Модели вычислений (→Программа курса)
- 14:31, 3 марта 2017 (разн. | история) . . (+8) . . Модели вычислений (→Лекции)
- 14:29, 3 марта 2017 (разн. | история) . . (+1) . . Модели вычислений (→Лекции)
- 14:28, 3 марта 2017 (разн. | история) . . (-6) . . Модели вычислений (→Лекции)
- 13:02, 3 марта 2017 (разн. | история) . . (+2312) . . Математические модели последовательных вычислений (→Лекции)
- 12:51, 3 марта 2017 (разн. | история) . . (0) . . Н Файл:Lecture PM 3.pdf (текущая)
- 12:48, 3 марта 2017 (разн. | история) . . (+48) . . Математические модели последовательных вычислений (→Лекции)
- 17:10, 1 марта 2017 (разн. | история) . . (0) . . Файл:Lecture 6.pdf (ZakharovVA загружена новая версия «Файл:Lecture 6.pdf») (текущая)
- 17:07, 1 марта 2017 (разн. | история) . . (-3) . . Модели вычислений (→Лекции)
- 17:07, 1 марта 2017 (разн. | история) . . (-8) . . Модели вычислений (→Лекции)
- 23:12, 26 февраля 2017 (разн. | история) . . (-22) . . Модели вычислений (→Лекции)
- 23:09, 26 февраля 2017 (разн. | история) . . (0) . . Файл:DistrAlg 3.pdf (ZakharovVA загружена новая версия «Файл:DistrAlg 3.pdf») (текущая)
- 23:08, 26 февраля 2017 (разн. | история) . . (-7) . . Распределенные алгоритмы и системы (→Программа)
- 16:19, 20 февраля 2017 (разн. | история) . . (0) . . Файл:DistrAlg 2.pdf (ZakharovVA загружена новая версия «Файл:DistrAlg 2.pdf») (текущая)
- 16:16, 20 февраля 2017 (разн. | история) . . (-7) . . Распределенные алгоритмы и системы (→Программа)
- 16:07, 20 февраля 2017 (разн. | история) . . (0) . . Файл:DistrAlg 1.pdf (ZakharovVA загружена новая версия «Файл:DistrAlg 1.pdf») (текущая)
- 13:09, 17 февраля 2017 (разн. | история) . . (0) . . Н Файл:Lecture PM 2.pdf (текущая)
- 13:07, 17 февраля 2017 (разн. | история) . . (0) . . Математические модели последовательных вычислений (→Лекции)
- 13:07, 17 февраля 2017 (разн. | история) . . (+47) . . Математические модели последовательных вычислений (→Лекции)
- 08:34, 17 февраля 2017 (разн. | история) . . (-12) . . Модели вычислений (→Лекции)
- 23:56, 13 февраля 2017 (разн. | история) . . (+127) . . Математическая логика и логическое программирование (3-й поток) (→ЭКЗАМЕН)
- 23:54, 13 февраля 2017 (разн. | история) . . (0) . . Н Файл:Exam-2016-1.pdf (текущая)
- 23:53, 13 февраля 2017 (разн. | история) . . (+87) . . Математическая логика и логическое программирование (3-й поток) (→ЭКЗАМЕН)
- 16:58, 13 февраля 2017 (разн. | история) . . (+751) . . Участник:ZakharovVA (→Области научных интересов)
- 16:49, 13 февраля 2017 (разн. | история) . . (+6050) . . Участник:ZakharovVA (→Избранные публикации)
- 16:13, 13 февраля 2017 (разн. | история) . . (+9) . . Участник:ZakharovVA (→Избранные публикации)
- 16:11, 13 февраля 2017 (разн. | история) . . (+4649) . . Участник:ZakharovVA (→Избранные публикации)
- 16:02, 13 февраля 2017 (разн. | история) . . (+10) . . Участник:ZakharovVA (→Аспиранты и студенты)
- 15:27, 13 февраля 2017 (разн. | история) . . (+77) . . Распределенные алгоритмы и системы
- 19:23, 12 февраля 2017 (разн. | история) . . (+96) . . Участник:ZakharovVA (→Лекционные курсы)
- 19:13, 12 февраля 2017 (разн. | история) . . (0) . . Н Файл:Lecture PM 1.pdf (текущая)
- 18:58, 12 февраля 2017 (разн. | история) . . (+4631) . . Математические модели последовательных вычислений
- 17:58, 12 февраля 2017 (разн. | история) . . (+229) . . Модели вычислений
- 17:55, 12 февраля 2017 (разн. | история) . . (+4) . . Математическая логика и логическое программирование (3-й поток)
- 12:44, 10 февраля 2017 (разн. | история) . . (+76) . . Математические модели последовательных вычислений
- 12:43, 10 февраля 2017 (разн. | история) . . (+94) . . Н Математические модели последовательных вычислений (Новая страница: «Модели последовательных и параллельных вычислений»)
- 13:18, 8 февраля 2017 (разн. | история) . . (0) . . Н Файл:Lecture CM 2.pdf (текущая)
- 13:17, 8 февраля 2017 (разн. | история) . . (0) . . Н Файл:Lecture CM 1.pdf (текущая)
- 13:16, 8 февраля 2017 (разн. | история) . . (+6) . . Модели вычислений (→Лекции)
- 13:12, 8 февраля 2017 (разн. | история) . . (-24) . . Модели вычислений (→Лекции)
- 22:51, 7 февраля 2017 (разн. | история) . . (+8) . . Модели вычислений
- 22:50, 7 февраля 2017 (разн. | история) . . (+140) . . Модели вычислений
- 13:59, 14 января 2017 (разн. | история) . . (+4) . . Математические методы верификации схем и программ
- 13:58, 14 января 2017 (разн. | история) . . (0) . . Математические методы верификации схем и программ (→Общая информация)
- 13:56, 14 января 2017 (разн. | история) . . (0) . . Н Файл:ExamVerification-2016.pdf (текущая)
- 13:56, 14 января 2017 (разн. | история) . . (+33) . . Математические методы верификации схем и программ (→Общая информация)
- 13:54, 14 января 2017 (разн. | история) . . (+61) . . Математические методы верификации схем и программ (→Общая информация)
- 14:54, 10 января 2017 (разн. | история) . . (+1435) . . Математические методы верификации схем и программ (→Правила проведения экзамена)
- 11:18, 6 января 2017 (разн. | история) . . (0) . . Н Файл:Exam-2016.pdf (текущая)
- 11:18, 6 января 2017 (разн. | история) . . (+83) . . Математическая логика и логическое программирование (3-й поток) (→ЭКЗАМЕН)
- 13:48, 5 января 2017 (разн. | история) . . (0) . . Файл:Colloquium-2016.pdf (ZakharovVA загружена новая версия «Файл:Colloquium-2016.pdf») (текущая)
- 09:34, 5 января 2017 (разн. | история) . . (0) . . Математическая логика и логическое программирование (3-й поток) (→ЭКЗАМЕН)
- 09:58, 31 декабря 2016 (разн. | история) . . (+100) . . Участник:ZakharovVA (→Лекционные курсы)
- 12:13, 30 декабря 2016 (разн. | история) . . (+133) . . Шаблон:Important Announcements (→Объявления)
- 16:01, 27 декабря 2016 (разн. | история) . . (0) . . Файл:Test-3.pdf (ZakharovVA загружена новая версия «Файл:Test-3.pdf») (текущая)
- 16:00, 27 декабря 2016 (разн. | история) . . (0) . . Н Файл:Test-4.pdf (текущая)
- 16:00, 27 декабря 2016 (разн. | история) . . (+41) . . Математическая логика и логическое программирование (3-й поток) (→ЭКЗАМЕН)
- 15:58, 27 декабря 2016 (разн. | история) . . (+44) . . Математическая логика и логическое программирование (3-й поток) (→ЭКЗАМЕН)
- 16:45, 26 декабря 2016 (разн. | история) . . (+3) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 16:43, 26 декабря 2016 (разн. | история) . . (+4) . . Математическая логика и логическое программирование (3-й поток) (→Неклассические прикладные логики)
- 16:39, 26 декабря 2016 (разн. | история) . . (0) . . Н Файл:Test-3.pdf
- 16:37, 26 декабря 2016 (разн. | история) . . (+42) . . Математическая логика и логическое программирование (3-й поток) (→ЭКЗАМЕН)
- 16:01, 26 декабря 2016 (разн. | история) . . (+239) . . Математическая логика и логическое программирование (3-й поток) (→ЭКЗАМЕН)
- 21:25, 24 декабря 2016 (разн. | история) . . (0) . . Математическая логика и логическое программирование (3-й поток) (→ЭКЗАМЕН)
- 21:24, 24 декабря 2016 (разн. | история) . . (0) . . Н Файл:Test-2.pdf (текущая)
- 21:24, 24 декабря 2016 (разн. | история) . . (+40) . . Математическая логика и логическое программирование (3-й поток) (→ЭКЗАМЕН)
- 21:05, 24 декабря 2016 (разн. | история) . . (0) . . Н Файл:Test-1.pdf (текущая)
- 21:04, 24 декабря 2016 (разн. | история) . . (+745) . . Математическая логика и логическое программирование (3-й поток) (→ЭКЗАМЕН)
- 20:52, 24 декабря 2016 (разн. | история) . . (+17) . . Математическая логика и логическое программирование (3-й поток) (→Результаты коллокувиума (21.11.2016))
- 17:18, 19 декабря 2016 (разн. | история) . . (0) . . Файл:Colloquium-2016.pdf (ZakharovVA загружена новая версия «Файл:Colloquium-2016.pdf»)
- 17:14, 19 декабря 2016 (разн. | история) . . (0) . . Н Файл:LectLog25.pdf (текущая)
- 17:13, 19 декабря 2016 (разн. | история) . . (-27) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 13:12, 16 декабря 2016 (разн. | история) . . (0) . . Н Файл:Lecture Verification 11.pdf (текущая)
- 16:42, 12 декабря 2016 (разн. | история) . . (0) . . Н Файл:LectLog22-2.pdf (текущая)
- 16:39, 12 декабря 2016 (разн. | история) . . (-52) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 09:32, 7 декабря 2016 (разн. | история) . . (-157) . . Шаблон:Current Seminars (→Доклады на спецсеминарах)
- 09:30, 7 декабря 2016 (разн. | история) . . (+651) . . Теоретические проблемы программирования (→2016-17 учебный год)
- 09:24, 7 декабря 2016 (разн. | история) . . (-27) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 13:57, 2 декабря 2016 (разн. | история) . . (+459) . . Шаблон:Current Seminars (→Доклады на спецсеминарах)
- 13:56, 2 декабря 2016 (разн. | история) . . (+462) . . Шаблон:Current Seminars (→Доклады на спецсеминарах)
- 13:55, 2 декабря 2016 (разн. | история) . . (-768) . . Шаблон:Current Seminars (→Доклады на спецсеминарах)
- 13:54, 2 декабря 2016 (разн. | история) . . (-154) . . Шаблон:Current Seminars (→Доклады на спецсеминарах)
- 13:52, 2 декабря 2016 (разн. | история) . . (-1030) . . Шаблон:Current Seminars (→Доклады на спецсеминарах)
- 13:50, 2 декабря 2016 (разн. | история) . . (+809) . . Теоретические проблемы программирования (→2016-17 учебный год)
- 23:06, 29 ноября 2016 (разн. | история) . . (-54) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 13:40, 25 ноября 2016 (разн. | история) . . (0) . . Файл:Colloquium-2016.pdf (ZakharovVA загружена новая версия «Файл:Colloquium-2016.pdf»)
- 13:38, 25 ноября 2016 (разн. | история) . . (0) . . Файл:Colloquium-2016.pdf (ZakharovVA загружена новая версия «Файл:Colloquium-2016.pdf»)
- 13:35, 25 ноября 2016 (разн. | история) . . (0) . . Н Файл:Lecture Verification 8.pdf (текущая)
- 13:33, 25 ноября 2016 (разн. | история) . . (+6) . . Математические методы верификации схем и программ (→Программа)
- 16:51, 24 ноября 2016 (разн. | история) . . (0) . . Файл:Colloquium-2016.pdf (ZakharovVA загружена новая версия «Файл:Colloquium-2016.pdf»)
- 16:48, 24 ноября 2016 (разн. | история) . . (0) . . Н Файл:Colloquium-2016.pdf
- 16:47, 24 ноября 2016 (разн. | история) . . (-26) . . Математическая логика и логическое программирование (3-й поток)
- 12:50, 21 ноября 2016 (разн. | история) . . (+1777) . . Теоретические проблемы программирования (→2016-17 учебный год)
- 12:48, 21 ноября 2016 (разн. | история) . . (+534) . . Шаблон:Current Seminars (→Доклады на спецсеминарах)
- 10:23, 18 ноября 2016 (разн. | история) . . (+3) . . Теоретические проблемы программирования (→2016-17 учебный год)
- 10:21, 18 ноября 2016 (разн. | история) . . (+7) . . Теоретические проблемы программирования (→2016-17 учебный год)
- 10:21, 18 ноября 2016 (разн. | история) . . (+1301) . . Теоретические проблемы программирования (→2016-17 учебный год)
- 10:18, 18 ноября 2016 (разн. | история) . . (+2) . . Шаблон:Current Seminars (→Доклады на спецсеминарах)
- 10:17, 18 ноября 2016 (разн. | история) . . (-450) . . Шаблон:Current Seminars (→Доклады на спецсеминарах)
- 14:30, 14 ноября 2016 (разн. | история) . . (+35) . . Математическая логика и логическое программирование (3-й поток)
- 22:29, 4 ноября 2016 (разн. | история) . . (-85) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 10:00, 2 ноября 2016 (разн. | история) . . (+24) . . Подловченко Римма Ивановна
- 09:59, 2 ноября 2016 (разн. | история) . . (-41) . . Научная работа (→Разработка математических моделей и методов верификации программ)
- 22:35, 1 ноября 2016 (разн. | история) . . (-2145) . . Шаблон:Current Seminars (→Доклады на спецсеминарах)
- 21:21, 23 октября 2016 (разн. | история) . . (-44) . . Теоретические проблемы программирования
- 21:19, 23 октября 2016 (разн. | история) . . (+7146) . . Теоретические проблемы программирования (→2016-17 учебный год)
- 21:13, 23 октября 2016 (разн. | история) . . (+122) . . Теоретические проблемы программирования
- 21:01, 23 октября 2016 (разн. | история) . . (+3168) . . Теоретические проблемы программирования
- 20:54, 23 октября 2016 (разн. | история) . . (+130) . . Теоретические проблемы программирования
- 20:44, 23 октября 2016 (разн. | история) . . (+1760) . . Шаблон:Current Seminars (→Доклады на спецсеминарах)
- 00:15, 21 октября 2016 (разн. | история) . . (+272) . . Шаблон:Current Seminars (→Доклады на спецсеминарах)
- 08:39, 17 октября 2016 (разн. | история) . . (+5) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 08:38, 17 октября 2016 (разн. | история) . . (-132) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 20:57, 11 октября 2016 (разн. | история) . . (+21) . . Шаблон:Current Seminars (→Доклады на спецсеминарах)
- 20:56, 11 октября 2016 (разн. | история) . . (+1278) . . Шаблон:Current Seminars (→Доклады на спецсеминарах)
- 16:51, 11 октября 2016 (разн. | история) . . (+206) . . Шаблон:Current Seminars (→Доклады на спецсеминарах)
- 18:43, 7 октября 2016 (разн. | история) . . (0) . . Н Файл:Lecture Verification 6.pdf (текущая)
- 18:42, 7 октября 2016 (разн. | история) . . (-241) . . Математические методы верификации схем и программ (→Программа)
- 11:35, 6 октября 2016 (разн. | история) . . (-3) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 11:34, 6 октября 2016 (разн. | история) . . (-28) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 11:33, 6 октября 2016 (разн. | история) . . (+224) . . Шаблон:Current Seminars (→Доклады на спецсеминарах)
- 11:27, 6 октября 2016 (разн. | история) . . (+250) . . Шаблон:Current Seminars (→Доклады на спецсеминарах)
- 11:22, 6 октября 2016 (разн. | история) . . (0) . . Н Файл:Lecture Verification 5.pdf (текущая)
- 11:21, 6 октября 2016 (разн. | история) . . (-1) . . Математические методы верификации схем и программ (→Программа)
- 23:01, 24 сентября 2016 (разн. | история) . . (+3245) . . Математические методы верификации схем и программ
- 21:34, 24 сентября 2016 (разн. | история) . . (0) . . Н Файл:Lecture Verification 4.pdf (текущая)
- 11:39, 21 сентября 2016 (разн. | история) . . (0) . . Н Файл:Lecture Verification 3.pdf (текущая)
- 17:12, 20 сентября 2016 (разн. | история) . . (-81) . . Математическая логика и логическое программирование (3-й поток)
- 14:13, 9 сентября 2016 (разн. | история) . . (0) . . Н Файл:Lecture Verification 2.pdf
- 14:12, 9 сентября 2016 (разн. | история) . . (0) . . Н Файл:Lecture Verification 1.pdf
- 13:26, 9 сентября 2016 (разн. | история) . . (+3562) . . Математические методы верификации схем и программ
- 13:02, 9 сентября 2016 (разн. | история) . . (-3892) . . Математические методы верификации схем и программ
- 12:44, 9 сентября 2016 (разн. | история) . . (+5889) . . Математические методы верификации схем и программ
- 20:03, 4 сентября 2016 (разн. | история) . . (+513) . . Математическая логика и логическое программирование (3-й поток)
- 19:54, 4 сентября 2016 (разн. | история) . . (+2) . . Математическая логика и логическое программирование (3-й поток)
- 19:52, 4 сентября 2016 (разн. | история) . . (+9) . . Математическая логика и логическое программирование (3-й поток)
- 19:47, 4 сентября 2016 (разн. | история) . . (0) . . Математическая логика и логическое программирование (3-й поток)
- 23:41, 28 мая 2016 (разн. | история) . . (0) . . Н Файл:Группа 521(new).docx (текущая)
- 23:40, 28 мая 2016 (разн. | история) . . (+97) . . Распределенные алгоритмы и системы
- 00:12, 18 мая 2016 (разн. | история) . . (0) . . Н Файл:Tasks DisAlg.pdf (текущая)
- 00:11, 18 мая 2016 (разн. | история) . . (+7) . . Распределенные алгоритмы и системы
- 00:10, 18 мая 2016 (разн. | история) . . (+72) . . Распределенные алгоритмы и системы (→Программа)
- 08:26, 16 мая 2016 (разн. | история) . . (0) . . Н Файл:DistrAlg 12.pdf
- 08:25, 16 мая 2016 (разн. | история) . . (+51) . . Распределенные алгоритмы и системы (→Программа)
- 12:59, 15 мая 2016 (разн. | история) . . (+1) . . Математическая логика и теория алгоритмов (→Лекции по курсу математической логики и логического программирования)
- 12:59, 15 мая 2016 (разн. | история) . . (0) . . Н Файл:Lect241 15.pdf (текущая)
- 12:57, 15 мая 2016 (разн. | история) . . (0) . . Н Файл:Lect241 14.pdf (текущая)
- 12:56, 15 мая 2016 (разн. | история) . . (+380) . . Математическая логика и теория алгоритмов (→Лекции по курсу математической логики и логического программирования)
- 01:03, 12 мая 2016 (разн. | история) . . (-2) . . Математическая логика и логическое программирование (3-й поток) (→Материалы для подготовки к государственному экзамену по математике)
- 01:03, 12 мая 2016 (разн. | история) . . (0) . . Математическая логика и логическое программирование (3-й поток)
- 10:13, 29 апреля 2016 (разн. | история) . . (0) . . Н Файл:Lect241 13.pdf (текущая)
- 10:12, 29 апреля 2016 (разн. | история) . . (0) . . Н Файл:Lect241 12.pdf (текущая)
- 10:10, 29 апреля 2016 (разн. | история) . . (0) . . Н Файл:Lect241 11.pdf (текущая)
- 19:02, 25 апреля 2016 (разн. | история) . . (+278) . . Математическая логика и теория алгоритмов (→Лекции по курсу математической логики и логического программирования)
- 16:33, 25 апреля 2016 (разн. | история) . . (+1) . . Распределенные алгоритмы и системы (→Программа)
- 16:32, 25 апреля 2016 (разн. | история) . . (-2) . . Распределенные алгоритмы и системы (→Программа)
- 16:31, 25 апреля 2016 (разн. | история) . . (0) . . Н Файл:DistrAlg 11.pdf
- 16:30, 25 апреля 2016 (разн. | история) . . (+50) . . Распределенные алгоритмы и системы (→Программа)
- 13:34, 25 апреля 2016 (разн. | история) . . (+5) . . Модели вычислений (→Правила проведения экзамена)
- 13:33, 25 апреля 2016 (разн. | история) . . (+151) . . Модели вычислений (→Правила проведения экзамена)
- 13:31, 25 апреля 2016 (разн. | история) . . (+20) . . Модели вычислений (→Правила проведения экзамена)
- 21:10, 23 апреля 2016 (разн. | история) . . (0) . . Н Файл:Exam-418-2016.docx (текущая)
- 21:09, 23 апреля 2016 (разн. | история) . . (+87) . . Модели вычислений (→Правила проведения экзамена)
- 11:35, 22 апреля 2016 (разн. | история) . . (0) . . Модели вычислений (→Правила проведения экзамена)
- 17:51, 18 апреля 2016 (разн. | история) . . (0) . . Модели вычислений (→Правила проведения экзамена)
- 17:50, 18 апреля 2016 (разн. | история) . . (+31) . . Модели вычислений (→Правила проведения экзамена)
- 21:29, 17 апреля 2016 (разн. | история) . . (+76) . . Распределенные алгоритмы и системы (→Программа)
- 21:22, 17 апреля 2016 (разн. | история) . . (0) . . Н Файл:DistrAlg 10.pdf
- 21:21, 17 апреля 2016 (разн. | история) . . (+51) . . Распределенные алгоритмы и системы (→Программа)
- 18:09, 16 апреля 2016 (разн. | история) . . (0) . . Н Файл:Lect241 10.pdf (текущая)
- 18:07, 16 апреля 2016 (разн. | история) . . (0) . . Н Файл:Lect241 9.pdf (текущая)
- 18:06, 16 апреля 2016 (разн. | история) . . (+97) . . Математическая логика и теория алгоритмов
- 15:20, 16 апреля 2016 (разн. | история) . . (+11) . . Модели вычислений (→Правила проведения экзамена)
- 17:27, 10 апреля 2016 (разн. | история) . . (0) . . Н Файл:DistrAlg 9.pdf
- 17:26, 10 апреля 2016 (разн. | история) . . (+49) . . Распределенные алгоритмы и системы
- 23:43, 4 апреля 2016 (разн. | история) . . (0) . . Файл:DistrAlg 8.pdf (ZakharovVA загружена новая версия «Файл:DistrAlg 8.pdf»)
- 20:53, 3 апреля 2016 (разн. | история) . . (0) . . Н Файл:DistrAlg 8.pdf
- 20:52, 3 апреля 2016 (разн. | история) . . (+49) . . Распределенные алгоритмы и системы
- 17:15, 3 апреля 2016 (разн. | история) . . (0) . . Н Файл:Lect241 8.pdf (текущая)
- 17:14, 3 апреля 2016 (разн. | история) . . (0) . . Н Файл:Lect241 7.pdf (текущая)
- 17:13, 3 апреля 2016 (разн. | история) . . (0) . . Н Файл:Lect241 6.pdf (текущая)
- 17:12, 3 апреля 2016 (разн. | история) . . (+144) . . Математическая логика и теория алгоритмов
- 08:40, 28 марта 2016 (разн. | история) . . (0) . . Н Файл:DistrAlg 7.pdf
- 08:38, 28 марта 2016 (разн. | история) . . (+49) . . Распределенные алгоритмы и системы
- 15:15, 24 марта 2016 (разн. | история) . . (0) . . Н Файл:Lect241 5.pdf (текущая)
- 15:14, 24 марта 2016 (разн. | история) . . (0) . . Н Файл:Lect241 4.pdf (текущая)
- 15:13, 24 марта 2016 (разн. | история) . . (0) . . Н Файл:Lect241 3.pdf (текущая)
- 15:12, 24 марта 2016 (разн. | история) . . (0) . . Математическая логика и теория алгоритмов
- 15:11, 24 марта 2016 (разн. | история) . . (+144) . . Математическая логика и теория алгоритмов
- 15:05, 24 марта 2016 (разн. | история) . . (0) . . Файл:Lecture 11.pdf (ZakharovVA загружена новая версия «Файл:Lecture 11.pdf»)
- 16:42, 20 марта 2016 (разн. | история) . . (0) . . Н Файл:DistrAlg 6.pdf
- 16:41, 20 марта 2016 (разн. | история) . . (+49) . . Распределенные алгоритмы и системы
- 11:29, 14 марта 2016 (разн. | история) . . (0) . . Н Файл:DistrAlg 5.pdf
- 11:28, 14 марта 2016 (разн. | история) . . (+49) . . Распределенные алгоритмы и системы
- 21:58, 8 марта 2016 (разн. | история) . . (0) . . Файл:DistrAlg 4.pdf (ZakharovVA загружена новая версия «Файл:DistrAlg 4.pdf»)
- 22:05, 28 февраля 2016 (разн. | история) . . (0) . . Н Файл:DistrAlg 4.pdf
- 22:04, 28 февраля 2016 (разн. | история) . . (+49) . . Распределенные алгоритмы и системы
- 08:29, 20 февраля 2016 (разн. | история) . . (0) . . Н Файл:DistrAlg 3.pdf
- 08:28, 20 февраля 2016 (разн. | история) . . (+49) . . Распределенные алгоритмы и системы
- 15:19, 19 февраля 2016 (разн. | история) . . (0) . . Н Файл:Lect241 2.pdf (текущая)
- 15:18, 19 февраля 2016 (разн. | история) . . (+48) . . Математическая логика и теория алгоритмов
- 14:04, 15 февраля 2016 (разн. | история) . . (0) . . Н Файл:Lect241 1.pdf (текущая)
- 14:02, 15 февраля 2016 (разн. | история) . . (+45) . . Математическая логика и теория алгоритмов
- 13:41, 15 февраля 2016 (разн. | история) . . (-215) . . Математическая логика и логическое программирование (3-й поток)
- 13:40, 15 февраля 2016 (разн. | история) . . (+1723) . . Математическая логика и теория алгоритмов
- 13:37, 15 февраля 2016 (разн. | история) . . (+76) . . Математическая логика и теория алгоритмов
- 13:30, 15 февраля 2016 (разн. | история) . . (0) . . Н Файл:DistrAlg 2.pdf
- 13:28, 15 февраля 2016 (разн. | история) . . (0) . . Распределенные алгоритмы и системы
- 13:27, 15 февраля 2016 (разн. | история) . . (+49) . . Распределенные алгоритмы и системы
- 15:46, 14 февраля 2016 (разн. | история) . . (0) . . Н Файл:Thesis Novikova.pdf (текущая)
- 15:46, 14 февраля 2016 (разн. | история) . . (+356) . . Шаблон:Important Announcements (→Объявления)
- 13:41, 8 февраля 2016 (разн. | история) . . (-2) . . Распределенные алгоритмы и системы
- 13:40, 8 февраля 2016 (разн. | история) . . (-1) . . Распределенные алгоритмы и системы
- 13:40, 8 февраля 2016 (разн. | история) . . (-1) . . Распределенные алгоритмы и системы
- 13:38, 8 февраля 2016 (разн. | история) . . (-53) . . Распределенные алгоритмы и системы
- 13:37, 8 февраля 2016 (разн. | история) . . (+75) . . Н Файл:DistrAlg 1.pdf (Лекция 1 курса "Распределенные алгоритмы")
- 13:35, 8 февраля 2016 (разн. | история) . . (+49) . . Распределенные алгоритмы и системы
- 13:31, 8 февраля 2016 (разн. | история) . . (-2) . . Распределенные алгоритмы и системы
- 13:31, 8 февраля 2016 (разн. | история) . . (+1040) . . Распределенные алгоритмы и системы
- 13:20, 8 февраля 2016 (разн. | история) . . (+180) . . Распределенные алгоритмы и системы
- 13:12, 8 февраля 2016 (разн. | история) . . (+13) . . Распределенные алгоритмы и системы
- 20:28, 6 января 2016 (разн. | история) . . (0) . . Файл:Exam-2015.doc (ZakharovVA загружена новая версия «Файл:Exam-2015.doc») (текущая)
- 09:49, 6 января 2016 (разн. | история) . . (0) . . Математическая логика и логическое программирование (3-й поток) (→Выставление оценок состоится 6 января 2016 г. в 10.00 в ауд. 506)
- 00:51, 6 января 2016 (разн. | история) . . (-80) . . Математическая логика и логическое программирование (3-й поток) (→ПОКА ЕЩЕ НЕ ПРОВЕРЕНЫ НЕКОТОРЫЕ РАБОТЫ)
- 00:50, 6 января 2016 (разн. | история) . . (0) . . Файл:Exam-2015.doc (ZakharovVA загружена новая версия «Файл:Exam-2015.doc»)
- 23:30, 5 января 2016 (разн. | история) . . (+2) . . Математическая логика и логическое программирование (3-й поток)
- 23:28, 5 января 2016 (разн. | история) . . (0) . . Н Файл:Exam-2015.doc
- 23:27, 5 января 2016 (разн. | история) . . (+54) . . Математическая логика и логическое программирование (3-й поток) (→ОЦЕНКИ ЗА ЭКЗАМЕНАЦИОННУЮ РАБОТУ БУДУТ ОПУБЛИКОВАНЫ В 23.30)
- 21:12, 5 января 2016 (разн. | история) . . (+60) . . Математическая логика и логическое программирование (3-й поток)
- 00:28, 5 января 2016 (разн. | история) . . (-291) . . Математическая логика и логическое программирование (3-й поток) (→Программа курса)
- 08:08, 16 декабря 2015 (разн. | история) . . (-7) . . Математическая логика и логическое программирование (3-й поток) (→КОЛЛОКВИУМ СОСТОИТСЯ 09 НОЯБРЯ 2015 г. В 12.15-13.50 В АУД. П-13)
- 18:30, 15 ноября 2015 (разн. | история) . . (0) . . Математическая логика и логическое программирование (3-й поток)
- 18:29, 15 ноября 2015 (разн. | история) . . (0) . . Н Файл:Colloquium 2015.pdf (текущая)
- 18:26, 15 ноября 2015 (разн. | история) . . (0) . . Файл:Colloquium-2015.pdf (ZakharovVA загружена новая версия «Файл:Colloquium-2015.pdf») (текущая)
- 18:24, 15 ноября 2015 (разн. | история) . . (0) . . Файл:Colloquium-2015.pdf (ZakharovVA загружена новая версия «Файл:Colloquium-2015.pdf»)
- 18:20, 15 ноября 2015 (разн. | история) . . (0) . . Файл:Colloquim-2015.pdf (ZakharovVA загружена новая версия «Файл:Colloquim-2015.pdf») (текущая)
- 18:18, 15 ноября 2015 (разн. | история) . . (0) . . Файл:Colloquim-2015.pdf (ZakharovVA загружена новая версия «Файл:Colloquim-2015.pdf»)
- 18:18, 15 ноября 2015 (разн. | история) . . (0) . . Н Файл:Colloquim-2015.pdf
- 12:12, 15 ноября 2015 (разн. | история) . . (0) . . Н Файл:Colloquium-2015.pdf
- 12:11, 15 ноября 2015 (разн. | история) . . (+77) . . Математическая логика и логическое программирование (3-й поток)
- 17:47, 28 октября 2015 (разн. | история) . . (-105) . . Математическая логика и логическое программирование (3-й поток)
- 21:31, 7 сентября 2015 (разн. | история) . . (-56) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 11:47, 26 апреля 2015 (разн. | история) . . (+48) . . Н Файл:Examination results-2015.doc (Результаты экзамена 25.04.2015) (текущая)
- 11:46, 26 апреля 2015 (разн. | история) . . (-234) . . Модели вычислений (→Правила проведения экзамена)
- 11:44, 26 апреля 2015 (разн. | история) . . (+1) . . Модели вычислений (→Правила проведения экзамена)
- 20:05, 20 апреля 2015 (разн. | история) . . (+43) . . Модели вычислений (→Правила проведения экзамена)
- 10:39, 20 апреля 2015 (разн. | история) . . (+135) . . Модели вычислений (→Правила проведения экзамена)
- 10:36, 20 апреля 2015 (разн. | история) . . (+38) . . Модели вычислений (→Правила проведения экзамена)
- 13:07, 13 апреля 2015 (разн. | история) . . (-2) . . Модели вычислений (→Лекции)
- 13:07, 13 апреля 2015 (разн. | история) . . (0) . . Файл:Lecture 12.pdf (ZakharovVA загружена новая версия «Файл:Lecture 12.pdf») (текущая)
- 13:04, 13 апреля 2015 (разн. | история) . . (+2) . . Модели вычислений (→Лекции)
- 16:04, 10 апреля 2015 (разн. | история) . . (0) . . Модели вычислений (→Правила проведения экзамена)
- 16:00, 10 апреля 2015 (разн. | история) . . (-2) . . Модели вычислений (→Правила проведения экзамена)
- 10:08, 10 апреля 2015 (разн. | история) . . (+212) . . Модели вычислений (→Правила проведения экзамена)
- 10:06, 10 апреля 2015 (разн. | история) . . (+229) . . Модели вычислений (→Правила проведения экзамена)
- 10:03, 10 апреля 2015 (разн. | история) . . (+108) . . Модели вычислений (→Правила проведения экзамена)
- 10:01, 10 апреля 2015 (разн. | история) . . (+66) . . Н Файл:Seminar 4.pdf (Семинар 4 по курсу Модели вычислений) (текущая)
- 10:00, 10 апреля 2015 (разн. | история) . . (0) . . Модели вычислений (→Семинарские занятия)
- 10:00, 10 апреля 2015 (разн. | история) . . (+368) . . Модели вычислений (→Семинарские занятия)
- 09:57, 10 апреля 2015 (разн. | история) . . (+65) . . Н Файл:Lecture 12.pdf (Лекция 12 по курсу Модели вычислений)
- 09:55, 10 апреля 2015 (разн. | история) . . (+357) . . Модели вычислений (→Лекции)
- 15:58, 4 апреля 2015 (разн. | история) . . (+65) . . Н Файл:Lecture 11.pdf (Лекция 11 по курсу Модели вычислений)
- 15:55, 4 апреля 2015 (разн. | история) . . (+65) . . Н Файл:Lecture 10.pdf (Лекция 10 по курсу Модели вычислений)
- 15:54, 4 апреля 2015 (разн. | история) . . (-853) . . Модели вычислений (→Автоматы над бесконечными словами и темпоральные логики)
- 15:49, 4 апреля 2015 (разн. | история) . . (+1471) . . Модели вычислений (→Лекции)
- 23:53, 30 марта 2015 (разн. | история) . . (-36) . . Модели вычислений (→Правила проведения экзамена)
- 23:42, 30 марта 2015 (разн. | история) . . (+66) . . Н Файл:Seminar 3.pdf (Семинар 3 по курсу Модели вычислений) (текущая)
- 23:41, 30 марта 2015 (разн. | история) . . (+647) . . Модели вычислений (→Семинарские занятия)
- 23:37, 30 марта 2015 (разн. | история) . . (+64) . . Н Файл:Lecture 9.pdf (Лекция 9 по курсу Модели вычислений)
- 23:35, 30 марта 2015 (разн. | история) . . (+709) . . Модели вычислений (→Лекции)
- 08:53, 23 марта 2015 (разн. | история) . . (+64) . . Н Файл:Lecture 8.pdf (Лекция 8 по курсу Модели вычислений)
- 08:52, 23 марта 2015 (разн. | история) . . (+64) . . Н Файл:Lecture 7.pdf (Лекция 7 по курсу Модели вычислений)
- 08:51, 23 марта 2015 (разн. | история) . . (+1501) . . Модели вычислений (→Лекции)
- 20:10, 18 марта 2015 (разн. | история) . . (+79) . . Н Файл:Seminar 2.pdf (Семинар 2 по курсу лекций Модели вычислений) (текущая)
- 20:09, 18 марта 2015 (разн. | история) . . (+77) . . Н Файл:Lecture 6.pdf (Лекция 6 по курсу лекций Модели вычислений)
- 20:08, 18 марта 2015 (разн. | история) . . (+370) . . Модели вычислений (→Семинарские занятия)
- 20:06, 18 марта 2015 (разн. | история) . . (+988) . . Модели вычислений (→Лекции)
- 14:47, 6 марта 2015 (разн. | история) . . (+64) . . Н Файл:Lecture 5.pdf (Лекция 5 по курсу модели вычислений) (текущая)
- 14:46, 6 марта 2015 (разн. | история) . . (+64) . . Н Файл:Lecture 4.pdf (Лекция 4 по курсу модели вычислений) (текущая)
- 14:45, 6 марта 2015 (разн. | история) . . (+1505) . . Модели вычислений
- 19:43, 2 марта 2015 (разн. | история) . . (+64) . . Н Файл:Lecture 3.pdf (Лекция 3 по курсу модели вычислений) (текущая)
- 19:42, 2 марта 2015 (разн. | история) . . (-121) . . Модели вычислений (→Лекции)
- 19:41, 2 марта 2015 (разн. | история) . . (+966) . . Модели вычислений (→Лекции)
- 16:03, 21 февраля 2015 (разн. | история) . . (+1) . . Модели вычислений (→Семинарские занятия)
- 16:02, 21 февраля 2015 (разн. | история) . . (+66) . . Н Файл:Seminar 1.pdf (Семинар 1 по курсу модели вычислений) (текущая)
- 16:01, 21 февраля 2015 (разн. | история) . . (-3) . . Модели вычислений (→Семинарские занятия)
- 16:00, 21 февраля 2015 (разн. | история) . . (+935) . . Модели вычислений (→Лекции)
- 15:00, 21 февраля 2015 (разн. | история) . . (+1242) . . Теоретические проблемы программирования (→Расписание докладов)
- 14:36, 21 февраля 2015 (разн. | история) . . (+64) . . Н Файл:Lecture 2.pdf (лекция 2 по курсу модели вычислений) (текущая)
- 14:35, 21 февраля 2015 (разн. | история) . . (+62) . . Н Файл:Lecture 1.pdf (Лекция по курсу модели вычислений) (текущая)
- 14:02, 21 февраля 2015 (разн. | история) . . (+923) . . Модели вычислений (→Лекции)
- 13:57, 21 февраля 2015 (разн. | история) . . (+22) . . Модели вычислений (→Программа курса)
- 13:55, 21 февраля 2015 (разн. | история) . . (+1496) . . Модели вычислений (→Алгоритмически неразрешимые математические задачи)
- 13:52, 21 февраля 2015 (разн. | история) . . (-161) . . Модели вычислений (→Формальные грамматики и языки)
- 13:49, 21 февраля 2015 (разн. | история) . . (+435) . . Модели вычислений (→Вычислимые функции и рекурсивные множества)
- 13:46, 21 февраля 2015 (разн. | история) . . (+691) . . Модели вычислений (→Конечные автоматы и регулярные выражения)
- 23:58, 18 февраля 2015 (разн. | история) . . (+2354) . . Математическая логика и теория алгоритмов
- 15:57, 17 февраля 2015 (разн. | история) . . (0) . . Н Файл:Second-Exam-2014-2015.docx (текущая)
- 15:56, 17 февраля 2015 (разн. | история) . . (+120) . . Математическая логика и логическое программирование (3-й поток) (→РЕЗУЛЬТАТЫ ЭКЗАМЕНА 15.01.2015.)
- 12:25, 21 января 2015 (разн. | история) . . (+23) . . Участник:ZakharovVA
- 19:51, 16 января 2015 (разн. | история) . . (-212) . . Математическая логика и логическое программирование (3-й поток) (→ЭКЗАМЕН ПО КУРСУ "МАТЕМАТИЧЕСКАЯ ЛОГИКА И ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ" НАЧНЕТСЯ 15 ЯНВАРЯ В 11.00 В АУДИТОРИИ П-13.)
- 19:49, 16 января 2015 (разн. | история) . . (+63) . . Н Файл:Exam-2014-2015.docx (Результаты экзамена по логике 2014-15) (текущая)
- 19:48, 16 января 2015 (разн. | история) . . (-192) . . Математическая логика и логическое программирование (3-й поток) (/* КОНСУЛЬТАЦИЯ К ЭКЗАМЕНУ ПО КУРСУ "МАТЕМАТИЧЕСКАЯ ЛОГИКА И ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ" ДЛЯ СТУДЕНТОВ ГРУПП 420-428 СОСТОИТСЯ 14 ЯНВАРЯ в 16.0…)
- 12:56, 13 января 2015 (разн. | история) . . (+4) . . Математическая логика и логическое программирование (3-й поток) (/* КОНСУЛЬТАЦИЯ К ЭКЗАМЕНУ ПО КУРСУ "МАТЕМАТИЧЕСКАЯ ЛОГИКА И ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ" ДЛЯ СТУДЕНТОВ ГРУПП 420-428 СОСТОИТСЯ 14 ЯНВАРЯ в 16.0…)
- 12:56, 13 января 2015 (разн. | история) . . (+179) . . Математическая логика и логическое программирование (3-й поток) (/* КОНСУЛЬТАЦИЯ К ЭКЗАМЕНУ ПО КУРСУ "МАТЕМАТИЧЕСКАЯ ЛОГИКА И ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ" ДЛЯ СТУДЕНТОВ ГРУПП 420-428 СОСТОИТСЯ 14 ЯНВАРЯ в 16.0…)
- 10:20, 10 января 2015 (разн. | история) . . (+276) . . Математическая логика и логическое программирование (3-й поток) (→КОНСУЛЬТАЦИЯ 10.00.)
- 10:17, 10 января 2015 (разн. | история) . . (-66) . . Математическая логика и логическое программирование (3-й поток) (→ОБЪЯВЛЕНИЕ: ПОСЛЕДНЯЯ ЛЕКЦИЯ 15 ДЕКАБРЯ НАЧНЕТСЯ в 10.00.)
- 11:19, 8 января 2015 (разн. | история) . . (0) . . Модели вычислений (→Литература)
- 13:35, 6 января 2015 (разн. | история) . . (0) . . Шаблон:Important Announcements
- 13:34, 6 января 2015 (разн. | история) . . (+454) . . Шаблон:Important Announcements (→Объявления)
- 15:37, 30 декабря 2014 (разн. | история) . . (+1809) . . Модели вычислений (→Программа курса)
- 15:24, 30 декабря 2014 (разн. | история) . . (+607) . . Модели вычислений (→Алгоритмически неразрешимые математические задачи)
- 15:20, 30 декабря 2014 (разн. | история) . . (+19) . . Модели вычислений (→Формальные грамматики и языки)
- 15:19, 30 декабря 2014 (разн. | история) . . (0) . . Модели вычислений (→Формальные грамматики и языки)
- 15:19, 30 декабря 2014 (разн. | история) . . (+587) . . Модели вычислений (→Вычислимые функции и рекурсивные множества)
- 15:15, 30 декабря 2014 (разн. | история) . . (+157) . . Модели вычислений (→Формальные грамматики и языки)
- 16:34, 29 декабря 2014 (разн. | история) . . (+322) . . Сложность алгоритмов (→Литература)
- 16:32, 29 декабря 2014 (разн. | история) . . (-520) . . Сложность алгоритмов (→Программа курса)
- 16:29, 29 декабря 2014 (разн. | история) . . (+71) . . Сложность алгоритмов (→Вопросы к экзамену по курсу «Сложность алгоритмов» для гр. 418.)
- 16:25, 29 декабря 2014 (разн. | история) . . (+5979) . . Сложность алгоритмов
- 22:19, 28 декабря 2014 (разн. | история) . . (+1351) . . Модели вычислений (→Вычислимые функции и рекурсивные множества)
- 18:12, 28 декабря 2014 (разн. | история) . . (+2451) . . Модели вычислений (→Формальные грамматики и языки)
- 17:40, 28 декабря 2014 (разн. | история) . . (+176) . . Модели вычислений (→Литература)
- 17:32, 28 декабря 2014 (разн. | история) . . (+1529) . . Модели вычислений (→Программа курса)
- 17:13, 28 декабря 2014 (разн. | история) . . (-7279) . . Модели вычислений
- 17:00, 28 декабря 2014 (разн. | история) . . (+9491) . . Модели вычислений
- 13:39, 13 декабря 2014 (разн. | история) . . (+59) . . Н Файл:LectLog23.pdf (Лекция об основаниях математики) (текущая)
- 13:38, 13 декабря 2014 (разн. | история) . . (0) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 13:37, 13 декабря 2014 (разн. | история) . . (+82) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 13:36, 13 декабря 2014 (разн. | история) . . (-77) . . Математическая логика и логическое программирование (3-й поток) (→ОБЪЯВЛЕНИЕ: дополнительное практическое занятие для группы 428 состоится 1 декабря, в 8.45, в ауд. 506)
- 19:54, 9 декабря 2014 (разн. | история) . . (+34) . . Теоретические проблемы программирования (→Расписание докладов)
- 19:53, 9 декабря 2014 (разн. | история) . . (+1466) . . Теоретические проблемы программирования (→Расписание докладов)
- 19:16, 7 декабря 2014 (разн. | история) . . (+132) . . Н Файл:LectLog22.pdf (Лекций 22 по курсу математической логики и логического программирования) (текущая)
- 19:13, 7 декабря 2014 (разн. | история) . . (+132) . . Н Файл:LectLog21.pdf (Лекций 21 по курсу математической логики и логического программирования) (текущая)
- 19:12, 7 декабря 2014 (разн. | история) . . (+21) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 14:06, 1 декабря 2014 (разн. | история) . . (+1597) . . Теоретические проблемы программирования (→Расписание докладов)
- 18:41, 30 ноября 2014 (разн. | история) . . (+132) . . Н Файл:LectLog20.pdf (Лекция 20 по курсу математической логики и логического программирования) (текущая)
- 18:40, 30 ноября 2014 (разн. | история) . . (0) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 18:38, 30 ноября 2014 (разн. | история) . . (0) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 18:37, 30 ноября 2014 (разн. | история) . . (0) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 18:36, 30 ноября 2014 (разн. | история) . . (+26) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 14:37, 26 ноября 2014 (разн. | история) . . (+1097) . . Теоретические проблемы программирования (→Расписание докладов)
- 21:27, 23 ноября 2014 (разн. | история) . . (+92) . . Математическая логика и логическое программирование (3-й поток) (→Результаты коллоквиума)
- 21:25, 23 ноября 2014 (разн. | история) . . (+26) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 21:24, 23 ноября 2014 (разн. | история) . . (+26) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 16:50, 18 ноября 2014 (разн. | история) . . (+915) . . Теоретические проблемы программирования (→Расписание докладов)
- 15:13, 18 ноября 2014 (разн. | история) . . (0) . . Теоретические проблемы программирования (→Расписание докладов)
- 15:12, 18 ноября 2014 (разн. | история) . . (+640) . . Теоретические проблемы программирования (→Расписание докладов)
- 15:06, 18 ноября 2014 (разн. | история) . . (+26) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 00:03, 12 ноября 2014 (разн. | история) . . (0) . . Н Файл:MatLog Colloquium-2014.docx (текущая)
- 00:02, 12 ноября 2014 (разн. | история) . . (-144) . . Математическая логика и логическое программирование (3-й поток) (→Коллоквиум по курсу математической логики и логического программирования состоится 8 ноября, в субботу, в 10.00 - 11.30, в ауд. П-13)
- 21:24, 9 ноября 2014 (разн. | история) . . (-15) . . Теоретические проблемы программирования (→Расписание докладов)
- 19:35, 9 ноября 2014 (разн. | история) . . (+52) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 14:01, 7 ноября 2014 (разн. | история) . . (+20) . . Теоретические проблемы программирования (→Расписание докладов)
- 12:11, 7 ноября 2014 (разн. | история) . . (0) . . Теоретические проблемы программирования (→Расписание докладов)
- 12:10, 7 ноября 2014 (разн. | история) . . (+36) . . Теоретические проблемы программирования (→Расписание докладов)
- 12:08, 7 ноября 2014 (разн. | история) . . (+1993) . . Теоретические проблемы программирования (→Расписание докладов)
- 13:49, 31 октября 2014 (разн. | история) . . (+234) . . Математическая логика и логическое программирование (3-й поток)
- 17:45, 27 октября 2014 (разн. | история) . . (+728) . . Теоретические проблемы программирования (→Расписание докладов)
- 11:31, 25 октября 2014 (разн. | история) . . (-159) . . Математическая логика и логическое программирование (3-й поток) (→Основы логического программирования)
- 11:30, 25 октября 2014 (разн. | история) . . (-59) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 20:43, 21 октября 2014 (разн. | история) . . (+335) . . Теоретические проблемы программирования (→Расписание докладов)
- 11:10, 19 октября 2014 (разн. | история) . . (+26) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 18:03, 16 октября 2014 (разн. | история) . . (+3038) . . Теоретические проблемы программирования (→Расписание докладов)
- 15:45, 12 октября 2014 (разн. | история) . . (+53) . . Математическая логика и логическое программирование (3-й поток)
- 15:43, 12 октября 2014 (разн. | история) . . (0) . . Н Файл:LectLog 10.pdf (текущая)
- 16:10, 11 октября 2014 (разн. | история) . . (+373) . . Теоретические проблемы программирования (→Расписание докладов)
- 09:22, 7 октября 2014 (разн. | история) . . (0) . . Теоретические проблемы программирования (→Расписание докладов)
- 09:20, 7 октября 2014 (разн. | история) . . (+262) . . Теоретические проблемы программирования (→Расписание докладов)
- 17:02, 5 октября 2014 (разн. | история) . . (+25) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 12:21, 1 октября 2014 (разн. | история) . . (+104) . . Участник:ZakharovVA (→Избранные публикации)
- 12:12, 1 октября 2014 (разн. | история) . . (+17) . . Теоретические проблемы программирования (→Расписание докладов)
- 13:24, 30 сентября 2014 (разн. | история) . . (+536) . . Теоретические проблемы программирования (→Расписание докладов)
- 13:04, 30 сентября 2014 (разн. | история) . . (+23) . . Теоретические проблемы программирования (→Расписание докладов)
- 15:34, 29 сентября 2014 (разн. | история) . . (+47) . . Участник:ZakharovVA (→Избранные публикации)
- 15:31, 29 сентября 2014 (разн. | история) . . (+3) . . Теоретические проблемы программирования
- 15:29, 29 сентября 2014 (разн. | история) . . (+259) . . Теоретические проблемы программирования
- 15:27, 29 сентября 2014 (разн. | история) . . (-1158) . . Теоретические проблемы программирования
- 15:20, 29 сентября 2014 (разн. | история) . . (0) . . Шаблон:Important Announcements
- 15:19, 29 сентября 2014 (разн. | история) . . (+529) . . Шаблон:Important Announcements (→Объявления)
- 16:47, 28 сентября 2014 (разн. | история) . . (+475) . . Математическая логика и логическое программирование (3-й поток)
- 16:43, 28 сентября 2014 (разн. | история) . . (+422) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 16:29, 28 сентября 2014 (разн. | история) . . (+50) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 14:56, 20 сентября 2014 (разн. | история) . . (+31) . . Участник:ZakharovVA (→Избранные публикации)
- 14:50, 20 сентября 2014 (разн. | история) . . (+26) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 14:48, 20 сентября 2014 (разн. | история) . . (0) . . Н Файл:LectLog 6.pdf (текущая)
- 18:43, 17 сентября 2014 (разн. | история) . . (-1095) . . Участник:ZakharovVA (→Избранные публикации)
- 18:32, 16 сентября 2014 (разн. | история) . . (-212) . . Участник:ZakharovVA (→Избранные публикации)
- 18:25, 16 сентября 2014 (разн. | история) . . (-977) . . Участник:ZakharovVA (→Избранные публикации)
- 10:17, 16 сентября 2014 (разн. | история) . . (+1) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 10:16, 16 сентября 2014 (разн. | история) . . (0) . . Н Файл:LectLog 3.pdf (текущая)
- 10:14, 16 сентября 2014 (разн. | история) . . (0) . . Файл:LectLog3.pdf (ZakharovVA загружена новая версия «Файл:LectLog3.pdf») (текущая)
- 09:39, 12 сентября 2014 (разн. | история) . . (+37) . . Участник:ZakharovVA (→Избранные публикации)
- 09:36, 12 сентября 2014 (разн. | история) . . (+80) . . Участник:ZakharovVA (→Избранные публикации)
- 09:29, 12 сентября 2014 (разн. | история) . . (+1) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 09:28, 12 сентября 2014 (разн. | история) . . (0) . . Файл:LectLog 1.pdf (ZakharovVA загружена новая версия «Файл:LectLog 1.pdf»)
- 09:27, 12 сентября 2014 (разн. | история) . . (-7) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 09:26, 12 сентября 2014 (разн. | история) . . (+1) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 09:25, 12 сентября 2014 (разн. | история) . . (+6) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 09:10, 12 сентября 2014 (разн. | история) . . (0) . . Файл:LectLog4.pdf (ZakharovVA загружена новая версия «Файл:LectLog4.pdf») (текущая)
- 09:09, 12 сентября 2014 (разн. | история) . . (0) . . Файл:LectLog4.pdf (ZakharovVA загружена новая версия «Файл:LectLog4.pdf»)
- 09:07, 12 сентября 2014 (разн. | история) . . (+50) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 08:58, 12 сентября 2014 (разн. | история) . . (-107) . . Математическая логика и логическое программирование (3-й поток) (→Экзамен)
- 23:10, 9 сентября 2014 (разн. | история) . . (+7) . . Участник:ZakharovVA (→Избранные публикации)
- 17:00, 9 сентября 2014 (разн. | история) . . (+32) . . Участник:ZakharovVA (→Избранные публикации)
- 16:26, 9 сентября 2014 (разн. | история) . . (+6) . . Участник:ZakharovVA (→Избранные публикации)
- 16:25, 9 сентября 2014 (разн. | история) . . (+193) . . Участник:ZakharovVA (→Избранные публикации)
- 12:45, 9 сентября 2014 (разн. | история) . . (-417) . . Участник:ZakharovVA (→Избранные публикации)
- 12:38, 9 сентября 2014 (разн. | история) . . (0) . . Участник:ZakharovVA (→Избранные публикации)
- 12:38, 9 сентября 2014 (разн. | история) . . (+6) . . Участник:ZakharovVA (→Избранные публикации)
- 12:05, 9 сентября 2014 (разн. | история) . . (+15) . . Участник:ZakharovVA (→Избранные публикации)
- 12:03, 9 сентября 2014 (разн. | история) . . (+60 715) . . Участник:ZakharovVA
- 00:14, 7 сентября 2014 (разн. | история) . . (-599) . . Математическая логика (318, 319/2, 241, 242)
- 00:09, 7 сентября 2014 (разн. | история) . . (+25) . . Математическая логика и логическое программирование (3-й поток)
- 20:12, 31 августа 2014 (разн. | история) . . (+83) . . Н Файл:Exam2014.doc (Результаты экзамена по мат. логике в 2013-14 году) (текущая)
- 20:11, 31 августа 2014 (разн. | история) . . (+106) . . Математическая логика и логическое программирование (3-й поток)
- 20:04, 31 августа 2014 (разн. | история) . . (+25) . . Математическая логика и логическое программирование (3-й поток)
- 20:02, 31 августа 2014 (разн. | история) . . (0) . . Файл:LectLog 1.pdf (ZakharovVA загружена новая версия «Файл:LectLog 1.pdf»)
- 20:02, 31 августа 2014 (разн. | история) . . (0) . . Н Файл:LectLog 1.pdf
- 20:01, 31 августа 2014 (разн. | история) . . (+25) . . Математическая логика и логическое программирование (3-й поток)
- 21:31, 27 августа 2014 (разн. | история) . . (+2971) . . Математическая логика и логическое программирование (3-й поток)
- 21:22, 25 августа 2014 (разн. | история) . . (+105) . . Н Файл:MatLog exer.pdf (Расширенный сборник упражнений по математической логике) (текущая)
- 21:21, 25 августа 2014 (разн. | история) . . (-5) . . Математическая логика и логическое программирование (3-й поток)
- 21:19, 25 августа 2014 (разн. | история) . . (0) . . Файл:Tasks.pdf (ZakharovVA загружена новая версия «Файл:Tasks.pdf») (текущая)
- 21:11, 25 августа 2014 (разн. | история) . . (0) . . Файл:Tasks.pdf (ZakharovVA загружена новая версия «Файл:Tasks.pdf»)
- 21:07, 25 августа 2014 (разн. | история) . . (+48) . . Н Файл:MatLog exercises.pdf (Расширенный сборник задач) (текущая)
- 21:06, 25 августа 2014 (разн. | история) . . (+122) . . Математическая логика и логическое программирование (3-й поток)
- 21:00, 25 августа 2014 (разн. | история) . . (+101) . . Математическая логика и логическое программирование (3-й поток)
- 20:58, 25 августа 2014 (разн. | история) . . (+2388) . . Математическая логика и логическое программирование (3-й поток)
- 20:41, 25 августа 2014 (разн. | история) . . (+998) . . Математическая логика и логическое программирование (3-й поток)
- 20:29, 25 августа 2014 (разн. | история) . . (+78) . . Математическая логика и логическое программирование (3-й поток)
- 20:27, 25 августа 2014 (разн. | история) . . (+2) . . Математическая логика и логическое программирование (3-й поток)
- 07:55, 27 мая 2014 (разн. | история) . . (+132) . . Н Файл:LectLog19.pdf (Лекция 19 по курсу математической логики и логического программирования) (текущая)
- 07:54, 27 мая 2014 (разн. | история) . . (+32) . . Математическая логика (318, 319/2, 241, 242)
- 08:21, 8 мая 2014 (разн. | история) . . (+91) . . Н Файл:Bilet 2.pdf (Вопрос 2 материалов для подготовки к госэкзаменам) (текущая)
- 08:20, 8 мая 2014 (разн. | история) . . (+91) . . Н Файл:Bilet 1.pdf (Вопрос 1 материалов для подготовки к госэкзаменам) (текущая)
- 08:19, 8 мая 2014 (разн. | история) . . (+559) . . Математическая логика и логическое программирование (3-й поток)
- 08:12, 8 мая 2014 (разн. | история) . . (+133) . . Математическая логика и логическое программирование (3-й поток)
- 08:10, 8 мая 2014 (разн. | история) . . (+130) . . Н Файл:LectLog18.pdf (Лекция 18 по курсу математическая логика и логическое программирование) (текущая)
- 08:09, 8 мая 2014 (разн. | история) . . (+35) . . Математическая логика (318, 319/2, 241, 242)
- 08:05, 8 мая 2014 (разн. | история) . . (+132) . . Н Файл:LectLog17.pdf (Лекция 17 по курсу математической логики и логического программирования) (текущая)
- 08:04, 8 мая 2014 (разн. | история) . . (+29) . . Математическая логика (318, 319/2, 241, 242)
- 21:40, 15 апреля 2014 (разн. | история) . . (+127) . . Н Файл:LectLog16.pdf (Лекция 16 курса "Математическая логика и логическое программирование") (текущая)
- 21:39, 15 апреля 2014 (разн. | история) . . (+127) . . Н Файл:LectLog15.pdf (Лекция 15 курса "Математическая логика и логическое программирование") (текущая)
- 21:38, 15 апреля 2014 (разн. | история) . . (+127) . . Н Файл:LectLog14.pdf (Лекция 14 курса "Математическая логика и логическое программирование") (текущая)
- 21:37, 15 апреля 2014 (разн. | история) . . (+127) . . Н Файл:LectLog13.pdf (Лекция 13 курса "Математическая логика и логическое программирование") (текущая)
- 21:36, 15 апреля 2014 (разн. | история) . . (-18) . . Математическая логика (318, 319/2, 241, 242)
- 23:20, 5 апреля 2014 (разн. | история) . . (+132) . . Н Файл:LectLog12.pdf (Лекция 12 по курсу "Математическая логика и логическое программирование") (текущая)
- 23:19, 5 апреля 2014 (разн. | история) . . (+32) . . Математическая логика (318, 319/2, 241, 242)
- 23:18, 5 апреля 2014 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 23:16, 5 апреля 2014 (разн. | история) . . (+67) . . Н Файл:Test 05 04 14.docx (Результаты контрольной работы 05.04.2014) (текущая)
(новейшие | старейшие) Просмотреть (500 более новые | 500 более старые) (20 | 50 | 100 | 250 | 500)