Поиск по:www.intsys.msu.ru -
Поискать по всем серверам
На этой странице приведены все страницы сервера www.intsys.msu.ru ,которые мы индексируем. Показаны документы 381 - 400 из 545.
Упорядочить по:
URL
|
дате изменения
381. http://www.intsys.msu.ru/science/conference/PROGR11S.pdf
ОДИННАДЦАТЫЙ МЕЖДУНАРОДНЫЙ СЕМИНАР ДИСКРЕТНАЯ МАТЕМАТИКА И ЕЕ ПРИЛОЖЕНИЯ, посвященный 80-летию со дня рождения академика О. Б. Лупанова (Москва, МГУ, 18{22 июня 2012 г.) ПРОГРАММА 09.00{19.00. ... Пленарные доклады (ауд. 16{24) 18 июня, понедельник 19 июня, вторник 13.50{15.30. ... М. М. Глухов (Москва) О мерах близости булевых функций к линейным функциям 10.00{13.30. Пленарные доклады (ауд. 16{24) 20 июня, среда 13.30{15.00. ... Пленарные доклады (ауд. 16{24) 22 июня, пятница 14.30. ...
[
Текст
]
Ссылки http://www.intsys.msu.ru/science/conference/PROGR11S.pdf -- 77.8 Кб -- 18.06.2012
Похожие документы
Похожие документы
382. http://www.intsys.msu.ru/study/magistr/program.doc
... Критерий полноты Кузнецова для функций k-значной логики {с доказательством, [1]} 2. Теорема Слупецкого {с доказательством, [1]} 3. Теорема Линдена для клонов конечных алгебр {постановка задачи, формулировка результатов, [10]} 4. ... Универсальность {определения, формулировка результатов, [2], [3]} 8. ... Высшая школа, Москва, 2002. ... 6] Носов В.А. Основы теории алгоритмов и анализа их сложности. ... Колмогоров А.Н., Фомин С.В. Элементы теории функций и функционального анализа. ...
[
Текст
]
Ссылки http://www.intsys.msu.ru/study/magistr/program.doc -- 53.0 Кб -- 16.06.2011
Похожие документы
Похожие документы
383. http://www.intsys.msu.ru/study/magistr/crypto.doc
Магистерская программа ?Математические проблемы защиты информации? Направление 511800 ?Математика. ... Программа предназначена для подготовки магистров в области математического и программного обеспечения защиты информации в компьютерных системах. ... Курс лекций ?Распознающие системы и приложения? (проф. В.Н.Козлов, с.н.с. Д.В.Алексеев). ... Курс лекций ?Теория шифрующих автоматов? (в.н.с. В.А.Носов, н.с. А.В.Галатенко). ... Курс лекций ?Программно-аппаратная защита информации? (н.с. А.В.Галатенко). ...
[
Текст
]
Ссылки http://www.intsys.msu.ru/study/magistr/crypto.doc -- 82.5 Кб -- 16.06.2011
Похожие документы
Похожие документы
384. http://www.intsys.msu.ru/study/magistr/mathec.doc
Магистерская программа ?Математическая экономика? Направление 511800 ?Математика. ... Научные руководители программы: акад. В.Б.Кудрявцев, проф. Ю.Н. Черемных. ... Программа предназначена для подготовки магистров в области математической экономики и компьютерных методов аналитической обработки бизнес-информации. ... Курс лекций ?Статические и динамические межотраслевые модели? (проф. Ю.Н. Черемных). ... Курс лекций ?Актуарная математика-1 (Актуарная математика в страховании жизни)? (проф. Г.И.Фалин). ...
[
Текст
]
Ссылки http://www.intsys.msu.ru/study/magistr/mathec.doc -- 89.5 Кб -- 16.06.2011
Похожие документы
Похожие документы
385. http://www.intsys.msu.ru/study/magistr/mathcyb.doc
... Программа ориентируется на фундаментальную и специальную подготовку магистров, обладающих глубокими знаниями в области теории сложности управляющих систем, теории дискретных структур и процессов, теории автоматов и алгоритмов, защите информации; владеющих методами компьютерного моделирования в естествознании, технике и гуманитарной сфере с использованием современных программных средств и IT-технологий, а также методами расчета сложности схем и алгоритмов и методами их оптимизации. ... 2 |зач.|2 |экз...
[
Текст
]
Ссылки http://www.intsys.msu.ru/study/magistr/mathcyb.doc -- 86.5 Кб -- 16.06.2011
Похожие документы
Похожие документы
386. http://www.intsys.msu.ru/study/magistr/intsys.doc
... Компьютерные науки?. ... обладают глубокими знаниями в области построения и изучения моделей интеллектуальных систем, теории и практики обработки информации с использованием компьютерных технологий; . ... Курс лекций ?Теория автоматов? (проф. Д.Н.Бабин). ... Курс лекций ?Теория логических функций? (проф., акад. В.Б.Кудрявцев). ... Курс лекций ?Компьютерные обучающие системы? (доц. А.С.Строгалов, с.н.с. П.А. Алисейчик). ... Курс лекций ?Теория информации и кодирование? (н.с. П.А.Пантелеев). ...
[
Текст
]
Ссылки http://www.intsys.msu.ru/study/magistr/intsys.doc -- 87.0 Кб -- 16.06.2011
Похожие документы
Похожие документы
387. http://www.intsys.msu.ru/study/magistr/courses/01_%C4%E8%F1%EA%F0%E5%F2%ED%FB%E9%20%E0%ED%E0%EB%E8%E7.doc
... Цели освоения дисциплины. ... Для ее успешного изучения необходимы знания и умения, приобретенные в результате освоения курсов по дискретной математике, и теории дискретных функций и др. ... Функции алгебры логики | ... Элементарные функции алгебры логики и их свойства |1 |1 |2 |2 |2 |6 | ... 8 |Функции k- значной логики. ... Сокращенная д.н.ф. Теорема о простых импликантах м.д.н.ф |2 |3 |2 |2 |2 |6 | ... Кудрявцев В.Б., Гаврилов Г.П., Яблонский С.В., Функции алгебры логики и клас- сы Поста. ...
[
Текст
]
Ссылки http://www.intsys.msu.ru/study/magistr/courses/01_%C4%E8%F1%EA%F0%E5%F2%ED%FB%E9%20%E0%ED%E0%EB%E8%E7.doc -- 98.5 Кб -- 09.06.2011
Похожие документы
Похожие документы
388. http://www.intsys.msu.ru/study/magistr/courses/01_%CE%E1%F3%F7%E0%FE%F9%E8%E5%20%F1%E8%F1%F2%E5%EC%FB.doc
РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ (МОДУЛЯ) теория интеллектуальных систем и приложения Направление подготовки МАТЕМАТИКА И КОМПЬЮТЕРНЫЕ НАУКИ Профиль подготовки Квалификация (степень) выпускника магистр (бакалавр, магистр, дипломированный специалист) Форма обучения Очная (очная, очно-заочная и др.) г.__________ - 200____ г. 1. ... Кудрявцев В.Б., Алисейчик П.А., Вашик К., Кнап Ж., Строгалов А.С, Шеховцов С.Г. ?Компьютерные обучающие системы? , Интеллектуальные системы, т.10 вып.1-4, М.,2006 г. 2. ...
[
Текст
]
Ссылки http://www.intsys.msu.ru/study/magistr/courses/01_%CE%E1%F3%F7%E0%FE%F9%E8%E5%20%F1%E8%F1%F2%E5%EC%FB.doc -- 72.0 Кб -- 09.06.2011
Похожие документы
Похожие документы
389. http://www.intsys.msu.ru/magazine/archive/v14(1-4)/tsymzhitov-543-560.pdf
ML- , max . ... 1 LimitedDeco derA , max r LimitedDeco derA ( max , r). ... A , max , LimitedDeco der . A sub LimitedDeco der . ... max LimitedDeco der , A max log () - sub (^) r ln(1 - ) (^) > 0, r . ... 5. 0 < < 1. r max LimitedDeco derA , max log () - sub (^) r ln(1 - ) (^) > 0, r P( ) < P( ) + . ... LimitedDeco der A ^, r. r 6. 0 < < 1. max LimitedDeco der , max A ( , , , ), P( sub ) < P( ) + . ... 2] Bruck J., Naor M. The hardness of deco ding linear co des with preprocessing // IEEE Trans. ...
[
Текст
]
Ссылки http://www.intsys.msu.ru/magazine/archive/v14(1-4)/tsymzhitov-543-560.pdf -- 217.9 Кб -- 06.06.2011
Похожие документы
Похожие документы
390. http://www.intsys.msu.ru/magazine/archive/v14(1-4)/potseluyevskaya-471-490.pdf
The complexity of satisfiability problems [1] 6 , ( -) . ... 0 = 1: = min{ }, , ( ) = . ... const. , 1ґ6 . ... log2 ( . ... deg [ ] 1}, }. - 3. , , ( ) = . ... 1] Schaefer T. J. The complexity of satisfiability problems // Pro ceedings of the 10th ACM Symp osium on Theory of Computing. 1978. ... 2008. ...
[
Текст
]
Ссылки http://www.intsys.msu.ru/magazine/archive/v14(1-4)/potseluyevskaya-471-490.pdf -- 205.5 Кб -- 06.06.2011
Похожие документы
Похожие документы
391. http://www.intsys.msu.ru/magazine/archive/v14(1-4)/kucherenko-323-338.pdf
... Й Й Й Й Й Й G. v, К [v ]L = y , y V , v L; y v. {, 1, 2, 3}, К (vi1 i {1, 2, 3}, i [(vi1 , vi2 )] = i. К i, x (0, 1)И И [(vi1 , vi2 )] = [vi1 ]P (x). [(vi1 , vi2 )] = [vi1 ]P (x), (vi1 , vi2 ), x XК И К К x X, x. v vИ , vi2 ) (vi1 , vi2 ) (vi1 , vi2 ), Й Й И x, Й И i И , x (0, 1) v, Й x x. y, xИ RU (x), И v, x U U U x v К Й Й Й Й x. Й Й I, (0, 1). ... U U U n n V = (y1 , Й DI I. Й {py1 , py2 , . pyn }. ... К И l- 1 ППП (vij , vi mj , [vij ]P = paj (x), mj x, И j +1 ), Й x (0, 1), paj (x) = mj . ...
[
Текст
]
Ссылки http://www.intsys.msu.ru/magazine/archive/v14(1-4)/kucherenko-323-338.pdf -- 170.5 Кб -- 06.06.2011
Похожие документы
Похожие документы
392. http://www.intsys.msu.ru/magazine/archive/v14(1-4)/kibkalo-319-322.pdf
... n З log n И 2n . / 3/4 2/ 3/4 2/ О О Н Н c2 О О 3/2 О 2 2/ 2 2/ 3/2 2/ 2 2/ О О Н Н Й c1 , c2 Ci И i = 1, 2, 3, 4 D1 , D3 Fi (n)И i = 1, 4, 5, 8 FiЕ (n)И i = 1, 4, 5, 8И Е 1И Е N Ai И i = 1, 2, 3, 4 D2 Fi (n)И i = 2, 3, 6, 7 FiЕ (n)И i = 2, 3, 6, 7И Е 1И Е N Li И i = 1, 2, 3, 4, 5 Si И i = 1, 3, 5, 6 Pi И i = 1, 3, 5, 6 Oi И i = 1, 2, 4, 5, 6, 7, 8, 9 ПОН К НИ П ОК НК p 0 K p C n -p i И j i = 1, 2, 3, 4 nN И Й S (K, n) = 2 -1+ j =0 22 - p - 1. p = A(n) A m=n Pmin = 1; ...
[
Текст
]
Ссылки http://www.intsys.msu.ru/magazine/archive/v14(1-4)/kibkalo-319-322.pdf -- 112.4 Кб -- 06.06.2011
Похожие документы
Похожие документы
393. http://www.intsys.msu.ru/magazine/archive/v14(1-4)/bolonkin-299-318.pdf
... ? E? B 1 E1 = C ? E2 E2 ? E1 = C1 ? E2 = C1 B 1 ? E E B1 ?? ? B 1 B CЄ C1 Є ? ?? № № ? № № ? Ґ йҐ? (A A)? Щ ? ©? ©? ? Ч? Щ Щ Щ ai1 ai2 aij ? |A|? k Є?? A= № B B= j =1 Bj , ЄҐ? B j ? ? ?Ч E = B? Є ?? ? ? ? № № C= ai1 ai2 . ain ? C = ai1 ? ? C ai1 2? B? B C ? № n Ґ? B ? C = ai1 ai2 . ... air air+1 . ... air aj1 . ... ain aj1 . ... B C Bil (1 l C n - k)? m-k j B = C 1 C 2 . ... i i max |i | ... 1im n0 = max ni + min |i | min |i | ... min |i 1im 1im min |i | ... 1 i m 1 i m 1im max |i | ...
[
Текст
]
Ссылки http://www.intsys.msu.ru/magazine/archive/v14(1-4)/bolonkin-299-318.pdf -- 212.8 Кб -- 06.06.2011
Похожие документы
Похожие документы
394. http://www.intsys.msu.ru/magazine/archive/v14(1-4)/lyovin-203-212.pdf
... 128 - (MD2, MD4, MD5, RIPEMD128, HAVAL3ґ4) 2120 . ... MD4, MD5, RIPEMD128, SHA1 , . ... 2 MD4 ( 1 ) = MD4 ( 1 2 ) 2 MD4 ( 1 ) = MD4 ( 2 ) 4d7a9c83 56cb927a b9d5a578 57a7a5ee de748a3c dcc366b3 b683a020 3b2a5d9f c69d71b3 f9e99198 d79f805e a63bb2e8 45dd8e31 97e31fe5 2794bf08 b9e8c3e9 4d7a9c83 d6cb927a 29d5a578 57a7a5ee de748a3c dcc366b3 b683a020 3b2a5d9f c69d71b3 f9e99198 d79f805e a63bb2e8 45dc8e31 97e31fe5 2794bf08 b9e8c3e9 5f5c1a0d 71b36046 1b5435da 9b0d807a ...
[
Текст
]
Ссылки http://www.intsys.msu.ru/magazine/archive/v14(1-4)/lyovin-203-212.pdf -- 129.4 Кб -- 06.06.2011
Похожие документы
Похожие документы
395. http://www.intsys.msu.ru/magazine/archive/v14(1-4)/masloboev-053-070.pdf
DOLCE . ... DOLCE OntoClean , (, , ). ... DOLCE (Descriptive Ontology for Linguistic and Cognitive Engineering) [9]. ... DOLCE (abstract), (endurant), (p erdurant) , (patricular), . ... OntoClean: : { rigid , non-rigid , antirigid } , (Rigid); : { un , non-unity } , (Unity). ... id , non-id } , (Identity). : { dep , non-dep } , (Dep endence). / 59 . ... http://www.owlontologies.com/ont_zags_1.3.owl#prsn01. , , , , . ... SKOS (Simple Knowledge Organization System), RDF , , , , , . ... 2009. ... 2008. ...
[
Текст
]
Ссылки http://www.intsys.msu.ru/magazine/archive/v14(1-4)/masloboev-053-070.pdf -- 762.6 Кб -- 06.06.2011
Похожие документы
Похожие документы
396. http://www.intsys.msu.ru/magazine/archive/v14(1-4)/baranovich-005-034.pdf
... Artificial intelligence (AI). ... 2009) [12]: (. ... 2010) [13]: (, . ... intellectus , , ), , , , , , , , , . ... 2002 . ... 2007. . ... 2009. http://elib.lib.rsuh.ru/elib [7] . ... Paris, Albin Michel, 1952). [12] , ( ): http://ru.wikip edia.org/wiki, 2009. [13] , ( ): http://ru.wikip edia.org/wiki, 2010. [14] . ... 21 , , 2004. http://www.ozhegov.ru [24] . ... 42] Cyb ernetics Wiki. http://ru.cyb ernetics.wikia.com/wiki/_ ( 2010). ... 46] Wikip edia, ( ): http://en.wikip edia.org/wiki/ ( 2009). ...
[
Текст
]
Ссылки http://www.intsys.msu.ru/magazine/archive/v14(1-4)/baranovich-005-034.pdf -- 279.5 Кб -- 06.06.2011
Похожие документы
Похожие документы
397. http://www.intsys.msu.ru/staff/mironov/theory_of_processes.pdf
Theory of Processes A.M.Mironov Contents 1 Intro duction 7 1.1 A sub ject of theory of processes . . . . . . . . . . . . . . . . . 7 1.2 Verification of processes . . . . . . . . . . . . . . . . . . . . . 9 1.3 Specification of processes . . . . . . . . . . . . . . . . . . . . . 10 2 The concept of a pro cess 2.1 Representation of behavior of dynamic systems processes . . . . . . . . . . . . . . . . . . . . . 2.2 Informal concept of a process and examples of 2.2.1 Informal concept of a process . . . . .
[
Текст
]
Ссылки http://www.intsys.msu.ru/staff/mironov/theory_of_processes.pdf -- 1155.8 Кб -- 23.09.2010
Похожие документы
Похожие документы
398. http://www.intsys.msu.ru/study/practicum/dsp.pdf
... Фильтр с бесконечной импульсной характеристикой. функции вектор коэффициентов фильтра, вектор коэффициентов Реализовать в среде m-функцию фильтрации сигнала БИХ-фильтром. ... тат фильтрации. ... Обобщенный метод Ньютона адаптивной фильтрации сигналов. ... Быстрый метод аффинных проекций адаптивной фильтрации сигнала (FAP). сложностью Реализовать быстрый метод аффинных проекций адаптивной фильтрации сигнала в виде результат предсказания y , новая оценка вектора коэффициентов фильтра h. m-функции. ...
[
Текст
]
Ссылки http://www.intsys.msu.ru/study/practicum/dsp.pdf -- 211.0 Кб -- 06.09.2010
Похожие документы
Похожие документы
399. http://www.intsys.msu.ru/study/practicum/intro.pdf
... Руководителем авторского коллектива составителей является д.ф.-м.н., проф. Кудрявцев В.Б., ответственным исполнителем к.ф.-м.н.,доц. Строгалов А.С. В авторский коллектив также входят д.ф.-м.н., проф. Бабин Д.Н., д.ф.м.н.,проф.Гасанов Э.Э., д.ф.-м.н.,проф.Подколзин А.С., к.ф.-м.н., в.н.с.Носов В.А, к.ф.-м.н., с.н.с. Алисейчик П.А., к.ф.-м.н., с.н.с. Мазуренко И.Л., к.ф.-м.н., к.ф.-м.н., н.с. Галатенко А.В. Для раздела Теория баз данных требуется компилятор языка C/C++. ...
[
Текст
]
Ссылки http://www.intsys.msu.ru/study/practicum/intro.pdf -- 68.0 Кб -- 06.09.2010
Похожие документы
Похожие документы
400. http://www.intsys.msu.ru/study/practicum/solver.pdf
План занятий по практикуму Компьютерный решатель задач (А.С. Подколзин) Целью практикума является приобретение простейших навыков компьютерного моделирования логических процессов. Практикум будет проходить в форме еженедельных семинарских занятий, на которых предполагается ознакомиться с архитектурой и языками решателя задач, а также подробно разобрать упражнения по работе с ним на уровне пользователя и по обучению решателя. Примерный список таких упражнений приводится ниже. Все они снабжены детальными
[
Текст
]
Ссылки http://www.intsys.msu.ru/study/practicum/solver.pdf -- 436.6 Кб -- 06.09.2010
Похожие документы
Похожие документы