XWare Поиск по информационным ресурсам МГУ English Russian
       
       Точная форма слов   О проекте   Сайты   Помощь
Поиск по:al.cs.msu.su   - Поискать по всем серверам
На этой странице приведены все страницы сервера al.cs.msu.su ,которые мы индексируем. Показаны документы 1 - 20 из 46.

1 | 2 | 3 | След.

Упорядочить по: URL  |  дате изменения
1. Участникам спецсеминара "Компьютерная алгебра и теория формальных языков" |
. Новости . О кафедре . Сотрудники . Учебная работа . Учебные пособия . Спецсеминары . Спецкурсы . Гостевая книга . Основное . О кафедре . Сотрудники . Учебная работа . Материалы по Паскалю . Модуль CRT1 . Материалы по ассемблеру . Спецсеминары . Гостевая книга . Главная . Опубликовано VAA в Сентябрь 18, 2011 - 16:14. Организационное собрание состоится в среду 21 сентября в 18-00, ауд. 788. кафедра АЯ ВМК МГУ, 2009 2014
[ Сохраненная копия ]  Ссылки http://al.cs.msu.su/node/83 -- 6.7 Кб -- 03.04.2016
Похожие документы

2. О кафедре | Кафедра алгоритмических языков ВМК МГУ
... О кафедре . ... Основными направлениями научных исследований кафедры являются: разработка систем искусственного интеллекта, в частности, систем общения с ЭВМ на естественном языке, и программного обеспечения таких систем, стандартизация языков программирования и разработка методов тестирования трансляторов, разработка программного обеспечения для персональных ЭВМ и рабочих станций с использованием современных технологий и операционных сред, стили и парадигмы программирования. ...
[ Сохраненная копия ]  Ссылки http://al.cs.msu.su/about.html -- 8.4 Кб -- 03.04.2016
Похожие документы

3. Сотрудники | Кафедра алгоритмических языков ВМК МГУ
... О кафедре . Сотрудники . ... Сотрудники прошлых лет ) . Мальковский Михаил Георгиевич, заведующий кафедрой, профессор, д.ф.-м.н. Абрамов Владимир Геннадьевич, ученый секретарь кафедры, доцент, к.ф.-м.н. Абрамов Сергей Александрович, профессор, д.ф.-м.н. Баева Наталья Валерьевна, младший научный сотрудник . ... Соловьев Сергей Юрьевич, профессор, д.ф.-м.н. Столяров Андрей Викторович, доцент, к.ф.-м.н. Сутырин Павел Георгиевич, младший научный сотрудник . ... кафедра АЯ ВМК МГУ, 2009 2014 ...
[ Сохраненная копия ]  Ссылки http://al.cs.msu.su/staff.html -- 9.6 Кб -- 03.04.2016
Похожие документы

4. Учебные пособия | Кафедра алгоритмических языков ВМК МГУ
... О кафедре . ... Учебные пособия . ... Язык Паскаль: Учебно-методическое пособие. ... Языки управления приложениями: Учебно-методическое пособие. ... Учебно-методическое пособие для студентов 2 курса, обучающихся по направлению Фундаментальные информатика и информационные технологии . ... Учебное пособие для студентов 1 курса. ... Учебное пособие для студентов II курса. 2009 (с исправлениями от мая 2014). ... Учебно-методическое пособие для студентов 1 курса. ... кафедра АЯ ВМК МГУ, 2009 2014 ...
[ Сохраненная копия ]  Ссылки http://al.cs.msu.su/node/4 -- 16.1 Кб -- 02.04.2016
Похожие документы

