Поиск по:lib.mexmat.ru -
Поискать по всем серверам
На этой странице приведены все страницы сервера lib.mexmat.ru ,которые мы индексируем. Показаны документы 187921 - 187940 из 189672.
[ В начало ] Пред. | 9393 |
9394 |
9395 |
9396 |
9397
|
9398 |
9399 |
9400 |
9401 |
9402 | След. [ В конец ]
Упорядочить по:
URL
|
дате изменения
187921. Gelfand S.I., Manin Yu.I. - Methods of Homological Algebra :: Электронная
Электронная библиотека Попечительского совета . ... Gelfand S.I., Manin Yu.I. - Methods of Homological Algebra . ... Название: Methods of Homological Algebra . Авторы: Gelfand S.I., Manin Yu.I. Аннотация: . Homological algebra first arose as a language for describing topological prospects of geometrical objects. ... Basic concepts and results of homotopical algebra are also presented. ... Dimension, homological 171 . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1402 -- 98.7 Кб -- 09.04.2016
Похожие документы
Похожие документы
187922. Столяр А.А. - Логическое введение в математику :: Электронная библиотека
Электронная библиотека Попечительского совета . ... Столяр А.А. - Логическое введение в математику . ... Название: Логическое введение в математику . Автор: Столяр А.А. Язык: . Рубрика: Математика / Алгебра / Математическая логика / . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1401 -- 13.8 Кб -- 09.04.2016
Похожие документы
Похожие документы
187923. Столяр А.А. - Логические проблемы преподавания математики :: Электронная
Электронная библиотека Попечительского совета . ... Столяр А.А. - Логические проблемы преподавания математики . ... Название: Логические проблемы преподавания математики . Автор: Столяр А.А. Язык: . Рубрика: Математика / Алгебра / Математическая логика / . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1400 -- 13.9 Кб -- 09.04.2016
Похожие документы
Похожие документы
187924. Манин Ю.И. - Доказуемое и недоказуемое :: Электронная библиотека
Электронная библиотека Попечительского совета . ... Манин Ю.И. - Доказуемое и недоказуемое . ... Название: Доказуемое и недоказуемое . Автор: Манин Ю.И. Язык: . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1399 -- 93.0 Кб -- 09.04.2016
Похожие документы
Похожие документы
187925. Колмогоров А.Н., Драгалин А.Г. - Математическая логика. Дополнительные главы ::
Электронная библиотека Попечительского совета . механико-математического факультета . ... Колмогоров А.Н., Драгалин А.Г. - Математическая логика. Дополнительные главы . ... Название: Математическая логика. ... Авторы: Колмогоров А.Н., Драгалин А.Г. Аннотация: . ... Рубрика: Математика / Алгебра / Математическая логика / . Серия: Посвящена 110-летию со дня рождения Колмогорова Андрея Николаевича . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1398 -- 14.5 Кб -- 09.04.2016
Похожие документы
Похожие документы
187926. Попович М.В. - Доказательство и понимание :: Электронная библиотека
Электронная библиотека Попечительского совета . ... Попович М.В. - Доказательство и понимание . ... Название: Доказательство и понимание . Автор: Попович М.В. Аннотация: . В монографии исследуются логико-методологические аспекты проблемы понимания. ... Проблема соотношения доказательства и понимания анализируется, в частности, на материале физических теорий; рассматриваются особенности понимания в гуманитарных науках. ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1397 -- 14.7 Кб -- 09.04.2016
Похожие документы
Похожие документы
187927. Китчев Ф., Федоров Б.И. - Методологический анализ оснований математики ::
Электронная библиотека Попечительского совета . ... Китчев Ф., Федоров Б.И. - Методологический анализ оснований математики . ... Название: Методологический анализ оснований математики . Авторы: Китчев Ф., Федоров Б.И. Язык: . Рубрика: Математика / Алгебра / Математическая логика / . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1396 -- 13.9 Кб -- 09.04.2016
Похожие документы
Похожие документы
187928. Кулик Б.А. - Логика естественных рассуждений :: Электронная библиотека
Электронная библиотека Попечительского совета . ... Кулик Б.А. - Логика естественных рассуждений . ... Название: Логика естественных рассуждений . Автор: Кулик Б.А. Аннотация: . ... В основу книги положен авторский курс лекций по логике естественных рассуждений, предназначенный для студентов гуманитарных и технических специальностей. ... Рубрика: Математика / Алгебра / Математическая логика / . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1393 -- 14.5 Кб -- 09.04.2016
Похожие документы
Похожие документы
187929. Wolter F., Wansing H., Вe Rijke M. - Advances in modal logic (vol.3) ::
Электронная библиотека Попечительского совета . ... Wolter F., Wansing H., Вe Rijke M. - Advances in modal logic (vol.3) . ... Название: Advances in modal logic (vol.3) . Авторы: Wolter F., Wansing H., Вe Rijke M. Язык: . ... Boolean modal logic 329 341 . ... First-order closed modal predicate logic 305 . ... First-order modal logic 299 . First-order modal logic of provability 1 . ... Logic multi-modal 321 . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1391 -- 103.4 Кб -- 09.04.2016
Похожие документы
Похожие документы
187930. Levitz K., Levitz H. - Logic and Boolean Algebra :: Электронная библиотека
Электронная библиотека Попечительского совета . ... Levitz K., Levitz H. - Logic and Boolean Algebra . ... Название: Logic and Boolean Algebra . Авторы: Levitz K., Levitz H. Язык: . ... Algebras, Boolean 81-91 . ... Axioms (Boolean) 85 . ... Boolean algebras 81-91 . ... Complements (Boolean) 84 . ... Forms: logic 9-11 14 16-18 29 51 . ... Identity (Boolean) 84 . ... Logic forms 9-11 14 16-18 29 51 . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1390 -- 54.6 Кб -- 09.04.2016
Похожие документы
Похожие документы
187931. Popper K. - New foundations for logic :: Электронная библиотека попечительского
Электронная библиотека Попечительского совета . ... Popper K. - New foundations for logic . ... Название: New foundations for logic . Автор: Popper K. Язык: . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1389 -- 14.6 Кб -- 09.04.2016
Похожие документы
Похожие документы
187932. Steen S.W.P. - Mathematical Logic with Special Reference to the Natural Numbers
Электронная библиотека Попечительского совета . ... Steen S.W.P. - Mathematical Logic with Special Reference to the Natural Numbers . ... Название: Mathematical Logic with Special Reference to the Natural Numbers . Автор: Steen S.W.P. Язык: . ... Cardinal, numbers 180 . ... Combinatory logic 230 378 . ... Complex number 178 548 . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1388 -- 120.8 Кб -- 09.04.2016
Похожие документы
Похожие документы
187933. Kneebone G.T. - Mathematical Logic and the Foundation of Mathematics ::
Электронная библиотека Попечительского совета . ... Kneebone G.T. - Mathematical Logic and the Foundation of Mathematics . ... Название: Mathematical Logic and the Foundation of Mathematics . Автор: Kneebone G.T. Аннотация: . ... Part I discusses traditional and symbolic logic. Part II explores the foundations of mathematics, emphasizing Hilbert's metamathematics. Part III focuses on the philosophy of mathematics. ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1387 -- 142.9 Кб -- 09.04.2016
Похожие документы
Похожие документы
187934. Карри Х.Б. - Основания математической логики :: Электронная библиотека
Электронная библиотека Попечительского совета . механико-математического факультета . ... Карри Х.Б. - Основания математической логики . ... Название: Основания математической логики . Автор: Карри Х.Б. Аннотация: . Книга американского ученого посвящена детальному изучению основных понятий математической логики на современном этапе. ... Рубрика: Математика / Алгебра / Математическая логика / . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1385 -- 105.8 Кб -- 09.04.2016
Похожие документы
Похожие документы
187935. Горский Д.П., Таванц П.В. - Логика :: Электронная библиотека попечительского
Электронная библиотека Попечительского совета . ... Горский Д.П., Таванц П.В. - Логика . ... Название: Логика . Авторы: Горский Д.П., Таванц П.В. Аннотация: . В предлагаемой вниманию читателей книге по формальной логике глава 1 написана Д. П. Горским, глава 2 - В. Ф. Асмусом, глава 3 - Д. П. Горским, главы 4 - 7 - П. В. Таванцом, глава 8 - Д. П. Горским, глава 9 - В. И. Сшемпковской и . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1384 -- 14.4 Кб -- 09.04.2016
Похожие документы
Похожие документы
187936. Гиндикин С.Г. - Алгебра логики в задачах :: Электронная библиотека
Электронная библиотека Попечительского совета . ... Гиндикин С.Г. - Алгебра логики в задачах . ... Название: Алгебра логики в задачах . Автор: Гиндикин С.Г. Язык: . Рубрика: Математика / Алгебра / Математическая логика / . ... Арифметические операции в алгебре логики 64 . ... Немонотонная функция алгебры логики 74 (решение задачи 5.1) . ... Несамодвойственная функция алгебры логики 61 (решение задачи 3 . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1383 -- 72.1 Кб -- 09.04.2016
Похожие документы
Похожие документы
187937. Гильберт Д., Бернайс П. - Основания математики. Теория доказательств. ::
Электронная библиотека Попечительского совета . ... Гильберт Д., Бернайс П. - Основания математики. Теория доказательств. ... Название: Основания математики. ... Авторы: Гильберт Д., Бернайс П. Аннотация: . В настоящей книге дается детальное изложение современного состояния теории доказательств. ... Рубрика: Математика / Алгебра / Математическая логика / . ... Бернайс 9-12 14 16 418 439 . ... Нить доказательства 473 . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1382 -- 115.3 Кб -- 09.04.2016
Похожие документы
Похожие документы
187938. Френкель А.А., Бар-Хиллел И. - Основания теории множеств :: Электронная
Электронная библиотека Попечительского совета . ... Френкель А.А., Бар-Хиллел И. - Основания теории множеств . ... Название: Основания теории множеств . Авторы: Френкель А.А., Бар-Хиллел И. Аннотация: . В ходе развития теории множеств, которая является основой построения большинства математических дисциплин, возникли чрезвычайно сложные проблемы непротиворечивости. ... Аксиома множества-степени 51 145 146 . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1381 -- 229.5 Кб -- 09.04.2016
Похожие документы
Похожие документы
187939. Фейс Р. - Модальная логика :: Электронная библиотека попечительского совета
Электронная библиотека Попечительского совета . ... Фейс Р. - Модальная логика . ... Название: Модальная логика . ... Одна из лучших монографий по модальной логике. ... Модальные логики становятся все более востребованными специалистами по ИИ, занимающимися проблематикой обработки естественных языков, экспертными и управляющими системами и т. д. Язык: . ... модальная функциональная логика первого порядка) 170 . ... Вейль 207 . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1380 -- 135.7 Кб -- 09.04.2016
Похожие документы
Похожие документы
187940. Ebbinghaus H.-D., Flum J., Thomas W. - Mathematical logic :: Электронная
Электронная библиотека Попечительского совета . ... Ebbinghaus H.-D., Flum J., Thomas W. - Mathematical logic . ... Название: Mathematical logic . Авторы: Ebbinghaus H.-D., Flum J., Thomas W. Аннотация: . This junior/senior level text is devoted to a study of first-order logic and its role in the foundations of mathematics: What is a proof? ... Incompleteness of second-order logic 164 . ... Logic, mathematical 1 . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1379 -- 96.6 Кб -- 09.04.2016
Похожие документы
Похожие документы