Электронная библиотека Попечительского совета . ... Яблонский С.В. - Введение в дискретную математику . ... Название: Введение в дискретную математику . Автор: Яблонский С.В. Аннотация: . Книга является введением в дискретную математику - раздел прикладной математики, бурно развивающийся в последние годы и являющийся базой для математической кибернетики. ... Рубрика: Математика / . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...

Еще в разделе: (Показать все результаты (>130832) - lib.mexmat.ru/ )

• Кофман А., Анри-Лабордер А. - Методы и модели исследования операций. (том 3)
• Йенсен К., Вирт Н. - Паскаль. Руководство для пользователя и описание языка ::
• Бениаминов Е.М., Ефимова Е.А. - Элементы универсальной алгебры и ее приложений

... Астронет | ... Карта неба | Созвездия | ... планета Астронет | ... Астрономия в России | ... Большая Медведица . Большой Пес . ... Индеец, Райская Птица, Хамелеон, Летучая Рыба, Южный Змей . ... Рыба Южная . ... Треугольник Большой . Центавр, Южный Крест . ... Южная Корона . ... Публикации с ключевыми словами: история астрономии - атлас - Созвездия - уранография . Публикации со словами: история астрономии - атлас - Созвездия - уранография . ... Геометрия звездного неба . ...

Еще в разделе: (Показать все результаты (>37274) - www.astronet.ru/ )

