Астронет > Статистика сайта:

	Поиск по информационным ресурсам МГУ

	Точная форма слов О проекте Сайты Помощь

Поиск по: - Поискать по всем серверам

На этой странице приведены все страницы сервера ,которые мы индексируем. Показаны документы 2201 - 2220 из 2727011.

[ В начало ] Пред. | 107 | 108 | 109 | 110 | 111 | 112 | 113 | 114 | 115 | 116 | След. [ В конец ]

Упорядочить по: URL | дате изменения

2201. TeX система верстки текстов с формулами.

. Алексей Федулкин, 17 ноября 2005 . Доклад дал обзор возможностей издательской системы TeX и ее версии LaTeX. Были рассмотрены функции, связанные с набором математических формул. Материалы к докладу: . Презентация в html ( .rar, 1.4Mb )

[ Сохраненная копия ] Ссылки http://al.cs.msu.su/static/seminars/catfl/reports/007_tex/abstract.html -- 1.8 Кб -- 21.02.2006
[ Сохраненная копия ] Ссылки http://al.cs.msu.ru/static/seminars/catfl/reports/007_tex/abstract.html -- 1.8 Кб -- 21.02.2006
Похожие документы

2202. Производящие функции. Формальные грамматики с однозначным выводом. Разбиения и

. Павел Сутырин, Григорий Плотников, 1 декабря 2005 . В докладе были рассмотрены производящие функции формальные ряды, коэффициенты которых имеют комбинаторную интерпретацию. В первой части доклада были освещены скобочные системы и грамматики с однозначным выводом, во второй части разбиения и разложения натуральных чисел на слагаемые. Материалы к докладу: . Слайды к первой части ( .pdf.rar ) . Слайды ко второй части ( .ppt.rar )

[ Сохраненная копия ] Ссылки http://al.cs.msu.su/static/seminars/catfl/reports/008_cov_functions/abstract.html -- 2.2 Кб -- 21.02.2006
[ Сохраненная копия ] Ссылки http://al.cs.msu.ru/static/seminars/catfl/reports/008_cov_functions/abstract.html -- 2.2 Кб -- 21.02.2006
Похожие документы

2203. Об оптимальности схемы Горнера

. Евгений Вареник, 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
[ Сохраненная копия ] Ссылки http://al.cs.msu.ru/static/seminars/catfl/reports/009_gorner/abstract.html -- 2.0 Кб -- 07.03.2006
Похожие документы

2204. 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
[ Сохраненная копия ] Ссылки http://al.cs.msu.ru/static/seminars/catfl/reports/015_web2.0/abstract.html -- 1.9 Кб -- 30.03.2006
Похожие документы

2205. Формальные системы для визуализации развития растений

. Екатерина Мальская, 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
[ Сохраненная копия ] Ссылки http://al.cs.msu.ru/static/seminars/catfl/reports/016_plantdev/abstract.html -- 1.7 Кб -- 06.04.2006
Похожие документы

2206. Двумерные формальные языки

Григорий Плотников, 11.04.2006 . В докладе рассмотрено обобщение понятий и методик теории формальных языков для двумерного случая. ... В докладе рассмотрен один из возможных подходов для генерации и распознавания двумерных объектов. Также освещены многие свойства двумерных языков, в том числе заимствованные у одномерных формальных языков. Упомянуты многие средства для работы с такими языками: регулярные выражения, автоматы, грамматики и другие. Материалы к докладу: . ...

[ Сохраненная копия ] Ссылки http://al.cs.msu.su/static/seminars/catfl/reports/017_2d_languages/abstract.html -- 2.3 Кб -- 12.04.2006
[ Сохраненная копия ] Ссылки http://al.cs.msu.ru/static/seminars/catfl/reports/017_2d_languages/abstract.html -- 2.3 Кб -- 12.04.2006
Похожие документы

2207. Вероятностые алгоритмы (Монте-Карло и Лас-Вегаса)

. Евгений Вареник, 18.04.2006 . Рассмотрены вероятностные алгоритмы: численные, Монте Карло, Лас Вегас. Основные понятия, связанные с вероятностными алгоритмами. Численное интегрирование. Вероятностный счет. Верификация произведения матриц. Тестирование числа на простоту. Быстрая сортировка: Лас Вегас модификация. Усиление стохастической выгоды в алгоритмах Монте Карло.

[ Сохраненная копия ] Ссылки http://al.cs.msu.su/static/seminars/catfl/reports/018_prob_algo/abstract.html -- 1.9 Кб -- 17.05.2006
[ Сохраненная копия ] Ссылки http://al.cs.msu.ru/static/seminars/catfl/reports/018_prob_algo/abstract.html -- 1.9 Кб -- 17.05.2006
Похожие документы

