... В первой части доклада освещена оригинальная формулировка Китайской теоремы об остатках, альтернативная (с доказательством) и обобщенная. ... Во второй части рассмотрен метод умножения двух чисел (или полиномов), которой в отличии от стандартного способа, уменьшает сложность умножения до O(nlogn) при помощи быстрого преобразования Фурье (Fourier Jean Baptiste Joseph). Рассмотрен алгоритм быстрого преобразование Фурье, обоснование его сложности и графическое отображение эффективности алгоритма. ...
. Дмитрий Орлов, 3 октября 2007 . В докладе рассказывается о типизированном lambda-исчислении в семантике, универсальной интерпретации именных групп (Generalized Quantifier) и других синтаксических категорий, а также о проблеме отрицания.
. Юдочев Дмитрий, 17 октября 2007 . В докладе рассказывается о рекурсии и индукции в целом, корректности кода и использовании рекурсии для облегчения проверки корректности циклов, сложности функций и использовании индукции для вычисления сложности рекурсивных функций.
. Сорокин А.С., 31 октября 2007 . В докладе представлены решения двух типичных задач - топологическая сортировка графа и нахождение точек сочленения. На их примере показана суть поиска в глубину и представление графов деревьями.
. Строганов А.Ю. и Харченков С.Л., 7 ноября 2007 . В докладе описывается использование многофункциональной математической программной системы Maple в прикладных задачах. Материалы к докладу: . Презентация в PowerPoint ( .zip, 8.3Mb ) .
... В данном докладе рассматриваются вопросы существования сколь угодно сложных задач. Для этого используется аппарат машин Тьюринга. Выделены три части доклада. ... 2)Во второй части описывается некое семейство машин Тьюринга, которое примечательно тем, что все машины, входящие в это семейство, можно занумеровать. ... 3)В третьей части доказываются две основные теоремы о существовании сколь угодно сложных задач. При доказательстве теорем активно используются факты из второй части доклада. ...
... О кафедре . ... Опубликовано avst в Март 13, 2016 - 20:27. ... Заседание спецсеминаров "Искусственный интеллект" и "Парадигмы программирования" 15 марта 2016 г. будет совместным и пройдет (как обычно, в 18:00) в ауд. 526-б . ... В прикрепленном файле ответы на 2 вариант экзамена по курсу "Языки программирования" . ... Опубликовано avst в Декабрь 21, 2015 - 21:03. ... 2 поток - в 10.00, ауд. ... к.ф.-м.н. Математический спецкурс кафедры алгоритмических языков . ... кафедра АЯ ВМК МГУ, 2009 2014 . ...
... О кафедре . ... Основными направлениями научных исследований кафедры являются: разработка систем искусственного интеллекта, в частности, систем общения с ЭВМ на естественном языке, и программного обеспечения таких систем, стандартизация языков программирования и разработка методов тестирования трансляторов, разработка программного обеспечения для персональных ЭВМ и рабочих станций с использованием современных технологий и операционных сред, стили и парадигмы программирования. ...
... О кафедре . ... Учебная работа . Учебные пособия . ... Материалы по Паскалю . ... Конспект лекций по курсу ?Искусственный интеллект? - 2012/13 уч.г. (лектор ? ... Материалы Ю.С.Коруховой к спецкурсу "Языки описания схем. ... Списки вопросов к экзамену и коллоквиуму по курсу "Системы программирования" на основном отделении (весенний семестр 2010 года) . Программа лекционного курса Алгоритмы и алгоритмические языки (лектор В.Н.Пильщиков) . ... кафедра АЯ ВМК МГУ, 2009 2014 ...
... Что же именно записано в ячейке - данное или команда - определяется во время работы ЭВМ. ... Перед началом работы процессора в регистр СА записывается аппаратно всегда один и тот же адрес, и первая команда программы должна располагаться в ОП в ячейке именно с этим адресом. ... Условимся, что перед началом работы 1) в СА записывается 0100, то есть выполнение начинается с команды по адресу 0100, 2) в ячейки ОП уже записаны все данные, необходимые для работы программ (ввод и вывод не рассматриваем). ...
[
Текст
]
Ссылки http://al.cs.msu.ru/files/bordachenkova.architecture.model.machines.2010.doc -- 405.5 Кб -- 19.11.2012
[
Текст
]
Ссылки http://al.cs.msu.su/files/bordachenkova.architecture.model.machines.2010.doc -- 405.5 Кб -- 19.11.2012
[
Текст
]
Ссылки http://al.cmc.msu.ru/files/bordachenkova.architecture.model.machines.2010.doc -- 405.5 Кб -- 19.11.2012 Похожие документы
ПРЕДСТАВЛЕНИЕ ЦЕЛЫХ ЧИСЕЛ В ЭВМ. Бордаченкова Е.А. В методическом пособии обсуждаются вопросы, касающиеся работы с числами в компьютере: способы представления чисел, особенности машинных операций сложения и вычитания, вопросы, связанные с арифметическими флагами. ... Числа без знака. ... Числа со знаком. ... Можно дать другое, эквивалентное приведенному, определение понятия "представление числа со знаком": для любого числа x((-128,127( представление x есть двоичное восьмиразрядное число x mod 256. ...
[
Текст
]
Ссылки http://al.cs.msu.ru/files/bordachenkova.number.representation.2009.doc -- 167.5 Кб -- 19.11.2012
[
Текст
]
Ссылки http://al.cs.msu.su/files/bordachenkova.number.representation.2009.doc -- 167.5 Кб -- 19.11.2012
[
Текст
]
Ссылки http://al.cmc.msu.ru/files/bordachenkova.number.representation.2009.doc -- 167.5 Кб -- 19.11.2012 Похожие документы
... a) int x = 0; int f ( int a, int b) { return x = a + b; } class A { int x; public : A ( int n = 1) { x = n; } int f() { return ::x = x; } }; class B { int x; public : B ( int n = 2) { x = n; } }; class C: public A, public B { int x; public : int f( int a) { return ::x = x; } void g (); }; ... class X { public: void g () {cout << "g" << endl;} int h (int n) {cout << "f" << endl; return n} }; int main () { int k; const X x; X::g(); k = x.h(5); return 0; } 6.3. ...
[
Текст
]
Ссылки http://al.cs.msu.ru/files/cpp.tasks.2013.pdf -- 754.3 Кб -- 25.01.2014
[
Текст
]
Ссылки http://al.cs.msu.su/files/cpp.tasks.2013.pdf -- 754.3 Кб -- 25.01.2014
[
Текст
]
Ссылки http://al.cmc.msu.ru/files/cpp.tasks.2013.pdf -- 754.3 Кб -- 25.01.2014 Похожие документы