Приложение
для AndroidПолное описание
(Свободных экземпляров нет)
51/К 608
Колмогоров, А. Н. Математическая логика. Введение в математическую логику : учеб. пособие / А. Н. Колмогоров, А. Г. Драгалин ; Моск. гос. ун-т им. М. В. Ломоносова. - 5-е изд. - М. : URSS, 2015. - 234 с. : ил. - (Классический университетский учебник). - Библиогр.: с. 224 (9 назв.). - Тираж не указ. - ISBN 978-5-9710-1502-4 : Б. ц. - Текст : непосредственный.
| ГРНТИ | УДК | |
| 27.03.19 | 510 | |
| 03.91 |
Рубрики:
Математическая логика
Доп. точки доступа:
Драгалин, А.Г.
Московский гос. ун-т им. М. В. Ломоносова
Все экземпляры списаны
Марченко М.Н. Теория государства и права : Учеб. / М.Н.Марченко, 2004. - 637 с. - Текст : непосредственный.Картоведение : Учебник для вузов / А.М.Берлянт,А.В.Востокова,В.И.Кравцова,И.К.Лурье; Под ред. А.М. Берлянта, 2003. - 477 с. - Текст : непосредственный.Ильин В.А. Высшая математика : Учебник / В.А.Ильин,А.В.Куркина, 2004. - 392 с. - Текст : непосредственный.Колмогоров А.Н. Математическая логика : Учеб. пособие / А.Н.Колмогоров,А.Г.Драгалин, 2004. - 238 с. - Текст : непосредственный.Вильке В.Г. Теоретическая механика : Учебник / В.Г.Вильке, 2003. - 301 с. - Текст : непосредственный.Петрунин Ю.Ю. Этика бизнеса : Учеб. пособие / Ю.Ю.Петрунин,В.К.Борисов, 2004. - 399 с. - Текст : непосредственный.Костомаров Д.П. Вводные лекции по численным методам : Учеб. пособие для студентов вузов, обучающихся по спец. 010200 - "Прикладная математика и информатика" / Д.П.Костомаров,А.П.Фаворский, 2004. - 184 с. - Текст : непосредственный.Кострикин, А. И. Введение в алгебру : Учеб.для студентов ун-тов по спец."Математика" и "Прикл.математика". Ч. 2(2004) : Линейная алгебра, 2004. - 367 с. - Текст : непосредственный.Реутов, О. А. Органическая химия : Учеб.для вузов по направлению и спец."Химия". Ч. 4, 2004. - 725 с. - Текст : непосредственный.Колмогоров А.Н. Элементы теории функций и функционального анализа / А.Н.Колмогоров,С.В.Фомин, 2004. - 570 с. - Текст : непосредственный.Свешников А.Г. Лекции по математической физике : учеб. пособие / А. Г. Свешников, А. Н. Боголюбов, В. В. Кравцов, 2004. - 414 с. - Текст : непосредственный.Мищенко А.С. Краткий курс дифференциальной геометрии и топологии : Учеб. / А.С.Мищенко,А.Т.Фоменко, 2004. - 298 с. - Текст : непосредственный.Шабат, Б. В. Введение в комплексный анализ : Учебник : В 2 ч. Ч. 2 : Функции нескольких переменных, 2004. - 464 с. - Текст : непосредственный.Ефимов, Николай Владимирович. Краткий курс аналитической геометрии : учеб. для студентов вузов / Н.В.Ефимов, 2004. - 238 с. - Текст : непосредственный.Тихонов А.Н. Уравнения математической физики : Учебник / А.Н.Тихонов,А.А.Самарский, 2004. - 798 с. - Текст : непосредственный.Ахманов С.А. Физическая оптика : Учебник / С.А.Ахманов,С.Ю.Никитин, 2004. - 654 с. - Текст : непосредственный.Рубин, Андрей Борисович (советский и российский биофизик ; 1937-). Биофизика : учебник. Т. 2 : Биофизика клеточных процессов, 2004. - 469 с. - Текст : непосредственный.Рубин, Андрей Борисович (советский и российский биофизик ; 1937-). Биофизика : учебник. Т. 1 : Теоретическая биофизика, 2004. - 462 с. - Текст : непосредственный.Шишкин Е.В. Математические методы и модели в управлении : учеб. пособие / Е.В.Шишкин,А.Г.Чхартишвили, 2004. - 439 с. - Текст : непосредственный.Ильин, В. А. Математический анализ : Учебник : В 2 ч. Ч. 1, 2004. - 660 с. - Текст : непосредственный.
Показать все результатыАнализ потенциала инновационного экологически устойчивого развития экономики региона ( на примере Калининградской области) / Московский гос. ун-т им. М. В. Ломоносова , 2013. - 254 с. - Текст : непосредственный.Философия : учебник / под ред. А. Ф. Зотова [и др.], 2015. - 670 с.Шипачев В.С. Высшая математика. Полный курс : учеб. для акад. бакалавриата / В. С. Шипачев; под ред. А. Н. Тихонова, 2015. - 608 с.Колмогоров А.Н. Математическая логика. Введение в математическую логику : учеб. пособие / А. Н. Колмогоров, А. Г. Драгалин, 2015. - 234 с.Новиков Л.С. Космическое материаловедение : учеб. пособие / Л. С. Новиков, 2014. - 447 с.Ефимов, Николай Владимирович. Краткий курс аналитической геометрии / Н. В. Ефимов, 2014. - 238 с. - Текст : непосредственный.Ильин В.А. Линейная алгебра и аналитическая геометрия : учебник / В. А. Ильин, Г. Д. Ким, 2015. - 393 с. - Текст : непосредственный.Волобуев И.П. Дифференциальная геометрия и алгебры Ли и их приложения в теории поля / И. П. Волобуев, Ю. А. Кубышин, 2015. - 224 с. - Текст : непосредственный.Макаров А.А. Курс теории вероятностей в задачах и упражнениях : учеб. пособие для социал.-экон. специальностей / А. А. Макаров, Е. А. Ивин, А. Н. Курбацкий, 2014. - 114 с.Философия : учебник / А. В. Аполлонов [и др.] ; под ред. А. Ф. Зотова [и др.], 2015. - 670 с.Карамурзов Р.Б Международные экономические сопоставления на основе паритетов покупательной способности валют: теория, практика и актуальные проблемы / Р. Б. Карамурзов, Л. А. Фридман, 2014. - 165 с.Мельянцев В.А. Долгосрочные тенденции, контртенденции и факторы экономического роста развитых и развивающихся стран / В. А. Мельянцев, 2015. - 80 с.
Федоряев С.Т. Структурные свойства алгебраической сводимости конструктивизаций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. Т. Федоряев, 1991. - 11 с. - Текст : непосредственный.Хасидашвили З.О. Системы редукции форм и редукции сокращенных форм и -термов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / З. О. Хасидашвили, 1991. - 14 с. - Текст : непосредственный.Имамов Т.Т. Специализированная система аналитических преобразований для вариационных задач механики : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Т. Т. Имамов, 1991. - 17 с. - Текст : непосредственный.Романов С.Л. Закономерности структуры педогеохимических полей азота,фосфора и калия в ландшафтных системах Белоруссии : Автореферат диссертации на соискание ученой степени канд.геогр.наук:11.00.01 / С. Л. Романов, 1991. - 20 с. - Текст : непосредственный.Судоплатов С.В. Базируемость стабильных теорий и свойства счетных моделей с мощными типами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. В. Судоплатов, 1990. - 13 с. - Текст : непосредственный.Птичников А.В. Динамика опустынивания ландшафтов Приаралья за последние 15 лет (с использованием космических методов исследования) : Автореферат диссертации на соискание ученой степени канд.геогр.наук:11.00.11 / А. В. Птичников, 1991. - 27 с. - Текст : непосредственный.Важенин Ю.М. Критические теории первого порядка : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / Ю. М. Важенин, 1992. - 21 с. - Текст : непосредственный.Симонова И.Г. Доказуемостно-интуиционистская логика и ее расширения : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / И. Г. Симонова, 1992. - 16 с. - Текст : непосредственный.Любецкий В.А. Оценки и пучки теоремы переноса : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17;01.01.06 / В. А. Любецкий, 1991. - 34 с. - Текст : непосредственный.Омаров А.И. Р-формулы и булевы конструкции в теории моделей и универсальной алгебре : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / А. И. Омаров, 1992. - 19 с. - Текст : непосредственный.Филатова Е.В. Формы аккумуляции тяжелых металлов в ландшафтно-геохимических условиях Восточно-Европейского сектора Субарктики : Автореферат диссертации на соискание ученой степени канд.геогр.наук:11.00.01 / Е. В. Филатова, 1992. - 16 с. - Текст : непосредственный.Коробова Е.М. Медь,кобальт и йод в природных ландшафтах Нечерноземной зоны Русской равнины : Автореферат диссертации на соискание ученой степени канд.геогр.наук:11.00.01 / Е. М. Коробова, 1992. - 23 с. - Текст : непосредственный.Самонов А.Е. Геохимия урана и его спутников в содовых мерзлотных ландшафтах:На прим.Витимского плоскогорья : Автореферат диссертации на соискание ученой степени канд.геол.-минералог.наук:04.00.02 / А. Е. Самонов, 1993. - 25 с. - Текст : непосредственный.Касымов Н.Х. Рекурсивно отделимые нумерованные алгебры : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук:01.01.06 / Н. Х. Касымов, 1993. - 16 с. - Текст : непосредственный.Анализ проблем контакта с применением техники SGRA / ВЦП. - 4 c. - Текст : непосредственный.Архангельский Д.А. Информационные логики : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / Д. А. Архангельский, 1993. - 16 с. - Текст : непосредственный.Венцов Ю.Г. Условия эффективности выбора в теории конструктивных моделей : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.06 / Ю. Г. Венцов, 1994. - 20 с. - Текст : непосредственный.Победин Л.Н. Теория вычислений с двуместными оракулами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Л. Н. Победин, 1993. - 10 с. - Текст : непосредственный.Пантелеев В.И. Полиномиальные разложения конечнозначных функций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / В. И. Пантелеев, 1994. - 14 с. - Текст : непосредственный.Семенко Т.И. Моделирование взаимосвязи процессов насыщенной и ненасыщенной фильтрации : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.16 / Т. И. Семенко, 1994. - 12 с. - Текст : непосредственный.
Показать все результатыSommerhalder R. A resolution method for some systems of MODAL LOGIC : Diss. / R.Sommerhalder, 1992. - 173 p. - Текст : непосредственный.Eijck D.J.van Dynamic modal predicate logic / D.J.van Eijck,G.Cepparello, 1992. - 19 p. - Текст : непосредственный.Nerode A. Logic for applications / A.Nerode,R.A.Shore, 1993. - XVII,365 p. p. - Текст : непосредственный.Makkai M. Duality and definability in first order logic / M.Makkai, 1993. - X,106 p. p. - Текст : непосредственный.Benthem J.van Modal logic,transition systems and processes / J.van Benthem,D.J.N.van Eijck,V.Stebletsova, 1993. - 43 p. - Текст : непосредственный.Математическая логика и теория алгоритмов : Сб. / Отв. ред. Ю.Л.Ершов, С.С.Гончаров, 1993. - 201 c. - Текст : непосредственный.Абаев Н.Б. Выявление скрытых законов логики и приложение их к строгим наукам / Н.Б.Абаев, 1993. - 164 c. - Текст : непосредственный.Ben-Shalom D. A path-based variable-free system for predicate logic / D.Ben-Shalom, 1994. - 12 p. - Текст : непосредственный.Булос Д. Вычислимость и логика : Пер.с англ.В.А.Душского и Е.Ю.Ногиной под ред.С.Н.Артемова / Д.Булос,Р.Джеффри, 1994. - 396 c. - Текст : непосредственный.Rijke M.de A Lindstrom theorem for modal logic / M.de Rijke, 1994. - 13 p. - Текст : непосредственный.Blackburn P. The algebra of modal logic / P.Blackburn,M.de Rijke,Y.Venema, 1994. - 61 p. - Текст : непосредственный.Мамий К.С. Основы современной математики (элементы логики, теории множеств и множества действительных чисел) : Учеб.пособие для студентов мат.фак.пединститутов и ун-тов / К.С.Мамий, 1994. - 143 c. - Текст : непосредственный.Алгебраические и логические конструкции : Сб.науч.тр. / Твер.гос.ун-т, 1994. - 105 c. - Текст : непосредственный.Кузнецов В.Н. Теоретическая информатика - I. Элементы теории множеств и математической логики : Учеб. пособие / В.Н.Кузнецов, 1994. - 103 c. - Текст : непосредственный.Таланов В.А. Математическая логика и модели вычислений : Учеб. пособие / В.А.Таланов, 1994. - 116 c. - Текст : непосредственный.Теоретические применения методов математической логики : Сб. работ. 1, 1975. - 180 с. - Текст : непосредственный.Snyder W. A proof theory for general unification / W.Snyder, 1991. - 175 175 p. - Текст : непосредственный.Rijke M.de Modal model theory / M.de Rijke, 1995. - 20 p. - Текст : непосредственный.Akkanen J. Absolute logics / J.Akkanen, 1995. - 83 -. -. - Текст : непосредственный.Blackburn P. Why combine logics? / P.Blackburn,M.de Rijke, 1995. - 18 p. - Текст : непосредственный.
Показать все результатыАхтямов Р.Б. Сложностные свойства индексных множеств : Автореферат диссертации на соискание ученой степени канд.физ-мат.наук:01.01.06 / Р. Б. Ахтямов, 1991. - 16 с. - Текст : непосредственный.Федоряев С.Т. Структурные свойства алгебраической сводимости конструктивизаций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. Т. Федоряев, 1991. - 11 с. - Текст : непосредственный.Заурбеков С.С. Оценки алгоритмической сложности некоторых семантических классов предложений : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. С. Заурбеков, 1991. - 10 с. - Текст : непосредственный.Хасидашвили З.О. Системы редукции форм и редукции сокращенных форм и -термов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / З. О. Хасидашвили, 1991. - 14 с. - Текст : непосредственный.Судоплатов С.В. Базируемость стабильных теорий и свойства счетных моделей с мощными типами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. В. Судоплатов, 1990. - 13 с. - Текст : непосредственный.Морозов А.С. Группы вычислительных автоморфизмов : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / А. С. Морозов, 1990. - 15 с. - Текст : непосредственный.Вайценавичюс Р.Ю. Главные нумерации вычислимых функционалов на допустимых множествах : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Р. Ю. Вайценавичюс, 1991. - 11 с. - Текст : непосредственный.Кожевникова Г.П. Методы сборочно-конкретизирующего анализа вычислительной сложности алгоритмов и их приложения : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.11 / Г. П. Кожевникова, 1991. - 33 с. - Текст : непосредственный.Важенин Ю.М. Критические теории первого порядка : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / Ю. М. Важенин, 1992. - 21 с. - Текст : непосредственный.Симонова И.Г. Доказуемостно-интуиционистская логика и ее расширения : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / И. Г. Симонова, 1992. - 16 с. - Текст : непосредственный.Любецкий В.А. Оценки и пучки теоремы переноса : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17;01.01.06 / В. А. Любецкий, 1991. - 34 с. - Текст : непосредственный.Омаров А.И. Р-формулы и булевы конструкции в теории моделей и универсальной алгебре : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / А. И. Омаров, 1992. - 19 с. - Текст : непосредственный.Белякин Н.В. Теория вычислений с оракулами и рекурсивных иерархий : Автореферат диссертации на соискание ученой степени д-ра физ-мат.наук:01.01.06 / Н. В. Белякин, 1992. - 23 с. - Текст : непосредственный.Касымов Н.Х. Рекурсивно отделимые нумерованные алгебры : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук:01.01.06 / Н. Х. Касымов, 1993. - 16 с. - Текст : непосредственный.Архангельский Д.А. Информационные логики : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / Д. А. Архангельский, 1993. - 16 с. - Текст : непосредственный.Венцов Ю.Г. Условия эффективности выбора в теории конструктивных моделей : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.06 / Ю. Г. Венцов, 1994. - 20 с. - Текст : непосредственный.Победин Л.Н. Теория вычислений с двуместными оракулами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Л. Н. Победин, 1993. - 10 с. - Текст : непосредственный.Пантелеев В.И. Полиномиальные разложения конечнозначных функций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / В. И. Пантелеев, 1994. - 14 с. - Текст : непосредственный.Чашкин А.В. О сложности булевых матриц : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / А. В. Чашкин, 1994. - 12 с. - Текст : непосредственный.Белеградек О.В. Теория моделей унитреугольных и экзистенциально замкнутых групп : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / О. В. Белеградек, 1995. - 32 с. - Текст : непосредственный.
Показать все результаты