2208. Китайская теорема об остатках и алгоритм быстрого умножения

... В первой части доклада освещена оригинальная формулировка Китайской теоремы об остатках, альтернативная (с доказательством) и обобщенная. ... Во второй части рассмотрен метод умножения двух чисел (или полиномов), которой в отличии от стандартного способа, уменьшает сложность умножения до O(nlogn) при помощи быстрого преобразования Фурье (Fourier Jean Baptiste Joseph). Рассмотрен алгоритм быстрого преобразование Фурье, обоснование его сложности и графическое отображение эффективности алгоритма. ...

[ Сохраненная копия ] Ссылки http://al.cs.msu.su/static/seminars/catfl/reports/019_chinatheo/abstract.html -- 2.4 Кб -- 27.04.2006
[ Сохраненная копия ] Ссылки http://al.cs.msu.ru/static/seminars/catfl/reports/019_chinatheo/abstract.html -- 2.4 Кб -- 27.04.2006
Похожие документы

2209. Теория Пойа

. Мальская Екатерина, 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
[ Сохраненная копия ] Ссылки http://al.cs.msu.ru/static/seminars/catfl/reports/020_teoria_poia/abstract.html -- 1.5 Кб -- 23.04.2007
Похожие документы

2210. Формальные системы в семантике естественных языков

. Дмитрий Орлов, 3 октября 2007 . В докладе рассказывается о типизированном lambda-исчислении в семантике, универсальной интерпретации именных групп (Generalized Quantifier) и других синтаксических категорий, а также о проблеме отрицания.

[ Сохраненная копия ] Ссылки http://al.cs.msu.su/static/seminars/catfl/reports/021_form_systems/abstract.html -- 1.7 Кб -- 10.10.2007
[ Сохраненная копия ] Ссылки http://al.cs.msu.ru/static/seminars/catfl/reports/021_form_systems/abstract.html -- 1.7 Кб -- 10.10.2007
Похожие документы

2211. Рекурсия и индукция

. Юдочев Дмитрий, 17 октября 2007 . В докладе рассказывается о рекурсии и индукции в целом, корректности кода и использовании рекурсии для облегчения проверки корректности циклов, сложности функций и использовании индукции для вычисления сложности рекурсивных функций.

[ Сохраненная копия ] Ссылки http://al.cs.msu.su/static/seminars/catfl/reports/022_rekurs_ind/abstract.html -- 1.6 Кб -- 06.11.2007
[ Сохраненная копия ] Ссылки http://al.cs.msu.ru/static/seminars/catfl/reports/022_rekurs_ind/abstract.html -- 1.6 Кб -- 06.11.2007
Похожие документы

2212. Алгоритмы на графах. Поиск в глубину

. Сорокин А.С., 31 октября 2007 . В докладе представлены решения двух типичных задач - топологическая сортировка графа и нахождение точек сочленения. На их примере показана суть поиска в глубину и представление графов деревьями.

[ Сохраненная копия ] Ссылки http://al.cs.msu.su/static/seminars/catfl/reports/023_alg_grf/abstract.html -- 1.6 Кб -- 06.11.2007
[ Сохраненная копия ] Ссылки http://al.cs.msu.ru/static/seminars/catfl/reports/023_alg_grf/abstract.html -- 1.6 Кб -- 06.11.2007
Похожие документы

2213. Введение в систему 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
[ Сохраненная копия ] Ссылки http://al.cs.msu.ru/static/seminars/catfl/reports/024_maple_introduction/abstract.html -- 1.7 Кб -- 19.11.2007
Похожие документы

2214. Существование сколь угодно сложных задач

... В данном докладе рассматриваются вопросы существования сколь угодно сложных задач. Для этого используется аппарат машин Тьюринга. Выделены три части доклада. ... 2)Во второй части описывается некое семейство машин Тьюринга, которое примечательно тем, что все машины, входящие в это семейство, можно занумеровать. ... 3)В третьей части доказываются две основные теоремы о существовании сколь угодно сложных задач. При доказательстве теорем активно используются факты из второй части доклада. ...

[ Сохраненная копия ] Ссылки http://al.cs.msu.su/static/seminars/catfl/reports/025_troubles/abstract.html -- 2.2 Кб -- 19.11.2007
[ Сохраненная копия ] Ссылки http://al.cs.msu.ru/static/seminars/catfl/reports/025_troubles/abstract.html -- 2.2 Кб -- 19.11.2007
Похожие документы

2215. Семинар "Компьютерная алгебра и теория формальных языков"

... 424 . ... 525 . ... 325 . ... 324 . ...

