Поиск по:sp.cs.msu.ru -
Поискать по всем серверам
На этой странице приведены все страницы сервера sp.cs.msu.ru ,которые мы индексируем. Показаны документы 461 - 480 из 751.
Упорядочить по:
URL
|
дате изменения
461. http://sp.cs.msu.ru/courses/fmsp/2009/rsl-problems.pdf
... 1. ??: sort: Real-list -> Real-list 2. ? ?: allsubstrs: Text -> Text-set 3. ? ?: , , ; ( ) , , rucksack: (T-set) >< (T-m->Nat) >< Nat -~-> T-set-set 4. ? ?: (, ), , , , , type A, P = (A-set)-set value mergeC: P >< A >< A -~-> P 5. ... replace1: Text >< Char >< Char -> Text 6. ... f: Nat -> Nat 10. ??: inject: Text >< Char >< Char -> Text 11. ??: m: Text -> Text 12-18 : type V, G = V -m-> V-set ( ). , -- , . ... medN: G >< V >< Nat -~-> V-set 17. ? ?: - type V = Nat value insert: G >< V -~-> G 18. ...
[
Текст
]
Ссылки http://sp.cs.msu.ru/courses/fmsp/2009/rsl-problems.pdf -- 90.3 Кб -- 11.09.2009
Похожие документы
Похожие документы
462. http://sp.cs.msu.ru/courses/index.win.txt
Директория \courses содержит информацию по основным и специальным курсам кафедры системного программирования ВМК МГУ alg/ 06-Aug- 2001 16:38 DIR Информация по спецкурсу Алгоритмы дискретной оптимизации alprog.doc.zip 09-Nov- 2001 16:22 5k Программа курса лекций Алгоритмы и алгоритмические языки' для студентов 1 курса 2001 -2002 гг alprog.txt.zip 09-Nov- 2001 16:23 2k Программа курса лекций Алгоритмы и алгоритмические языки' для студентов 1 курса ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/courses/index.win.txt -- 7.1 Кб -- 07.07.2009
Похожие документы
Похожие документы
463. http://sp.cs.msu.ru/info/5/gos/zasch2007.doc
... ГАК ? 1 |21 мая |9.00 |685 |508 |10 | понедельник|11.00 | ... 1 |22 мая |9.00 |685 |501 |12 | вторник |11.00 | ... 1 |23 мая |9.00 |685 |502,503 |11 | ... 1 |24 мая |9.00 |685 |504,505 |12 | ... 2 |21 мая |9.00 |612 |518 |12 | ... 2 |22 мая |9.00 |612 |519 |12 | ... 2 |23 мая |9.00 |612 |511 |12 | ... 2 |24 мая |9.00 |612 |512 |12 | ... 2 |25 мая |9.00 |685 |513 |12 | ... 2 |26 мая |9.00 |685 |515 |12 | ... 3 |21 мая |9.00 |609 |520 |12 | ... 4 |21 мая |9.00 |613 |431,432 |12 | ...
[
Текст
]
Ссылки http://sp.cs.msu.ru/info/5/gos/zasch2007.doc -- 60.0 Кб -- 07.07.2009
Похожие документы
Похожие документы
464. http://sp.cs.msu.ru/info/5/gos/gos2007.doc
... ГАК ? 1 |6 июня |9.00 |606 |508 |10 | среда |11.00 | ... четверг |11.00 | ... пятница |11.00 | ... 2 |6 июня |9.00 |612 |518 |12 | ... 2 |7 июня |9.00 |612 |519 |12 | ... 2 |8 июня |9.00 |612 |511 |12 | ... 2 |9 июня |9.00 |612 |512 |12 | ... 2 |10 июня |9.00 |612 |513 |12 | ... 2 |13 июня |9.00 |612 |515 |12 | ... 2 |14 июня |9.00 |612 |517 |12 | ... 2 |15 июня |9.00 |612 |516 |12 | ... 3 |6 июня |9.00 |609 |520 |12 | ... 3 |7 июня |9.00 |609 |521 |12 | ... 4 |6 июня |9.00 |613 |431,432 |12 | ...
[
Текст
]
Ссылки http://sp.cs.msu.ru/info/5/gos/gos2007.doc -- 59.5 Кб -- 07.07.2009
Похожие документы
Похожие документы
465. http://sp.cs.msu.ru/info/5/gos/cons2007.doc
ПОДГОТОВКЕ К ГОСУДАРСТВЕННОМУ ЭКЗАМЕНУ по прикладной математике и информатике 2007 год дата время ауд. поток тема часть кафедра 30 мая СРЕДА 30 мая 10.00 П-14 1,2,3 Математический анализ , алгебра и общая общей математики геометрия,функциональный анализ 30 мая 11.00 П-14 1,2,3 Диф. уравнения, методы математич. общая математич.физики физики 30 мая 12.00 П-14 1 Математический анализ , алгебра и ...
[
Текст
]
Ссылки http://sp.cs.msu.ru/info/5/gos/cons2007.doc -- 30.5 Кб -- 07.07.2009
Похожие документы
Похожие документы
466. http://sp.cs.msu.ru/courses/techprog/ExQuest02.doc
... Понятие ошибки в программном средстве. ... Понятие программного средства. ... Понятие надежности программного средства. ... Понятие сопровождения программного средства. ... Понятие управления разработкой программного средства. ... Понятие инструментальной среды разработки и сопровождения программных средств. ... Понятие интегрированности инструментальной среды разработки и сопровождения программных средств. ... Инструментальные среды разработки и сопровождения программных средств. ...
[
Текст
]
Ссылки http://sp.cs.msu.ru/courses/techprog/ExQuest02.doc -- 41.0 Кб -- 07.07.2009
Похожие документы
Похожие документы
467. http://sp.cs.msu.ru/courses/progs2006/par_data_proc12.doc
Параллельная обработка данных 4 курс, 1 и 2 потоки, 7-й семестр лекции (34 часа), зачет Кафедра, отвечающая за курс: АСВК Составитель программы: чл.-кор. ... Рассматриваются особенности архитектур современных параллельных вычислительных систем, изучаются основные методы и парадигмы программирования в параллельных средах. ... Программа 1. ... Компьютеры с общей памятью, примеры, причины снижения производительности на реальных программах. ... Производительность параллельных вычислительных систем. ...
[
Текст
]
Ссылки http://sp.cs.msu.ru/courses/progs2006/par_data_proc12.doc -- 36.0 Кб -- 07.07.2009
Похожие документы
Похожие документы
468. http://sp.cs.msu.ru/courses/progs2006/obj_or_an.doc
Объектно-ориентированный анализ и проектирование 5 курс, 3 поток, 9-й семестр лекции (34 часа), экзамен семинарские занятия (34 часа), зачет без оценки Кафедра, отвечающая за курс ... . М. Веб-страница: http://sp.cmc.msu.ru/courses/prak5 Аннотация В курсе рассматриваются современные методы и средства анализа и проектирования программного обеспечения , основанные на применении объектно-ориентированного подхода и унифицированного языка моделирования ... Состав диаграмм UML. ... Пер. с англ. ...
[
Текст
]
Ссылки http://sp.cs.msu.ru/courses/progs2006/obj_or_an.doc -- 35.5 Кб -- 07.07.2009
Похожие документы
Похожие документы
469. http://sp.cs.msu.ru/courses/progs2006/form_spec.doc
Методы формальной спецификации программ 4 курс, 3-й поток, 7-й и 8-й семестры. лекции (64 часа), экзамен в 8-м семестре семинары (64 часа), зачет без оценки в 7-м и 8-м ... физ.-мат. наук Петренко А.К., Фролов А. М., Караулов А. А. Аннотация В курсе рассматривается широкий спектр подходов к формальной спецификации программ от классических языков формальной спецификации до языков проектирования и определения архитектуры ... Верификация программ. ... Неформальные диаграммы сценарных моделей. ...
[
Текст
]
Ссылки http://sp.cs.msu.ru/courses/progs2006/form_spec.doc -- 46.5 Кб -- 07.07.2009
Похожие документы
Похожие документы
470. http://sp.cs.msu.ru/courses/progs2006/alg_compl.doc
Вычислительная сложность алгоритмов 3 курс, 3 поток, 5-й семестр лекции (54 часа), экзамен Кафедра, отвечающая за курс: алгоритмических языков Составитель программы: проф., доктор физ.-мат. наук Абрамов С. А. Лектор: проф., доктор физ.-мат. наук Абрамов С. А. (3 п.) Программа Вход (входные данные) алгоритма и размер входа. Временные и пространственные затраты алгоритма для данного входа; понятие сложности в худшем случае. ... Построение и анализ вычислительных алгоритмов. ...
[
Текст
]
Ссылки http://sp.cs.msu.ru/courses/progs2006/alg_compl.doc -- 28.5 Кб -- 07.07.2009
Похожие документы
Похожие документы
471. http://sp.cs.msu.ru/courses/q3p2006.doc
... Алгоритм Сети-Ульмана оптимального распределения регистров и его обоснование. ... Основные принципы объектно-ориентированного программирования. ... Основные этапы компиляции (лексический анализ, синтаксический анализ, семантический анализ, генерация кода и т.д.). ... Архитектура параллельных вычислительных систем. ... Методы представления знаний в системах искусственного интеллекта (язык предикатов, семантические сети, фреймы, продукции). ... М.: Издательский отдел ф-та ВМК МГУ, 2004. ... Питер,...
472. http://sp.cs.msu.ru/courses/obrazec.doc
Заведующему кафедрой системного программирования факультета ВМК чл.-корр. РАН Иванникову В. П. от Сидорова Петра Ивановича ЗАЯВЛЕНИЕ Прошу зачислить меня на спецсеминар кафедры системного программирования: 1. Динамическая отладка компьютерных игр-"стрелялок" 2. Теоретические основы аутсорсинга 3. Практические вопросы юзабилити наследуемых систем Сидоров Петр Иванович Подпись Дата
473. На пути к 80-летнему юбилею (1970-1993)
... 1970-1993 М.Р.Шура-Бура возглавлял кафедру системного программирования факультета вычислительной математики и кибернетики МГУ. Факультет ВМК был создан в 1970 году на базе кафедры вычислительной математики механико- математического факультета в составе семи кафедр: . вычислительной математики (руководитель - академик А.Н. Тихонов) . ... системного программирования (руководитель - профессор М.Р. Шура-Бура) . ... исследования операций (руководитель - профессор Ю.Б. Гермейер) . ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/koi/mrshb/mrshb7.htm -- 4.3 Кб -- 07.07.2009
[ Сохраненная копия ] Ссылки http://sp.cs.msu.ru/mrshb/mrshb7.htm -- 4.3 Кб -- 07.07.2009
[ Сохраненная копия ] Ссылки http://sp.cs.msu.ru/win/mrshb/mrshb7.htm -- 4.3 Кб -- 07.07.2009
Похожие документы
[ Сохраненная копия ] Ссылки http://sp.cs.msu.ru/mrshb/mrshb7.htm -- 4.3 Кб -- 07.07.2009
[ Сохраненная копия ] Ссылки http://sp.cs.msu.ru/win/mrshb/mrshb7.htm -- 4.3 Кб -- 07.07.2009
Похожие документы
474. Олимпиада ВМК-2001. Фотографии
. 1 а п р е л я 2 0 0 1 г о д а . Фотографии с олимпиады факультета ВМК по программированию .
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/images/photo/ -- 13.1 Кб -- 07.07.2009
Похожие документы
Похожие документы
475. http://sp.cs.msu.ru/courses/fmsp/pvs-instruction.pdf
pvs pvs , : Ї () - Ї () - pvs : 1. ( , , , , ) 2. , . pvs. ( ), , . pvs: (skolem!) - , (inst) - (prop) - ( ) ! , merge-fnums. (flatten) - (simplify) - (, "(1::int)" "1") (hide ) - , - (rewrite ) - : (undo) - (grind) - , ( , - pvs ) ,
[
Текст
]
Ссылки http://sp.cs.msu.ru/courses/fmsp/pvs-instruction.pdf -- 29.5 Кб -- 12.11.2008
Похожие документы
Похожие документы
476. Фоторепортаж о соревнованиях NEERC 2001
. Фоторепортаж о соревнованиях NEERC 2001 . PB280149.JPG . PB280150.JPG . PB280151.JPG . PB280152.JPG . PB280155.JPG . PB280156.JPG . Page: 1 2 3 4 5 . [ Prev ] [ Next ]
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/images/neerc2001/horiz/page_04.htm -- 3.4 Кб -- 31.10.2008
Похожие документы
Похожие документы
477. Фоторепортаж о соревнованиях NEERC 2001
. Фоторепортаж о соревнованиях NEERC 2001 . PB280157.JPG . PB280159.JPG . PB280160.JPG . PB280161.JPG . Page: 1 2 3 4 5 . [ Prev ] [ Next ]
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/images/neerc2001/horiz/page_05.htm -- 3.0 Кб -- 31.10.2008
Похожие документы
Похожие документы
478. Фоторепортаж о соревнованиях NEERC 2001
. pb270114.jpg . pb270115.jpg . pb270118.jpg . pb270120.jpg . pb270121.jpg . pb270125.jpg . Страница: [ Пред. ] 1 2 3 4 5 [ След. ]
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/images/neerc2001/horiz/page_01.htm -- 5.7 Кб -- 31.10.2008
Похожие документы
Похожие документы
479. Фоторепортаж о соревнованиях NEERC 2001
. Фоторепортаж о соревнованиях NEERC 2001 . PB280130.JPG . PB280133.JPG . PB280134.JPG . PB280136.JPG . PB280137.JPG . PB280138.JPG . Page: 1 2 3 4 5 . [ Prev ] [ Next ]
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/images/neerc2001/horiz/page_02.htm -- 3.4 Кб -- 31.10.2008
Похожие документы
Похожие документы
480. Фоторепортаж о соревнованиях NEERC 2001
. Фоторепортаж о соревнованиях NEERC 2001 . PB280140.JPG . PB280143.JPG . PB280145.JPG . PB280146.JPG . PB280147.JPG . PB280148.JPG . Page: 1 2 3 4 5 . [ Prev ] [ Next ]
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/images/neerc2001/horiz/page_03.htm -- 3.4 Кб -- 31.10.2008
Похожие документы
Похожие документы