5. Умер Владимир Николаевич Пильщиков | Кафедра алгоритмических языков ВМК МГУ
... О кафедре . ... Опубликовано avst в Декабрь 20, 2011 - 10:33. Кафедра алгоритмических языков с глубоким прискорбием извещает, что 19 декабря 2011 года ушел из жизни наш любимый коллега, выдающийся ученый в области искусственного интеллекта, замечательный педагог, заслуженный преподаватель МГУ имени М.В.Ломоносова, лауреат Ломоносовской премии МГУ за педагогическую деятельность, заместитель заведующего кафедрой алгоритмических языков, доцент Владимир Николаевич Пильщиков. ...
[ Сохраненная копия ]  Ссылки http://al.cs.msu.su/node/89 -- 7.9 Кб -- 02.04.2016
Похожие документы

6. Учебная работа | Кафедра алгоритмических языков ВМК МГУ
... О кафедре . ... Учебная работа . Учебные пособия . ... Материалы по Паскалю . ... Конспект лекций по курсу ?Искусственный интеллект? - 2012/13 уч.г. (лектор ? ... Материалы Ю.С.Коруховой к спецкурсу "Языки описания схем. ... Списки вопросов к экзамену и коллоквиуму по курсу "Системы программирования" на основном отделении (весенний семестр 2010 года) . Программа лекционного курса Алгоритмы и алгоритмические языки (лектор В.Н.Пильщиков) . ... кафедра АЯ ВМК МГУ, 2009 2014 ...
[ Сохраненная копия ]  Ссылки http://al.cs.msu.su/classes.html -- 10.2 Кб -- 02.04.2016
Похожие документы

7. Кафедра алгоритмических языков ВМК МГУ
... О кафедре . ... Опубликовано avst в Март 13, 2016 - 20:27. ... Заседание спецсеминаров "Искусственный интеллект" и "Парадигмы программирования" 15 марта 2016 г. будет совместным и пройдет (как обычно, в 18:00) в ауд. 526-б . ... В прикрепленном файле ответы на 2 вариант экзамена по курсу "Языки программирования" . ... Опубликовано avst в Декабрь 21, 2015 - 21:03. ... 2 поток - в 10.00, ауд. ... к.ф.-м.н. Математический спецкурс кафедры алгоритмических языков . ... кафедра АЯ ВМК МГУ, 2009 2014 . ...
[ Сохраненная копия ]  Ссылки http://al.cs.msu.su/ -- 40.1 Кб -- 02.04.2016
Похожие документы

8. http://al.cs.msu.su/files/vylitok.pdf
sin, cos, log [1 , N] c 1 . ... for-, , , sizeof. /* beg, beg+step,...,beg+step*(N-1) */ #include <stdio.h> #include <math.h> /* . define N 5 /* , N =10 */ struct Func { char* name; /* double (*fp)( double ); /* } func [] = { { sin , sin { cos , cos { log , log { NULL, NULL }; */ */ }, }, }, } int main() { int beg = 1, /* - step = 1, /* end = beg + (N-1)* step , /* - numfuncs = sizeof( func )/sizeof(struct Func ) - 1; /* func int i; ... sin | ... cos | ...
[ Текст ]  Ссылки http://al.cs.msu.su/files/vylitok.pdf -- 247.2 Кб -- 17.11.2015
[ Текст ]  Ссылки http://al.cs.msu.su/system/files/vylitok.pdf -- 247.2 Кб -- 09.04.2016
Похожие документы

9. http://al.cs.msu.su/files/formal.languages.translation.theory.pdf
... LEX _COLON ) throw curr_ lex ; else { gl (); if ( c_type == LEX _ INT ) { dec ( LEX _ INT ); gl(); } else _ lex ; LEX _SEMICOLON ) _ lex ; LEX _FIN ) _ lex ; 69 / if ( c_type == LEX _BOOL ) { dec ( LEX _BOOL ); gl(); } else throw curr_ lex ; } } } void Parser::B () { if ( c_type == LEX _BEGIN ) { gl(); S(); while ( c_type == ... LEX t hrow curr_lex; else { st_int.push ( c gl(); w hile (c_type = { gl(); if (c_type != throw curr_ e lse { st_int.push gl(); } } if (c_type !=...
[ Текст ]  Ссылки http://al.cs.msu.su/files/formal.languages.translation.theory.pdf -- 2255.8 Кб -- 12.06.2014
Похожие документы

10. http://al.cs.msu.su/files/launch_asm.pdf
... 1R). " .." assembler.zip. ( assembler.zip ) " ". assembler.zip " " ­ " " ( ). "" ( ) , " " assembler.zip . ... Assembler : masm npp ; : assembler.cmd ­ "" ; io.asm, ioproc.asm, ioproc.obj ­ /; readme.txt ­ - ; schem.asm ­ . ... Notepad++ OEM866 (DOS ), - - - OEM866. 1*) 9. schem.asm Notepad++, « ­ ­ (pr1) ­ » Notepad++ , schem.asm 10. ... pr2.asm, .7­11. , .lst. . asm- . ... Assembler : masm npp ; : assembler.cmd ­ Notepad++, ; io.asm, ioproc.asm, ioproc.obj ­ / ; readme.txt ­. .9 ; schem.asm ­ . ...
[ Текст ]  Ссылки http://al.cs.msu.su/files/launch_asm.pdf -- 2276.2 Кб -- 15.04.2014
Похожие документы

11. http://al.cs.msu.su/files/cpp.tasks.2013.pdf
... 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.su/files/cpp.tasks.2013.pdf -- 754.3 Кб -- 25.01.2014
Похожие документы

12. http://al.cs.msu.su/files/bordachenkova.number.representation.2009.doc
ПРЕДСТАВЛЕНИЕ ЦЕЛЫХ ЧИСЕЛ В ЭВМ. Бордаченкова Е.А. В методическом пособии обсуждаются вопросы, касающиеся работы с числами в компьютере: способы представления чисел, особенности машинных операций сложения и вычитания, вопросы, связанные с арифметическими флагами. ... Числа без знака. ... Числа со знаком. ... Можно дать другое, эквивалентное приведенному, определение понятия "представление числа со знаком": для любого числа x((-128,127( представление x есть двоичное восьмиразрядное число x mod 256. ...
[ Текст ]  Ссылки http://al.cs.msu.su/files/bordachenkova.number.representation.2009.doc -- 167.5 Кб -- 19.11.2012
Похожие документы

13. http://al.cs.msu.su/files/bordachenkova.architecture.model.machines.2010.doc
... Что же именно записано в ячейке - данное или команда - определяется во время работы ЭВМ. ... Перед началом работы процессора в регистр СА записывается аппаратно всегда один и тот же адрес, и первая команда программы должна располагаться в ОП в ячейке именно с этим адресом. ... Условимся, что перед началом работы 1) в СА записывается 0100, то есть выполнение начинается с команды по адресу 0100, 2) в ячейки ОП уже записаны все данные, необходимые для работы программ (ввод и вывод не рассматриваем). ...
[ Текст ]  Ссылки http://al.cs.msu.su/files/bordachenkova.architecture.model.machines.2010.doc -- 405.5 Кб -- 19.11.2012
Похожие документы

14. http://al.cs.msu.su/files/kuzina_prac.pdf
... 1. char : signed- unsigned. % . ... int ( int "" ). 8. , unsigned- "" ( unsigned int "" int, - unsigned int ). ... main(), , , , . main(). 1. , , str . ... 7. , str1 str2, str1 ­ str2. , s1: "ist12d3as5?", s2: "was" => s2: "1235wasistdas?" ( ) main() . ... shell: > <> <> <> . ... 2. sort [ -r +n ­m -o] . ... com1 ; com2 ­ , com & - (.. ... ps. com1 && com2 - com1, , com2; com1 || com2 - com1, , com2. , exit ( 0 ­ ). ... dev/null, EOF). , , /dev/null ( ). «». , , «», , wait waitpid.. , , . ...
[ Текст ]  Ссылки http://al.cs.msu.su/files/kuzina_prac.pdf -- 332.8 Кб -- 01.06.2011
Похожие документы

15. Exam questions for Programing Systems
... Пример: редактор vim. ... Основные возможности компилятора gcc . ... Примеры. Основные возможности отладчика gdb. ... Основные возможности программы GNU make. ... Основные возможности системы CVS. Основные понятия и определения теории формальных языков. ... Классификация формальных грамматик и языков по Хомскому. ... Понятие класса и объекта. ... Объявления и описания функций-членов класса; эффект inline. ... Перегрузка функций. ... Перегрузка с помощью функции-члена и функции-друга. ...
[ Сохраненная копия ]  Ссылки http://al.cs.msu.su/static/classes/spbak2009.html -- 5.9 Кб -- 04.04.2009
Похожие документы

16. Семинар Компьютерная aлгебра и теория формальных языков
... Пакет Maple TFL . ... Следующее заседание семинара состоится в среду 30 апреля , тема семинара -- отчет по курсовым работам, докладывают студенты 3 и 4 курсов. На семинаре мы изучаем вопросы компьютерной алгебры и теории формальных языков. ... Теория формальных языков занимается вопросами представления и автоматического преобразования синтаксических структур различной природы. ... На семинаре также рассматриваются интересные алгоритмы, актуальные технологии программирования. ... Федулкин Алексей . ...
[ Сохраненная копия ]  Ссылки http://al.cs.msu.su/static/seminars/catfl/ -- 15.4 Кб -- 28.04.2008
[ Сохраненная копия ]  Ссылки http://al.cs.msu.su/static/seminars/catfl/index.html -- 15.4 Кб -- 28.04.2008
Похожие документы

17. Введение в систему Maple 10
. Строганов А.Ю. и Харченков С.Л., 7 ноября 2007 . В докладе описывается использование многофункциональной математической программной системы Maple в прикладных задачах. Материалы к докладу: . Презентация в PowerPoint ( .zip, 8.3Mb ) .
[ Сохраненная копия ]  Ссылки http://al.cs.msu.su/static/seminars/catfl/reports/024_maple_introduction/abstract.html -- 1.7 Кб -- 19.11.2007
Похожие документы

18. Существование сколь угодно сложных задач
... В данном докладе рассматриваются вопросы существования сколь угодно сложных задач. Для этого используется аппарат машин Тьюринга. Выделены три части доклада. ... 2)Во второй части описывается некое семейство машин Тьюринга, которое примечательно тем, что все машины, входящие в это семейство, можно занумеровать. ... 3)В третьей части доказываются две основные теоремы о существовании сколь угодно сложных задач. При доказательстве теорем активно используются факты из второй части доклада. ...
[ Сохраненная копия ]  Ссылки http://al.cs.msu.su/static/seminars/catfl/reports/025_troubles/abstract.html -- 2.2 Кб -- 19.11.2007
Похожие документы

19. Алгоритмы на графах. Поиск в глубину
. Сорокин А.С., 31 октября 2007 . В докладе представлены решения двух типичных задач - топологическая сортировка графа и нахождение точек сочленения. На их примере показана суть поиска в глубину и представление графов деревьями.
[ Сохраненная копия ]  Ссылки http://al.cs.msu.su/static/seminars/catfl/reports/023_alg_grf/abstract.html -- 1.6 Кб -- 06.11.2007
Похожие документы

20. Рекурсия и индукция
. Юдочев Дмитрий, 17 октября 2007 . В докладе рассказывается о рекурсии и индукции в целом, корректности кода и использовании рекурсии для облегчения проверки корректности циклов, сложности функций и использовании индукции для вычисления сложности рекурсивных функций.
[ Сохраненная копия ]  Ссылки http://al.cs.msu.su/static/seminars/catfl/reports/022_rekurs_ind/abstract.html -- 1.6 Кб -- 06.11.2007
Похожие документы

1 | 2 | 3 | След.

Rambler's Top100 RFBR Яндекс цитирования