Поиск по:al.cs.msu.su -
Поискать по всем серверам
На этой странице приведены все страницы сервера al.cs.msu.su ,которые мы индексируем. Показаны документы 21 - 40 из 46.
Упорядочить по:
URL
|
дате изменения
21. Семинар "Компьютерная алгебра и теория формальных языков"
... 424 . ... 525 . ... 325 . ... 324 . ...
[
Сохраненная копия
]
Ссылки http://al.cs.msu.su/static/seminars/catfl/students.html -- 4.4 Кб -- 15.10.2007
Похожие документы
Похожие документы
22. Формальные системы в семантике естественных языков
. Дмитрий Орлов, 3 октября 2007 . В докладе рассказывается о типизированном lambda-исчислении в семантике, универсальной интерпретации именных групп (Generalized Quantifier) и других синтаксических категорий, а также о проблеме отрицания.
[
Сохраненная копия
]
Ссылки http://al.cs.msu.su/static/seminars/catfl/reports/021_form_systems/abstract.html -- 1.7 Кб -- 10.10.2007
Похожие документы
Похожие документы
23. Теория Пойа
. Мальская Екатерина, 27.03.2007 Материалы к докладу: . Презентация в PowerPoint ( .rar, 0.1Mb )
[
Сохраненная копия
]
Ссылки http://al.cs.msu.su/static/seminars/catfl/reports/020_teoria_poia/abstract.html -- 1.5 Кб -- 23.04.2007
Похожие документы
Похожие документы
24. Материалы по курсу "Архитектура ЭВМ", 3й поток
. UMCommands2007.pdf (команды учебной машины) . example10p4.rtf . example10p5.rtf . example10p6.rtf . example13.rtf . example16p2.rtf . example18p6.rtf . Вопросы к экзамену
[
Сохраненная копия
]
Ссылки http://al.cs.msu.su/static/bordachenkova/comp_arch.html -- 1.8 Кб -- 15.02.2007
Похожие документы
Похожие документы
25. http://al.cs.msu.su/books/avst/unix.ps
########## ############### ########### ##### #. #. ########## ######### ############## ########## # ########### #. #. ########, #. #. #######, #. #. ####### ############ ####### Unix ############ ####### ### ########## ####### ########## ###### 2006 ### 519.6 ###### ##### ############ ## ############## #######, # ### ##### ## ######### ## ############ # ###### ####### #########. ##### ### #####: avst@cs.msu.ru. ######### ##### c #.#.########, #.#.#######, #.#.#######, 2006 ######## ###### ## 28 ########
[
Текст
]
Ссылки http://al.cs.msu.su/books/avst/unix.ps -- 1229.5 Кб -- 28.09.2006
[ Текст ] Ссылки http://al.cs.msu.su/books/avst/unix.ps.gz -- 551.3 Кб -- 28.09.2006
Похожие документы
[ Текст ] Ссылки http://al.cs.msu.su/books/avst/unix.ps.gz -- 551.3 Кб -- 28.09.2006
Похожие документы
26. http://al.cs.msu.su/books/avst/unix.pdf
Unix 2006 519.6 , . ... Unix. ... Unix, , , ; , Unix, Gnu ( gcc, gdb Gnu Make), . ... Unix' ; , , , , Windows, MacOS .. ... Ctrl-]. , , make (.ї4.3), vim , gcc. make vim. , make prog, vim :make prog. , , " " . ... grep , , find (. ... name "*.c" -exec grep include {} #include <fcntl.h> #include <sys/stat.h> ./hel.c #include "stdio.h" ./kr.c .. grep ( !) -print . ... name "*.cpp" -o -name "*.c" \) -exec grep main {} \; -print int main() ./kr.c int main() ./hel.c int main() ./kr.cpp , find, , , , Unix. ...
[
Текст
]
Ссылки http://al.cs.msu.su/books/avst/unix.pdf -- 586.4 Кб -- 28.09.2006
Похожие документы
Похожие документы
27. http://al.cs.msu.su/static/seminars/catfl/materials/task2.pdf
... printf() double. . ... 4. double str2double( char str[] ); double. L (.. long double). . str2double() double , %.10g. . ... 9'-'0'==9 , , ASCII #include stdio.h #include setjmp.h jmp_buf begin ; /* */ 2 char curlex ; /* */ void getlex ( void ); /* */ int expr ( void ); /* */ int add ( void ); /* */ int mult( void ); /* */ void error (); /* main ( begin ) */ main() { int result; setjmp( begin ); printf( == ); getlex (); result= expr (); if ( curlex != '\n') ...
[
Текст
]
Ссылки http://al.cs.msu.su/static/seminars/catfl/materials/task2.pdf -- 72.4 Кб -- 24.09.2006
Похожие документы
Похожие документы
28. http://al.cs.msu.su/static/classes/prac_shell.txt
... Например: > aaa "bbb ccc" ddd aaa bbb ccc ddd > aaaa "bbb"ccc"ddd" eee aaaa bbbcccddd eee Допускаются строки произвольной длины, т.е. программа должна вести себя корректно вне зависимости от того, какой длины строка подана на ввод (!) ... 2) Вызов внешних команд. ... Реализовать выполнение команд в фоновом режиме. ... В минимальном варианте достаточно реализовать конвейр из двух команд, при наличии в командной строке более чем одного символа '|' выдавать сообщение об ошибке. ...
[
Сохраненная копия
]
Ссылки http://al.cs.msu.su/static/classes/prac_shell.txt -- 4.5 Кб -- 21.09.2006
Похожие документы
Похожие документы
29. Материалы
... Пакет Maple TFL . ... А. Ахо, Дж. Ульман. Построение и анализ вычислительных алгоритмов. ( .djvu, 4.1 Mb ) . ... Теория синтаксического анализа, перевода и компиляции. ... Синтаксический анализ. ( .djvu, 4.7 Mb ) . ... Компиляция. ( .djvu, 4.6 Mb ) . ... Learning Guide ( .pdf.rar, 2.7 Mb ) . Introductory Programming Guide ( .pdf.rar, 0.9 Mb ) . Advanced Programming Guide ( .pdf.rar, 2.2 Mb ) . Программа для просмотра DjVu: WinDjView 0.2.3 ( .exe, 424 Kb ) . ...
[
Сохраненная копия
]
Ссылки http://al.cs.msu.su/static/seminars/catfl/materials/index.html -- 5.1 Кб -- 21.09.2006
Похожие документы
Похожие документы
30. Вероятностые алгоритмы (Монте-Карло и Лас-Вегаса)
. Евгений Вареник, 18.04.2006 . Рассмотрены вероятностные алгоритмы: численные, Монте Карло, Лас Вегас. Основные понятия, связанные с вероятностными алгоритмами. Численное интегрирование. Вероятностный счет. Верификация произведения матриц. Тестирование числа на простоту. Быстрая сортировка: Лас Вегас модификация. Усиление стохастической выгоды в алгоритмах Монте Карло.
[
Сохраненная копия
]
Ссылки http://al.cs.msu.su/static/seminars/catfl/reports/018_prob_algo/abstract.html -- 1.9 Кб -- 17.05.2006
Похожие документы
Похожие документы
31. Китайская теорема об остатках и алгоритм быстрого умножения
... В первой части доклада освещена оригинальная формулировка Китайской теоремы об остатках, альтернативная (с доказательством) и обобщенная. ... Во второй части рассмотрен метод умножения двух чисел (или полиномов), которой в отличии от стандартного способа, уменьшает сложность умножения до O(nlogn) при помощи быстрого преобразования Фурье (Fourier Jean Baptiste Joseph). Рассмотрен алгоритм быстрого преобразование Фурье, обоснование его сложности и графическое отображение эффективности алгоритма. ...
[
Сохраненная копия
]
Ссылки http://al.cs.msu.su/static/seminars/catfl/reports/019_chinatheo/abstract.html -- 2.4 Кб -- 27.04.2006
Похожие документы
Похожие документы
32. Двумерные формальные языки
Григорий Плотников, 11.04.2006 . В докладе рассмотрено обобщение понятий и методик теории формальных языков для двумерного случая. ... В докладе рассмотрен один из возможных подходов для генерации и распознавания двумерных объектов. Также освещены многие свойства двумерных языков, в том числе заимствованные у одномерных формальных языков. Упомянуты многие средства для работы с такими языками: регулярные выражения, автоматы, грамматики и другие. Материалы к докладу: . ...
[
Сохраненная копия
]
Ссылки http://al.cs.msu.su/static/seminars/catfl/reports/017_2d_languages/abstract.html -- 2.3 Кб -- 12.04.2006
Похожие документы
Похожие документы
33. Формальные системы для визуализации развития растений
. Екатерина Мальская, 04.04.2006 Материалы к докладу: . Презентация в PowerPoint ( .ppt.zip, 1.1Mb )
[
Сохраненная копия
]
Ссылки http://al.cs.msu.su/static/seminars/catfl/reports/016_plantdev/abstract.html -- 1.7 Кб -- 06.04.2006
Похожие документы
Похожие документы
34. Web 2.0
. Павел Сутырин, 28.03.2006 . В докладе представлены основные принципы "Web нового поколения", попытка понять, чем Google принципиально отличается от Microsoft, в чем состоит "мудрость толпы", откуда берется "длинный хвост", кто владеет данными и чем может стать "операционная система Интернет". Материалы к докладу: . Презентация в HTML ( .rar, 3.8 Mb )
[
Сохраненная копия
]
Ссылки http://al.cs.msu.su/static/seminars/catfl/reports/015_web2.0/abstract.html -- 1.9 Кб -- 30.03.2006
Похожие документы
Похожие документы
35. Об оптимальности схемы Горнера
. Евгений Вареник, 28 февраля 2006 . Схема Горнера вычисления значения полинома в точке. Доказательство ее оптимальности в худшем случае по числу операций "сложение" и "умножение" среди алгоритмов, использующих только эти операции. Материалы к докладу: . E.M. Reingold and A.I. Stokes, Simple proofs of lower bounds for polynomial evaluation, in: R.E. Miller and J.W. Thatcher, Eds., Complexity of Computer Computations (Plenum, New York, 1972) 21--29.
[
Сохраненная копия
]
Ссылки http://al.cs.msu.su/static/seminars/catfl/reports/009_gorner/abstract.html -- 2.0 Кб -- 07.03.2006
Похожие документы
Похожие документы
36. http://al.cs.msu.su/static/seminars/catfl/reports/001_free_software/page1.html
Ричард Столлмен (Richard Matthew Stallman) (р.1953) основатель проекта GNU ("GNU Is Not Unix", 1984 г.), основатель Фонда Свободного ПО (Free Software Foundation, 1985 г.), лауреат премии МакАртура (1990 г.), премии ACM Grace Murray Hopper's Award (1991 г.). ... freedom 0: use software for any purpose . freedom 1: study software (sources required) . ... Линус Торвальдс (Linus Benedict Torvalds) (р. 1969 г.) автор ядра Linux (1991 г.), на котором основана свободная операционная система GNU/Linux. ...
[
Сохраненная копия
]
Ссылки http://al.cs.msu.su/static/seminars/catfl/reports/001_free_software/page1.html -- 5.9 Кб -- 03.03.2006
Похожие документы
Похожие документы
37. Общее описание
... Архитектура пакета . ... Пакет содержит типы данных и алгоритмы для поддержки теории формальных языков в системе Maple. ... Для представления символов используется тип type/character , Для представления цепочек тип type/string . ... Основной новый тип: Language . ... Каталог с исходными текстами пакета имеет следующую структуру. src\ . ... Конструкторы и утилиты к типу Language . ... Конструкторы и утилиты к типу Acceptor . ... конструкторы объектов имеют префикс new , например: newLanguage() . ...
[
Сохраненная копия
]
Ссылки http://al.cs.msu.su/static/seminars/catfl/maple_tfl/doc/index.html -- 11.3 Кб -- 21.02.2006
Похожие документы
Похожие документы
38. Пакет Maple TFL
. Текущая документация . версия 0.1.2: maple_tfl_0-1-2.zip (37 Kb) . версия 0.1.1: maple_tfl_0-1-1.zip (15 Kb)
[
Сохраненная копия
]
Ссылки http://al.cs.msu.su/static/seminars/catfl/maple_tfl/index.html -- 1.6 Кб -- 21.02.2006
Похожие документы
Похожие документы
39. Свободное программное обеспечение
... Сильные мира free software и open source . ... Очень рекомендую читать оригиналы на английском, потому как особый "вкус текста" неизбежно теряется, даже если (редко когда) перевод хороший: . Что такое свободное ПО (оригинал) (перевод) . Введение в предмет, определение философии свободного программного обеспечения. ... Двадцать лет свободному ПО: Что дальше? (оригинал) (перевод) . ... GNU . ... Знаменитый GNU Manifesto, множество текстов о природе свободного ПО и свободы людей вообще. ...
[
Сохраненная копия
]
Ссылки http://al.cs.msu.su/static/seminars/catfl/reports/001_free_software/abstract.html -- 6.2 Кб -- 21.02.2006
Похожие документы
Похожие документы
40. http://al.cs.msu.su/static/seminars/catfl/reports/001_free_software/page2.html
... Hello everybody out there using minix - I'm doing a (free) operating system (just a hobby, won't be big and professional like gnu) for 386(486) AT clones. ... I'd like any feedback on things people like/dislike in minix, as my OS resembles it somewhat (same physical layout of the file-system (due to practical reasons) among other things). ... This implies that I'll get something practical within a few months, and I'd like to know what features most people would want. ...
[
Сохраненная копия
]
Ссылки http://al.cs.msu.su/static/seminars/catfl/reports/001_free_software/page2.html -- 2.4 Кб -- 21.02.2006
Похожие документы
Похожие документы