Вклад участника
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)
- 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)
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)
