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