Поиск по:lib.mexmat.ru -
Поискать по всем серверам
На этой странице приведены все страницы сервера lib.mexmat.ru ,которые мы индексируем. Показаны документы 187901 - 187920 из 189672.
[ В начало ] Пред. | 9392 |
9393 |
9394 |
9395 |
9396
|
9397 |
9398 |
9399 |
9400 |
9401 | След. [ В конец ]
Упорядочить по:
URL
|
дате изменения
187901. Смальян Р. - Теория формальных систем :: Электронная библиотека попечительского
Электронная библиотека Попечительского совета . ... Смальян Р. - Теория формальных систем . ... Название: Теория формальных систем . Автор: Смальян Р. Аннотация: . ... Вывод в элементарной формальной системе 129 . Выводимая строка элементарной формальной системы 20 . ... Независимые элементарные формальные системы 39 . ... Переменная элементарной формальной системы 19 . ... Предикат элементарной формальной системы 19 . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1426 -- 64.9 Кб -- 09.04.2016
Похожие документы
Похожие документы
187902. Пензов Ю.П. - Элементы математической логики и теории множеств :: Электронная
Электронная библиотека Попечительского совета . механико-математического факультета . ... Пензов Ю.П. - Элементы математической логики и теории множеств . ... Название: Элементы математической логики и теории множеств . ... В конце книги приведен краткий список литературы, по которой можно более подробно познакомиться с математической логикой и теорией множеств. ... Рубрика: Математика / Алгебра / Математическая логика / . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1425 -- 14.9 Кб -- 09.04.2016
Похожие документы
Похожие документы
187903. Фейс К. - Алгебра: кольца, модули и категории (том 2) :: Электронная библиотека
Электронная библиотека Попечительского совета . ... Фейс К. - Алгебра: кольца, модули и категории (том 2) . ... Название: Алгебра: кольца, модули и категории (том 2) . Автор: Фейс К. Аннотация: . ... Кольцо с -C-модулями 173 . Кольцо с -конечно порожденными (инъективными) правыми модулями 173 . Кольцо с -циклическими (инъективными) правыми модулями 173 . ... Модуль, определяющийся своим кольцом эндоморфизмов 327 . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1424 -- 97.9 Кб -- 09.04.2016
Похожие документы
Похожие документы
187904. Акивис М.А., Гольдберг В.В. - Тензорное исчисление :: Электронная библиотека
Электронная библиотека Попечительского совета . ... Акивис М.А., Гольдберг В.В. - Тензорное исчисление . ... Название: Тензорное исчисление . Авторы: Акивис М.А., Гольдберг В.В. Аннотация: . Излагаются основы тензорного исчисления и некоторые его приложения к геометрии, механике и физике. ... Последняя глава знакомит с элементами тензорного анализа. ... Основная задача тензорного исчисления 36 . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1423 -- 98.0 Кб -- 09.04.2016
Похожие документы
Похожие документы
187905. Новиков П.С. - Конструктивная математическая логика с точки зрения классической
Электронная библиотека Попечительского совета . механико-математического факультета . ... Новиков П.С. - Конструктивная математическая логика с точки зрения классической . ... Название: Конструктивная математическая логика с точки зрения классической . Автор: Новиков П.С. Язык: . Рубрика: Математика / Алгебра / Математическая логика / . ... Логика конструктивная 48 . ... Новиков, П.С. 20 46 170 183 224 320 . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1422 -- 116.7 Кб -- 09.04.2016
Похожие документы
Похожие документы
187906. Клеменс Х., Коллар Я., Мори С. - Многомерная комплексная геометрия ::
Электронная библиотека Попечительского совета . ... Клеменс Х., Коллар Я., Мори С. - Многомерная комплексная геометрия . ... Название: Многомерная комплексная геометрия . Авторы: Клеменс Х., Коллар Я., Мори С. Аннотация: . Книга написана известными американскими и японским (С. Мори) математиками. ... Русское издание дополнено обзором Я. Коллара . ... Рубрика: Математика / Алгебра / Алгебраическая геометрия / . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1421 -- 14.7 Кб -- 09.04.2016
Похожие документы
Похожие документы
187907. Клини С. - Математическая логика :: Электронная библиотека попечительского
Электронная библиотека Попечительского совета . механико-математического факультета . ... Клини С. - Математическая логика . ... Название: Математическая логика . ... Книга может быть использована,как учебное пособие по курсу математической логики в университетах и пединститутах; таким образом, она адресована прежде всего преподавателям, аспирантам и студентам. ... n-значное исчисление высказываний 65 . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1419 -- 144.2 Кб -- 09.04.2016
Похожие документы
Похожие документы
187908. Черч А. - Введение в математическую логику (том 1) :: Электронная библиотека
Электронная библиотека Попечительского совета . механико-математического факультета . ... Черч А. - Введение в математическую логику (том 1) . ... Название: Введение в математическую логику (том 1) . Автор: Черч А. Аннотация: . ... Предполагая у читателя только общую математическую культуру, книга с первых же страниц вводит его в глубокую проблематику, связанную с основными понятиями математической логики. ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1418 -- 148.8 Кб -- 09.04.2016
Похожие документы
Похожие документы
187909. Гильберт Д., Бернайс П. - Основания математики. Логические исчисления и
Электронная библиотека Попечительского совета . ... Гильберт Д., Бернайс П. - Основания математики. Логические исчисления и формализация арифметики. ... Название: Основания математики. ... Авторы: Гильберт Д., Бернайс П. Язык: . Рубрика: Математика / Алгебра / Математическая логика / . ... Арифметика 45 351 . Арифметика, открытые проблемы 63 . ... Арифметика, формализация ее в (Z) 486 . ... Логическая сумма 83 . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1417 -- 106.9 Кб -- 09.04.2016
Похожие документы
Похожие документы
187910. Ефимов Н.В., Розендорн Э.Р. - Линейная алгебра и многомерная геометрия ::
Электронная библиотека Попечительского совета . ... Ефимов Н.В., Розендорн Э.Р. - Линейная алгебра и многомерная геометрия . ... Название: Линейная алгебра и многомерная геометрия . Авторы: Ефимов Н.В., Розендорн Э.Р. Аннотация: . Предметом книги является объединенный курс линейной алгебры и многомерной аналитической геометрии. ... Рубрика: Математика / Алгебра / Линейная алгебра / . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1416 -- 14.9 Кб -- 09.04.2016
Похожие документы
Похожие документы
187911. Бурбаки Н. - Группы и алгебры Ли (часть 3) :: Электронная библиотека
Электронная библиотека Попечительского совета . ... Бурбаки Н. - Группы и алгебры Ли (часть 3) . ... Название: Группы и алгебры Ли (часть 3) . Автор: Бурбаки Н. Аннотация: . Книга входит во всемирно известную энциклопедию современной математики , созданную группой французских ученых, выступающих под псевдонимом Н. Бурбаки. ... Группа Вейля расщепленной алгебры Ли VIII. ... Группа весов расщепленной алгебры Ли VIII. ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1415 -- 41.6 Кб -- 09.04.2016
Похожие документы
Похожие документы
187912. Бирман Л.А., Суслина Т.А. - Линейная алгебра. Семестр 1. :: Электронная
Электронная библиотека Попечительского совета . ... Бирман Л.А., Суслина Т.А. - Линейная алгебра. Семестр 1. ... Название: Линейная алгебра. ... Авторы: Бирман Л.А., Суслина Т.А. Аннотация: . Линейная алгебра - один из базовых курсов, лежащих в основании математического образования физиков. ... Рубрика: Математика / Алгебра / Линейная алгебра / . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1413 -- 15.2 Кб -- 09.04.2016
Похожие документы
Похожие документы
187913. Цубербиллер О.Н. - Задачи и упражнения по аналитической геометрии ::
Электронная библиотека Попечительского совета . ... Цубербиллер О.Н. - Задачи и упражнения по аналитической геометрии . ... Название: Задачи и упражнения по аналитической геометрии . Автор: Цубербиллер О.Н. Аннотация: . Автор задачника - О. Н. Цубербиллер (1885-1975), известный математик, профессор МГУ, где она в 1943-1966 гг. возглавляла кафедру геометрии. ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1412 -- 15.1 Кб -- 09.04.2016
Похожие документы
Похожие документы
187914. Кутасов А.Д. - Элементы математической логики :: Электронная библиотека
Электронная библиотека Попечительского совета . механико-математического факультета . ... Кутасов А.Д. - Элементы математической логики . ... Название: Элементы математической логики . Автор: Кутасов А.Д. Язык: . Рубрика: Математика / Алгебра / Математическая логика / . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1410 -- 13.8 Кб -- 09.04.2016
Похожие документы
Похожие документы
187915. Таванец П.В. - Философские вопросы современной формальной логики :: Электронная
Электронная библиотека Попечительского совета . ... Таванец П.В. - Философские вопросы современной формальной логики . ... Название: Философские вопросы современной формальной логики . Автор: Таванец П.В. Аннотация: . Проблема взаимоотношения формальной логики и философии, возникающая вместе с возникновением формальной логики, и сейчас привлекает к себе внимание как советских, так и зарубежных философов и логиков. ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1409 -- 14.7 Кб -- 09.04.2016
Похожие документы
Похожие документы
187916. Goerss P.G., Jardine J.F. - Simplicial Homotopy Theory :: Электронная
Электронная библиотека Попечительского совета . ... Goerss P.G., Jardine J.F. - Simplicial Homotopy Theory . ... Название: Simplicial Homotopy Theory . Авторы: Goerss P.G., Jardine J.F. Аннотация: . ... Intended for second-year graduate students and beyond, this book introduces many of the basic tools of modern homotopy theory. ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1408 -- 15.1 Кб -- 09.04.2016
Похожие документы
Похожие документы
187917. Клини С.К. - Введение в метаматематику :: Электронная библиотека
Электронная библиотека Попечительского совета . ... Клини С.К. - Введение в метаматематику . ... Название: Введение в метаматематику . Автор: Клини С.К. Язык: . ... Арифметизация (arithmetization) метаматематики 221 246 255 . ... Введение (introduction) и удаление (elimination) логических символов 91 94 98 134 135 . ... Введение (introduction) и удаление (elimination) логических символов сильное (strong) 98 . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1407 -- 174.2 Кб -- 09.04.2016
Похожие документы
Похожие документы
187918. Arbarello E., Harris J., James R. - Geometry of Algebraic Curves (Vol. 1) ::
Электронная библиотека Попечительского совета . ... Arbarello E., Harris J., James R. - Geometry of Algebraic Curves (Vol. ... Название: Geometry of Algebraic Curves (Vol. ... Авторы: Arbarello E., Harris J., James R. Язык: . ... Bi-elliptic curves 198 210 269 276 280 . Bi-elliptic curves of genus 5 272 . Bi-elliptic curves of genus 6 218 . Bi-elliptic curves, embeddings of 221 . ... Canonical curve 12 117-118 . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1405 -- 105.1 Кб -- 09.04.2016
Похожие документы
Похожие документы
187919. Фрейденталь Х. - Язык логики :: Электронная библиотека попечительского совета
Электронная библиотека Попечительского совета . ... Главная Ex Libris Книги Журналы Статьи Серии Каталог Wanted Загрузка ХудЛит Справка Поиск по индексам Поиск . ... Фрейденталь Х. - Язык логики . Читать книгу . ... Скачать книгу с нашего сайта нельзя . Обсудите книгу на . ... Название: Язык логики . Автор: Фрейденталь Х. Язык: . Рубрика: Математика / Алгебра / Математическая логика / . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1404 -- 13.7 Кб -- 09.04.2016
Похожие документы
Похожие документы
187920. Харин Н.Н. - Математическая логика и теория множеств :: Электронная библиотека
Электронная библиотека Попечительского совета . механико-математического факультета . ... Харин Н.Н. - Математическая логика и теория множеств . ... Название: Математическая логика и теория множеств . Автор: Харин Н.Н. Язык: . Рубрика: Математика / Алгебра / Математическая логика / . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1403 -- 13.8 Кб -- 09.04.2016
Похожие документы
Похожие документы