Поиск по:new.math.msu.su -
Поискать по всем серверам
На этой странице приведены все страницы сервера new.math.msu.su ,которые мы индексируем. Показаны документы 3501 - 3520 из 4143.
Упорядочить по:
URL
|
дате изменения
3501. http://new.math.msu.su/content_root/programs/kaf/special/logica/vvedtm-lub.doc
... Тема 1. ... 1.Определение структуры, в частности группы, кольца, поля. Определение подструктуры, в частности подгруппы, подкольца, подполя, и соответственно надструктуры, в частности расширений группы, кольца, поля. ... Поля алгебраических чисел. ... Поле р-адических чисел и кольцо целых р-адических чисел. ... Группы автоморфизмов модуля, вращений и движений пространства, классов идеалов кольца, симметрий, правильного многогранника, орнамента. ... Определение и свойства генерических структур. ...
[
Текст
]
Ссылки http://new.math.msu.su/content_root/programs/kaf/special/logica/vvedtm-lub.doc -- 297.5 Кб -- 10.11.2008
Похожие документы
Похожие документы
3502. http://new.math.msu.su/content_root/programs/kaf/special/logica/konstr-pl.doc
КОНСТРУКТИВНАЯ ЛОГИКА доц. В.Е. Плиско 1 год 1. ... Модели Крипке для логики высказываний. ... Корректность ИИВ относительно моделей Крипке. ... Полнота ИИВ относительно моделей Крипке. ... Модели Крипке для логики предикатов. ... Понятие рекурсивной реализуемости для языка арифметики. ... Неполнота ИИВ относительно реализуемости. ... Свойства пропозициональной логики реализуемости. ... Неарифметичность предикатной логики реализуемости. ... Предикатная логика рекурсивной реализуемости. ...
[
Текст
]
Ссылки http://new.math.msu.su/content_root/programs/kaf/special/logica/konstr-pl.doc -- 296.5 Кб -- 10.11.2008
Похожие документы
Похожие документы
3503. http://new.math.msu.su/content_root/programs/kaf/special/logica/mlog-ad.doc
... Формулы логики высказываний и высказывательные (пропозициональные) формы. Истинностная функция, определенная данной формулой логики высказываний и данным набором пропозициональных переменных. Тождественно истинные формулы логики высказываний (тавтологии). ... Равносильность формул логики высказываний. ... Теорема о приведении формулы логики высказываний к совершенной дизъюнктивной (конъюнктивной) нормальной форме. ... Понятие формулы логики предикатов. ... Теории 1-го порядка. ...
[
Текст
]
Ссылки http://new.math.msu.su/content_root/programs/kaf/special/logica/mlog-ad.doc -- 317.0 Кб -- 10.11.2008
Похожие документы
Похожие документы
3504. http://new.math.msu.su/content_root/programs/kaf/special/logica/nez-ver.doc
НЕЗАВИСИМОСТЬ АКСИОМЫ ВЫБОРА В АКСИОМАТИЧЕСКОЙ ТЕОРИИ МНОЖЕСТВ проф. Н.К. Верещагин 1 год 1. ... Ординально определимые множества. Лемма об ординальной определимости понятия ординальной определимости. ... Наследственно ординально определимые множества. ... Теорема о том, что наследственно ординально определимые множества образуют модель ZF. ... Теорема о том, что любое подмножество M, определимое в [pic] через элементы с инвариантными именами, принадлежит M. 12. ...
[
Текст
]
Ссылки http://new.math.msu.su/content_root/programs/kaf/special/logica/nez-ver.doc -- 300.0 Кб -- 10.11.2008
Похожие документы
Похожие документы
3505. http://new.math.msu.su/content_root/programs/kaf/special/logica/slog-crup.doc
СЛОЖНОСТЬ ВЫЧИСЛЕНИЙ доц. В.Н. Крупский 1/2 года I. Модели вычислений. ... Многоленточные машины Тьюринга. ... Распознавание языков последовательностями булевых схем и неравномерный класс P/Poly. Включение P[pic]P/Poly. ... Примеры задач из класса NP: проблема выполнимости булевых формул (SAT), краевая задача полимино, проблема существования гамильтонова цикла, задача о клике (CLIQUE), целочисленное линейное программирование. ... Класс BPP. Включение BPP[pic]P/Poly. ... Включение BPP[pic]. ...
[
Текст
]
Ссылки http://new.math.msu.su/content_root/programs/kaf/special/logica/slog-crup.doc -- 422.0 Кб -- 10.11.2008
Похожие документы
Похожие документы
3506. http://new.math.msu.su/content_root/programs/kaf/special/logica/teor-ver.doc
ТЕОРИЯ СЛОЖНОСТИ ВЫЧИСЛЕНИЙ проф. Н.К. Верещагин 1/2 года, для магистрантов специальности "Теоретические вопросы информатики" Понятие алгоритма, вычислимой функции. ... Примеры неразрешимых проблем. ... Перечислимость и разрешимость (теорема Поста, теорема о проекции разрешимого множества). ... Алгоритмически неразрешимые проблемы в теории алгоритмов. ... Примеры других алгоритмически неразрешимых проблем в алгебре и теории чисел. 10. m-Сводимость, m-полные перечислимые множества. ... Адресные машины. ...
[
Текст
]
Ссылки http://new.math.msu.su/content_root/programs/kaf/special/logica/teor-ver.doc -- 295.5 Кб -- 10.11.2008
Похожие документы
Похожие документы
3507. http://new.math.msu.su/content_root/programs/kaf/special/logica/teorform-ver.doc
... Теорема Тарского о невыразимости в языке формальной арифметики множества номеров истинных арифметических формул. ... Теорема о полноте исчисления предикатов: формула выводима из множества замкнутых формул тогда и только тогда, когда она истинна во всех моделях этого множества. ... Теорема о том, что в классе конструктивных множеств истинны все аксиомы ZF, кроме аксиомы бесконечности. ... Докажите (в ZF), что для любой функции f существуют ее область определения [pic] и множество значений[pic]. ...
[
Текст
]
Ссылки http://new.math.msu.su/content_root/programs/kaf/special/logica/teorform-ver.doc -- 371.5 Кб -- 10.11.2008
Похожие документы
Похожие документы
3508. http://new.math.msu.su/content_root/programs/kaf/special/logica/vvedlog-usp.doc
... Как образуются имена русских слов, имена множеств и имена функций; лямбда- обозначения. ... Мощность множества. ... Теорема о разбиении множества на классы эквивалентности (они же смежные классы). ... Понятие изоморфии упорядоченных множеств. ... Теорема об устранении кванторов для формул, рассматриваемых на плотных линейно упорядоченных множествах без первого и последнего элементов. ... Понятия 1) интерпретации языка упорядоченных множеств, 2) системы аксиом в этом языке, 3) модели системы аксиом. ...
[
Текст
]
Ссылки http://new.math.msu.su/content_root/programs/kaf/special/logica/vvedlog-usp.doc -- 392.0 Кб -- 10.11.2008
Похожие документы
Похожие документы
3509. http://new.math.msu.su/content_root/programs/kaf/special/logica/acs-ver.doc
АКСИОМАТИЧЕСКАЯ ТЕОРИЯ МНОЖЕСТВ проф. Н.К. Верещагин 1 год 1. ... Ординалы, их свойства. ... Лемма о том, что теория ZFL+([pic])+"A транзитивно"+"B счетно"+{"B замкнуто относительно применения i-ой формульной функции" i=0, 1, 2,.} есть консервативное расширение теории ZFL+"A транзитивно и счетно''. ... Лемма о том, что теория ZFL+A[pic] D+"D транзитивно и счетно'' + ZFLD есть консервативное расширение теории ZFL + ''A транзитивно и счетно'' (ZFLD - множество аксиом ZFL, релятивизованное к D). ...
[
Текст
]
Ссылки http://new.math.msu.su/content_root/programs/kaf/special/logica/acs-ver.doc -- 484.5 Кб -- 10.11.2008
Похожие документы
Похожие документы
3510. http://new.math.msu.su/content_root/programs/kaf/special/logica/alg-lub.doc
... Тема 1. ... Генетические банки данных и принципы их построения: источники информации, элементы данных, секвенирование геномов. Банки данных GenBank и EMBL. Как находить инфомацию в банке данных (поиск в Интернете). ... Методы построения филогенетических деревьев. ... Построение деревьев эволюции видов на основе использования моделей дупликации и потери генов. Алгоритмы построения деревьев видов на основе минимиации цены расхождения между деревом видов и набором деревьев генов. ...
[
Текст
]
Ссылки http://new.math.msu.su/content_root/programs/kaf/special/logica/alg-lub.doc -- 297.0 Кб -- 10.11.2008
Похожие документы
Похожие документы
3511. http://new.math.msu.su/content_root/programs/kaf/special/logica/izbr-ver.doc
... Схемы в полном базисе, оценка [pic], класс P/poly, теорема Сэйведжа. ... Верхние оценки для размера и глубины схем, вычисляющих конкретные функции: . ... Экспоненциальная нижняя оценка для сложности неявных булевых функций. ... е) Теорема Храпченко и нижняя оценка [pic] формульной сложности функций PARITY, MAJORITY. . ... г) Экспоненциальная нижняя оценка размера схемы глубины d, вычисляющей функции PARITY, MAJORITY. ... Монотонные схемы: теорема Разборова о нижней оценке сложности функции КЛИКА. ...
[
Текст
]
Ссылки http://new.math.msu.su/content_root/programs/kaf/special/logica/izbr-ver.doc -- 332.0 Кб -- 10.11.2008
Похожие документы
Похожие документы
3512. http://new.math.msu.su/content_root/programs/kaf/special/logica/klass-lub.doc
КЛАССИЧЕСКАЯ И ИНТУИЦИОНИСТСКАЯ ТЕОРИЯ МОДЕЛЕЙ проф. В.А. Любецкий 2 года (или два годичных спецкурса) Тема 1. Примеры структур, языков и теорий. ... Примеры структур. ... Примеры теорий. ... Ультрапроизведения и теорема Лося. ... Понятия и базисные свойства борелевских и аналитических множеств. ... Необычные свойства интуиционистской теории множеств. ... Теоремы переноса: от классической к интуиционистской теории множеств. ... Общий случай: от классической к интуиционистской теории множеств. ...
[
Текст
]
Ссылки http://new.math.msu.su/content_root/programs/kaf/special/logica/klass-lub.doc -- 302.0 Кб -- 10.11.2008
Похожие документы
Похожие документы
3513. http://new.math.msu.su/content_root/programs/kaf/special/logica/kolm-ver.doc
КОЛМОГОРОВСКАЯ СЛОЖНОСТЬ проф. Н.К. Верещагин 1 год 1. ... Основные свойства колмогоровской энтропии. ... Теорема о полноте по Тьюрингу надграфика колмогоровской энтропии в классе перечислимых множеств. ... Невозможность определения понятия случайной бесконечной последовательности с помощью обычной колмогоровской энтропии. ... Перечислимые снизу полумеры на [pic] и априорная энтропия. ... Верхняя оценка на величину n-ого простого числа (с использованием колмогоровской сложности). ...
[
Текст
]
Ссылки http://new.math.msu.su/content_root/programs/kaf/special/logica/kolm-ver.doc -- 375.5 Кб -- 10.11.2008
Похожие документы
Похожие документы
3514. http://new.math.msu.su/content_root/programs/kaf/special/logica/komp-art.doc
КОМПЬЮТЕРНАЯ ЛОГИКА проф. С.Н. Артемов 1. Интуиционистская логика, исходная доказуемостная семантика Брауэра- Гейтинга-Колмогорова. ... Топологическая модель интуиционистской логики, теорема Тарского о полноте. Модели Крипке, свойство монотонности, полнота. ... Теорема о нормализации (об устранении сечений) для интуиционистской логики. ... Логика доказательств LP. ... Решение задачи Геделя о реализуемости модальной и интуиционистской логики в классической логике доказательств. ...
[
Текст
]
Ссылки http://new.math.msu.su/content_root/programs/kaf/special/logica/komp-art.doc -- 294.5 Кб -- 10.11.2008
Похожие документы
Похожие документы
3515. http://new.math.msu.su/content_root/programs/kaf/special/matan/teor-pod.doc
ТЕОРИЯ СИММЕТРИЧНО-НОРМИРОВАННЫХ ИДЕАЛОВ КОМПАКТНЫХ ОПЕРАТОРОВ И РЕГУЛЯРИЗОВАННЫЕ СЛЕДЫ ДИСКРЕТНЫХ ОПЕРАТОРОВ доц. В.Е. Подольский 1 год Кольцо ограниченных операторов, идеал компактных операторов. Сингулярные числа, их свойства, лемма Шура. ... Определители возмущения, регуляризованные определители, их свойства. ... Регуляризованные следы возмущений операторов с ядерной резольвентой, лакунарный случай. Регуляризованные следы дискретных операторов с неядерной резольвентой, лакунарный случай. ...
[
Текст
]
Ссылки http://new.math.msu.su/content_root/programs/kaf/special/matan/teor-pod.doc -- 267.5 Кб -- 10.11.2008
Похожие документы
Похожие документы
3516. http://new.math.msu.su/content_root/programs/kaf/special/matan/tsel-sed.doc
ЦЕЛЫЕ ФУНКЦИИ В АНАЛИЗЕ проф. А.М. Седлецкий 1 год Шкала роста целых функций. Связь порядка и типа целой функции с ее коэффициентами Тейлора. ... Показатель сходимости и верхняя плотность последовательности нулей целой функции. Целые функции и бесконечные произведения. Теорема Вейерштрасса. ... Теорема Адамара о представлении целой функции конечного порядка и ее следствия. ... Убывание целых функций. ... Теоремы Пэли-Винера для целых функций экспоненциального типа и для класса Харди [pic]. ...
[
Текст
]
Ссылки http://new.math.msu.su/content_root/programs/kaf/special/matan/tsel-sed.doc -- 276.5 Кб -- 10.11.2008
Похожие документы
Похожие документы
3517. http://new.math.msu.su/content_root/programs/kaf/special/matan/vmat-psix.DOC
... Определение предела последовательности, предела функции. ... Непрерывность функции. ... Свойства непрерывных функций (непрерывность суммы, разности, произведения, частного непрерывных функций). ... Дифференцируемость функции в точке, производная, дифференциал. ... Правила вычисления производной (производная суммы, разности, произведения функций). Производная сложной функции. ... Производная обратной функции. ... Производные основных элементарных функций. ... Производные сложной функции. ...
[
Текст
]
Ссылки http://new.math.msu.su/content_root/programs/kaf/special/matan/vmat-psix.DOC -- 314.5 Кб -- 10.11.2008
Похожие документы
Похожие документы
3518. http://new.math.msu.su/content_root/programs/kaf/special/matan/vved-car.doc
ВВЕДЕНИЕ В ТЕОРИЮ ЧИСЕЛ проф. А.А. Карацуба 1 год, 1-3 курс 1. Основы теории чисел. 2. Теорема Лагранжа о четырех квадратах. 3. Элементарное доказательство проблемы Варинга. 4. Теоремы Чебышева о простых числах. 5. Элементарное доказательство асимптотического закона распределения простых чисел. 6. О больших расстояниях между простыми числами.
[
Текст
]
Ссылки http://new.math.msu.su/content_root/programs/kaf/special/matan/vved-car.doc -- 267.0 Кб -- 10.11.2008
Похожие документы
Похожие документы
3519. http://new.math.msu.su/content_root/programs/kaf/special/matan/vved-chub.doc
ВВЕДЕНИЕ В ТЕОРИЮ АРИФМЕТИЧЕСКИХ АЛГОРИТМОВ проф. В.Н. Чубариков 1 год 1. ... Асимптотические распределения по модулю единица , дискрепанс, критерий Г. Вейля равномерного распределения по модулю единица , почти периодические функции , фундаментальное неравенство ван дер Корнута, равномерное распределение функций вещественной переменной (эргодическая теория ), метрическая теория равномерного распределения , нормальные числа по Борелю, метрическая теорема Хинчина о линейной ...
[
Текст
]
Ссылки http://new.math.msu.su/content_root/programs/kaf/special/matan/vved-chub.doc -- 21.5 Кб -- 10.11.2008
Похожие документы
Похожие документы
3520. http://new.math.msu.su/content_root/programs/kaf/special/matan/matvop-roz.doc
МАТЕМАТИЧЕСКИЕ ВОПРОСЫ МЕТЕОРОЛОГИИ ст.н.с. Э.Р. Розендорн 1 год, географический факультет 1 семестр. Краткие сведения о строении атмосферы Земли. Начальные сведения из термодинамики. ... Полиномы Лежандра, присоединенные функции Лежандра и сферические функции. Их применение в теории длинных волн в средней тропосфере Земли. 2 семестр. Начальные сведения о турбулентности. ... Верхняя атмосфера Земли и проблема солнечно-земных связей. ...
[
Текст
]
Ссылки http://new.math.msu.su/content_root/programs/kaf/special/matan/matvop-roz.doc -- 267.5 Кб -- 10.11.2008
Похожие документы
Похожие документы