[ Сохраненная копия ] Ссылки http://al.cs.msu.su/static/seminars/catfl/students.html -- 4.4 Кб -- 15.10.2007
[ Сохраненная копия ] Ссылки http://al.cs.msu.ru/static/seminars/catfl/students.html -- 4.4 Кб -- 15.10.2007
Похожие документы

2216. Курс АиАЯ | Страница поддержки курса "Алгоритмы и алгоритмические языки" для 1

Страница поддержки курса "Алгоритмы и алгоритмические языки" для 1 потока . ... Older posts . Posted on 15.01.2016 by abel . ... Второй коллоквиум по курсу состоится в субботу 05 декабря на первой паре. ... В секции рекомендуемой литературы обновлены ссылки на электронные версии методических пособий:љ 1) по языку Си и алгоритмам, 2) по экзаменационным задачам прошедших лет. ... Лекции по АиАЯ для первого потока будут проходить по средам и субботам в аудитории П6 на первой паре. ... Курс АиАЯ . ...

[ Сохраненная копия ] Ссылки http://algcourse.cs.msu.ru/ -- 29.0 Кб -- 10.04.2016
[ Сохраненная копия ] Ссылки http://algcourse.cs.msu.su/ -- 29.0 Кб -- 09.04.2016
[ Сохраненная копия ] Ссылки http://algcourse.cmc.msu.ru/ -- 29.0 Кб -- 09.04.2016
Похожие документы

2217. Курс АиАЯ | Страница поддержки курса "Алгоритмы и алгоритмические языки" для 1

2218. Курс АиАЯ | Страница поддержки курса "Алгоритмы и алгоритмические языки" для 1

2219. admin | пљяѓяЂяЃ пђпёпђпЇ

... пЎя‚яЂп°пЅпёя†п° пїпѕпґпґпµяЂп¶пєпё пєяѓяЂяЃп° "пђп»пЕпѕяЂпёя‚пјя‹ пё п°п»пЕпѕяЂпёя‚пјпёя‡пµяЃпєпёпµ яЏп·я‹пєпё" пґп»яЏ 1 пїпѕя‚пѕпєп° . ... 2015 пЕпѕпґ (я‚пµпєяѓя‰пёп№) . 2014 пЕпѕпґ . 2013 пЕпѕпґ . 2012 пЕпѕпґ . ... 2011 пЕпѕпґ . п’пѕпїяЂпѕяЃя‹ пє яЌпєп·п°пјпµпЅяѓ 2011/2012 яѓя‡пµп±пЅпѕпЕпѕ пЕпѕпґп° . 2010 пЕпѕпґ . ... пћпїя†пёпё пєпѕпјпїпёп»яЏя‚пѕяЂп° gcc . ... Posted on 18.12.2010 by admin . ... Leave a comment . ... Entries RSS . Comments RSS . ...

[ Сохраненная копия ] Ссылки http://algcourse.cs.msu.su/?author=1 -- 15.8 Кб -- 09.04.2016
Похожие документы

2220. icee | пљяѓяЂяЃ пђпёпђпЇ

... 2012 пЕпѕпґ . ... 2011 пЕпѕпґ . п’пѕпїяЂпѕяЃя‹ пє яЌпєп·п°пјпµпЅяѓ 2011/2012 яѓя‡пµп±пЅпѕпЕпѕ пЕпѕпґп° . 2010 пЕпѕпґ . ... Posted on 03.12.2010 by icee . пепІп°п¶п°пµпјя‹пµ яЃя‚яѓпґпµпЅя‚я‹! б п’ яЃпІяЏп·пё яЃ пїяЂпѕя„пёп»п°пєя‚пёпєпѕп№ яЌп»пµпєя‚яЂпѕяЃпµя‚пµп№ яЃпµяЂпІпµяЂ пїяЂпёя‘пјп° п·п°пґп°пЅпёп№ earth.ispras.ru пјпѕп¶пµя‚ п±я‹я‚яЊ пЅпµпґпѕяЃя‚яѓпїпµпЅ пІ пїпµяЂпёпѕпґ яЃ 21:00 03.12.2010 пїпѕ 9:00 06.12.2010. б пџяЂпёпЅпѕяЃпёпј яЃпІпѕпё пёп·пІпёпЅпµпЅпёяЏ. ... Entries RSS . ...

[ Сохраненная копия ] Ссылки http://algcourse.cs.msu.su/?author=15 -- 10.0 Кб -- 09.04.2016
Похожие документы

[ В начало ] Пред. | 107 | 108 | 109 | 110 | 111 | 112 | 113 | 114 | 115 | 116 | След. [ В конец ]

Комментарии, вопросы? Пишите: info@astronet.ru или сюда