... Биномиальная теорема. ... Функция Мебиуса. ... Критерий полноты для булевых функций. ... Теорема Поста о конечной порожденности замкнутых классов булевых функций. (см. ... Предикатное описание замкнутых классов булевых функций. ... Способ построения предикатов, задающих классы булевых функций. ... Теорема о представление функции из[pic] полиномами. (см. ... Сложность реализации булевых функций формулами в полном базисе. ... Сложность реализации линейных булевых функций формулами в базисе [pic]. (см....

Еще в разделе: (Показать все результаты (>1997) - new.math.msu.su/ )

• http://new.math.msu.su/content_root/programs/kaf/special/matis/vvedteor.doc
• http://new.math.msu.su/content_root/programs/kaf/special/komp/mss-shesh.DOC
• http://new.math.msu.su/content_root/programs/kaf/special/visshgeom/linal-sk.doc

... Unit TZP43R_p; interface uses SysUtils, Math, { Delphi } Lstruct, Lfunc, UtRes_p, ZP43R_p ; function TZP43R: String; implementation function TZP43R: String; var N :Integer; X,Y : Real ; A : Array [0..1] of Real ; B : Array [0..0] of Real ; C : Array [0..2] of Real ; begin Result := ''; { результат функции } { прототип оператора DАТА на FORTRANе } A[0] := 0.0; A[1] := 1.0 ; B[0] := 1.0 ; C[0] := 1.0 ; C[1] := 1.0 ; C[2] := ...

Еще в разделе: (Показать все результаты (>2416) - num-anal.srcc.msu.ru/ )

• БЧА НИВЦ МГУ. AV00R_C. Операции над векторами
• БЧА НИВЦ МГУ. PA11I_С. Простейшие вычислительные операции
• БЧА НИВЦ МГУ. PA11I. Простейшие вычислительные операции

... Python . ... О UNИX . ... Python/Formalism . Неизменяемая страница . ... Некоторые операции над объектами ( выбрать ). ... Функции-выражения вида lambda параметры: выражение , их отличие от заданных с помощью оператора def . ... Модули Python: пополнение пространства имен (непосредственно или инкапсулированно в модуль) с помощью оператора import . ... Методы кортежей и операции с константными последовательностями. ... Моделирование условного оператора с помощью функций и тернарной операции . ...

Еще в разделе: (Показать все результаты (>2686) - uneex.lorien.cs.msu.su/ )

• Python/PythonAlgorithmCourse - UNИX
• Python/PythonBaseCourse - UNИX
• Факты

... Способы определения множеств. ... Свойства множеств. ... Бинарные отношения. Свойства бинарных отношений: рефлексивность, симметричность, транзитивность. Представление отношений с помощью ориентированных графов. ... Определение отношений с помощью классов эквивалентности (классов смежности). ... Цифровые логические схемы. ... Описание схем с помощью булевских выражений. ... Начала теории множеств. 2-е издание, испр.- М.: МЦНМО, 2002. ... Элементы дискретной математики: Учебник. ...

Еще в разделе: (Показать все результаты (>244) - oit.cmc.msu.ru/ )

• Экзамены. II. Унифицированный процесс разработки программного обеспечения.
• Вопросы по курсу "Объектно-ориентированные базы данных"
• Объектно-ориентированные базы данных

... Архитектура пакета . ... Пакет содержит типы данных и алгоритмы для поддержки теории формальных языков в системе Maple. ... Для представления символов используется тип type/character , Для представления цепочек тип type/string . ... Основной новый тип: Language . ... Каталог с исходными текстами пакета имеет следующую структуру. src\ . ... Конструкторы и утилиты к типу Language . ... Конструкторы и утилиты к типу Acceptor . ... конструкторы объектов имеют префикс new , например: newLanguage() . ...

Еще в разделе: (Показать все результаты (>15) - al.cs.msu.ru/ )

Программа спецкурса "Теория автоматов" Теория автоматов представляет собой раздел теории управляющих систем, изучающий математические модели преобразователей дискретной информации. ... Конечные и бесконечные автоматы. Функционирование конечного автомата. ... Неотличимость состояний конечного автомата. ... Неотличимость и изоморфизм конечных автоматов. ... Понятие r - неотличимости конечных автоматов. ... Кратные эксперименты с конечными автоматами. ... События, представимые в конечном автомате. ...

Еще в разделе: (Показать все результаты (>254) - www.intsys.msu.ru/ )

• http://www.intsys.msu.ru/study/TDF/TDFprog.pdf
• Интеллектуальные системы :: Сотрудники :: Гасанов Эльяр Эльдарович ::
• Интеллектуальные системы :: Учеба :: ТДФ :: Программа курса по 'Теории

Текст подпрограммы и версий ( Фортран ) . ... Вычисление присоединенного полинома Лежандра первого рода . Подпрограмма - функция ZP54R вычисляет значение в точке X присоединенного полинома Лежандра первого рода P L M (X) = (- 1) M (1 - X 2 ) M/2 d M ( P L (X) )/dX M , . ... FUNCTION ZP54R (L, M, X, IERR) . ... подпрограммы выдачи диагностических сообщений при работе функций ZP54R и ZP54D соответственно L = 2 M = 1 X = 0.5 RES = ZP54R (L, M, X, IERR) Результаты: RES = - 1.29904 IERR = 0 ...

Еще в разделе: (Показать все результаты (>1995) - www.srcc.msu.ru/ )

• БЧА НИВЦ МГУ. AV05C. Операции над векторами
• БЧА НИВЦ МГУ. SF59R. Специальные функции математической статистики
• БЧА НИВЦ МГУ. ZP43R. Операции с ортогональными полиномами

... Единство случайных и детерминированных процессов. ... Функция распределения и плотность распределения значений в одном сечении случайного процесса. ... Функция корреляции случайного процесса на выходе безинерционной нелинейной системы. ... Случайный процесс, функции распределения, среднее, дисперсия, моментные функции. ... Численный эксперимент: моделирование и статистический анализ случайных процессов с заданным законом распределения, построение гистограммы распределения, проверка гипотезы согласия...

Еще в разделе: (Показать все результаты (>285) - foroff.phys.msu.ru/ )

• Кафедра компьютерных методов физики
• МЕТОДЫ МАТЕМАТИЧЕСКОЙ ФИЗИКИ

Prosite - первая, в своем роде, база данных, в которой содержатся биологически значимые сайты, паттерны и профили, т.е. те участки белка, которые могут нести какую-либо биологическую функцию.Документ Prosite может быть представлен либо в виде паттерна - для сайтов - или профиля PSSM (для мотивов, выводимых из большего числа последовательностей) . Pfam - база данных, в которой содержится большая коллекция множественных выравниваний, доменов, семейств и профилей-HMM для них. ...

Еще в разделе: (Показать все результаты (>4777) - kodomo.cmm.msu.ru/ )

• ontology1
• Описание свойств
• function

TREEDL: язык описания графовых структур данных и операций над ними . Демаков А.В. Рассматриваются методы представления и обработки графов в программах на объектно-ориентированных языках программирования. Анализируются основные возможности специализированного языка описания структуры графов и его инструментальной поддержки. Описывается язык TreeDL, обладающий такими возможностями. Предлагаемое решение сравнивается с другими средствами описания структуры графов. ...

Еще в разделе: (Показать все результаты (>243) - num-meth.srcc.msu.ru/ )

• Непрерывные и ограниченные гармонические функции на квадрате. Точные и

... В предыдущем разделе рассмотрены отображающие свойства голограмм, полученных при интерференции частично когерентных по отношению друг к другу объектного и опорного волновых полей. ... В этом корреляторе образцовый объект записывается на голограмму Фурье с точечным опорным источником, а восстановление происходит излучением, прошедшим через распознаваемый объект. Распределение интенсивности в плоскости восстановленного изображения описывается тогда функцией кросскорреляции обоих объектов. ...

Еще в разделе: (Показать все результаты (>13336) - www.nature.web.ru/ )

• Социально-психологический аспект феодальных отношений в Песни о нибелунгах.
• Функция дани в обществе майя Юкатана накануне испанского завоевания.
• Научная сеть: Руководство для авторов

... При использовании этих методов исследуемая система представляется в виде некоторого математического объекта: например, графа. ... В курсе рассматриваются задачи эквивалентных преобразований систем, проверки эквивалентности двух систем, минимизации систем и доказательства их правильности. ... Слушатель знакомится как с результатами теоретического программирования, так и с примерами применения этих результатов для описания, анализа и доказательства правильности простых систем. ... Процессные графы. ...

Еще в разделе: (Показать все результаты (>345) - sp.cs.msu.ru/ )

• http://sp.cs.msu.ru/courses/course.html
• Экзаменационные билеты
• Библиотека Lib-DVM. Описание интерфейса

... Поэтому и функция звуков речи - минимальных единиц фонетики - заключается в том, чтобы создавать речь, формировать слова, различать слова, создавать ритм (ударение) и формировать интонацию , с помощью которой различаются целые предложения (высказывания). Именно эта способность звуков речи - быть носителем информации (т.е. создавать языковые единицы и различать эти единицы) - лежит в основе любой системы описания звуков для каждого языка (его фонетической и фонологической систем). ...

Еще в разделе: (Показать все результаты (>152) - fonetica.philol.msu.ru/ )

... rfbr:rest:jobschema ]] . THEP . ... jobschema . ... Форматы описания заданий: . Формат описания заданий . ... JSON Schema описания заданий: { ?description?: Задание?, type : object , properties : { created : { type : string , format : date-time }, modified : { type : string , format : date-time , optional : true }, expires : { type : string , format : date-time , rfbr/rest/jobschema.1291809978.txt.gz ћ Last modified: 08/122010 15:06 by demichev . ...

Еще в разделе: (Показать все результаты (>2085) - theory.sinp.msu.ru/ )

• fcp:rest:jobschema [THEP]

GiST home | ... GiST interface ( Russian ) | ... Большинство функций интерфейса работают с ключами, передаваемыми в следующей структуре: typedef struct GISTENTRY { Datum key; /* собственно ключ */ Relation rel; /* индекс */ Page page; /* страница индекса */ OffsetNumber offset; /* положение в индексе */ int bytes; /* длина ключа в байтах, может быть равной -1 */ bool leafkey; /* признак, указывающий, что в key находится не ключ, а значение из таблицы */ } GISTENTRY; Общие замечания: . ...

Еще в разделе: (Показать все результаты (>227) - www.sai.msu.su/ )

Как указано в описании языка COLAMO , можно пользоваться условным оператором ( IF ) как внутри кадра , так и снаружи. ... Поэтому программирующий на COLAMO может наткнуться на коллизию реализации всех ветвей с принципом однократного присваивания . ... CADR IFWRONG; . ... ENDCADR ; . ... CADR IF1; . ... Естественно, что разработчики языка эту перенастройку вытолкнули в промежутки между кадрами, поскольку ее проведение в рамках кадра начисто загубило бы возможность конвейеризации операций в кадрах. ...

Еще в разделе: (Показать все результаты (>8) - colamo.parallel.ru/ )

• Проблемы, связанные с рекурсивными алгоритмами при их записи на языке COLAMO
• Язык COLAMO
• Рисунок 8

... Дифференциальные фильтры Вверх: Функции обработки данных (меню Пред.: ... Все морфологические фильтры основаны на двух операциях -- dilation и erosion . ... В реализованных в программе FemtoScan морфологических операциях роль изображения играет поверхность (будем обозначать ее ), а роль структурного элемента -- чаще всего объект , приведенный ниже. ... Фильтр . ... Работа фильтра заключается в выполнении операции erosion над данным изображением с выбранной иглой в качестве структурного элемента. ...

Еще в разделе: (Показать все результаты (>78) - www.spm.genebee.msu.ru/ )

hpc@cmc . ... Blue Gene/P . ... IBM Blue Gene/P массивно-параллельная вычислительная система, которая состоит из двух стоек, включающих 8192 процессорных ядер ( 2 x 1024 четырехъядерных вычислительных узлов), с пиковой производительностью 27,9 терафлопс (27,8528 триллионов операций с плавающей точкой в секунду). ... две стойки с вычислительными узлами и узлами ввода-вывода . ... сервисный узел (service node) обеспечивает контроль над системой Blue Gene/P; к этой машине доступа по SSH нет . ...

Еще в разделе: (Показать все результаты (>11) - hpc.cmc.msu.ru/ )