Полное описание
6+
Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов / Н. К. Верещагин, А. Шень. - Москва : Изд-во МЦНМО, 20 - . - (Современные лекционные курсы). - Загл. обл. : Математическая логика и теория алгоритмов. - Авт. на обл. не указаны. - Текст : непосредственный.
Ч. 2 : Языки и исчисления. - 2-е изд., стер. - 2002. - 285 с. : ил. - 1000 экз. -
ISBN 5-900916-66-9
Библиогр.: с. 270-273 (34 назв.)
ГРНТИ УДК 27.03.19 510 03.91
Рубрики: Математическая логика
Доп. точки доступа: Шень, Александр
Экз-ры полностью f11e7afaa14bea8163e56f6b5e32517b Нет сведений об экземплярах Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): М/59435/2)
Шифр в сводном ЭК: f11e7afaa14bea8163e56f6b5e32517b
Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 2(2008) : Языки и исчисления, 2008. - 288 с. - Текст : непосредственный. Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 3(2008) : Вычислимые функции, 2008. - 189 с. - Текст : непосредственный. Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 1(2008) : Начала теории множеств, 2008. - 127 с. - Текст : непосредственный. Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 1(2012) : Начала теории множеств, 2012. - 112 с. - Текст : непосредственный. Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 3(2012) : Вычислимые функции, 2012. - 158 с. - Текст : непосредственный. Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 2 : Языки и исчисления, 2002. - 285 с. - Текст : непосредственный. Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 3 : Вычислимые функции, 2002. - 189 с. - Текст : непосредственный. Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 1 : Начала теории множеств, 2002. - 121 с. - Текст : непосредственный. Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 2(2012) : Языки и исчисления, 2012. - 240 с. - Текст : непосредственный. Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 1(2020) : Начала теории множеств, 2020. - 112 с. - Текст : непосредственный. Шень, Александр. Программирование. Теоремы и задачи / А. Шень, 2021. - 319 с. - Текст (визуальный) : непосредственный. Лекции по дискретной математике / М. Н. Вялый, В. В. Подольский, А. А. Рубцов [и др.], 2021. - 494 с. - Текст (визуальный) : непосредственный. Успенский, Владимир Андреевич. Вводный курс математической логики : Учебное пособие / В. А. Успенский, 2007. - 128 с. (Введено оглавление). - Текст : электронный. Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 1(2023) : Начала теории множеств, 2023. - 112 с. - Текст : непосредственный. Шень, Александр. Программирование. Теоремы и задачи / А. Шень, 2024. - 319 с. - Текст (визуальный) : непосредственный. Гельфанд, Израиль Моисеевич. Алгебра / И. М. Гельфанд, А. Шень, 2024. - 144 с. - Текст (визуальный) : непосредственный. Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 1(2024) : Начала теории множеств, 2024. - 112 с. - Текст : непосредственный. Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 2(2025) : Языки и исчисления, 2025. - 240 с. - Текст : непосредственный. Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 1(2025) : Начала теории множеств, 2025. - 112 с. - Текст : непосредственный. Шень, Александр. Игры и стратегии с точки зрения математики / А. Шень, 2025. - 56 с. - Текст (визуальный) : непосредственный. Показать все результаты Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 2000. - 286 с. - Текст : непосредственный. Шубин М.А. Лекции об уравнениях математической физики / М. А. Шубин, 2003. - 302 с. - Текст : непосредственный. Болибрух А.А. Фуксовы дифференциальные уравнения и голоморфные расслоения / А. А. Болибрух, 2000. - 119 с. - Текст : непосредственный. Белавин А.А. Лекции по теоретической физике / А. А. Белавин, А. Г. Кулаков, Г. М. Тарнопольский, 2015. - 251 с. - Текст : непосредственный. Верещагин Н.К. Начала теории множеств / Н. К. Верещагин, А. Шень, 1999. - 127 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Горчинский С.О. Неразветвленная группа Брауэра и ее приложения : учебник / С. О. Горчинский, К. А. Шрамов, 2018. - 200 с. - Текст : непосредственный. Гусейн-Заде С.М. Диффенциальная геометрия : Лекции для студентов III курса, осенний семестр 1999-2000 уч.г. / С.М.Гусейн-Заде, 2001. - 74 с. - Текст : непосредственный. Белов Ю.А. Лекции по математической логике и теории алгоритмов : учеб. пособие / Ю. А. Белов, В. А. Соколов, 2012. - 138 с. - Текст : непосредственный. Лебедев В.В. Флуктуационные эффекты в макрофизике / В.В. Лебедев, 2004. - 253 с. - Текст : непосредственный. Хелемский А.Я. Лекции по функциональному анализу : Учебник / А.Я. Хелемский, 2004. - 552 с. - Текст : непосредственный. Хелемский А.Я. Лекции по функциональному анализу : учебник / А. Я. Хелемский, 2014. - 560 с. - Текст : непосредственный. Показать все результаты Мир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный. Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный. Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный. Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 2000. - 286 с. - Текст : непосредственный. International series in operations research and management science / ed. F. S. Hillier. 130 : Logic and integer programming / H. P. Williams, 2009. - XI, 155 p. - Текст : непосредственный. Овчинникова Е.В. Структурные свойства и полнота класса регулярных полигонов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Е. В. Овчинникова, 2000. - 12 с. - Текст : непосредственный. Chen Y. Meshless methods in solid mechanics / Y. Chen, J. Lee, A. Eskandarian, 2006 r=on-line Romano A. Continuum mechanics using mathematica ® / A. Romano, A. Marasco, R. Lancellotta, 2006 r=on-line Teodorescu P.P. Mechanical systems, classical models / P. P. Teodorescu, 2007 r=on-line Иванова О.А. Алгоритмизация и численная реализация аналитических методов представления решений в задачах механики : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : диссертация на соискание ученой степени канд. физ.-мат. наук / О. А. Иванова, 2007. - 15 с. - Текст : непосредственный. Герасимов А.С. Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. С. Герасимов, 2007. - 15 с. - Текст : непосредственный. Разностные схемы : сборник№ 5 / Ред. В. Г. Дулов, 1989. - 162 с. - Текст : непосредственный. Хованский А.Д. Геохимия аквальных ландшафтов / А. Д. Хованский, 1993. - 239 c. - Текст : непосредственный. Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный. Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный. Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный. Кузнецов П.Б. Основы нечеткой математики. Теория нечетких множеств / П. Б. Кузнецов, Ю. К. Оленикова, 2003. - 154 с. - Текст : непосредственный. Арсеньев Д.Г. Адаптивное управление в стохастических методах вычислительной математики и механики : учебное пособие / Д. Г. Арсеньев, В. М. Иванов, М. Л. Кореневский, 2008. - 423 с. - Текст : непосредственный. Цивинский С.В. Специальная теория относительности, понятие времени, новая возможность уточнения классической механики и зависимость физических свойств от скорости движения / С. В. Цивинский, 1989. - 33 л. - Текст : непосредственный. Численные методы механики сплошной среды : материалы временных коллективов / АН СССР, Сибирское отделение, 1991. - 171 с. - Текст : непосредственный. Показать все результаты Мир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный. Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный. Метакидес Г. Принципы логики и логического программирования / Г. Метакидес, А. Нероуд, 1998. - 288 с. - Текст : непосредственный. Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный. Игошин В.И. Математическая логика и теория алгоритмов : учебное пособие / В. И. Игошин, 2008. - 447 с. - Текст : непосредственный. Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 2000. - 286 с. - Текст : непосредственный. Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный. Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный. Baltag A. logic for suspicious players: epistemic actions and belief-update in games / A. Baltag, 2000. - 30 p. - Текст : непосредственный. Blackburn P. A proof system for finite trees / P. Blackburn, W. Meyer-Viol, M.de Rijke, 1995. - 19 p. - Текст : непосредственный. Булос Д. Вычислимость и логика : монография / Д. Булос, Р. Джеффри, 1994. - 396 c. - Текст : непосредственный. Орехов Ю.В. Математическая логика / Ю. В. Орехов, Э. Ю. Орехов, 2006. - 161 с. - Текст : непосредственный. Makkai M. Duality and definability in first order logic / M. Makkai, 1993. - X,106 p. p. - Текст : непосредственный. Лексаченко В.А. Дискретная математика. Математическая логика и теория множества / В. А. Лексаченко, 1998. - 49 с. - Текст : непосредственный. Тимофеева И.Л. Математическая логика / И. Л. Тимофеева, 2007. - 303 с. - Текст : непосредственный. Шрайнер П.А. О фрагменте предикатной интуиционистской логики, полном относительно шкал Крипке с конечными областями / П. А. Шрайнер, 1998. - 21 с. - Текст : непосредственный. Тишковский Д.Е. Алгебраические эквиваленты некоторых свойств суперинтуиционистских предикатных логик / Д. Е. Тишковский, 1998. - 15 с. - Текст : непосредственный. Математическая логика и теория алгоритмов : выставочные материалы / Сост. Д. В. Ефимов, 2012. - 99 с. - Текст : непосредственный. Исследования по конструктивной математике и математической логике : Сб. 10, 1997. - 152 с. - Текст : непосредственный. Судоплатов С.В. Математическая логика и теория алгоритмов : учебное пособие / С. В. Судоплатов, Е. В. Овчинникова, 2008. - 224 с. - Текст : непосредственный. Показать все результаты Мир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный. Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный. Метакидес Г. Принципы логики и логического программирования / Г. Метакидес, А. Нероуд, 1998. - 288 с. - Текст : непосредственный. Лавров И.А. Задачи по теории множеств, математической логике и теории алгоритмов / И. А. Лавров, Л. Л. Максимова, 2006. - 255 с. - Текст : непосредственный. Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный. Матросов В.Л. Теория алгоритмов / В. Л. Матросов, 1989. - 187 с. - Текст : непосредственный. Игошин В.И. Математическая логика и теория алгоритмов : учебное пособие / В. И. Игошин, 2008. - 447 с. - Текст : непосредственный. Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 2000. - 286 с. - Текст : непосредственный. Вейль Г. Математическое мышление : монография / Г. Вейль, 1989. - 400 с. - Текст : непосредственный. International series in operations research and management science / ed. F. S. Hillier. 130 : Logic and integer programming / H. P. Williams, 2009. - XI, 155 p. - Текст : непосредственный. Проблемы онто-гносеологического обоснования математики и естественных наук : сборник / Ред. Е. И. Арепьев, 2008. - 203 с. - Текст : непосредственный. Лисовик Л.П. Формальные языки и трансдьюсеры. Т. 2 : Вычисления над размеченными деревьямиКн. 2, 2006. - 438 с. - Текст : непосредственный. Szumakowicz E. Natura poznania matematycznego / E. Szumakowicz, 1994. - 151 p. - Текст : непосредственный. HromkoviC J. Design and analysis of randomized algorithms / J. HromkoviC, 2005 r=on-line. - Текст : электронный. Овчинникова Е.В. Структурные свойства и полнота класса регулярных полигонов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Е. В. Овчинникова, 2000. - 12 с. - Текст : непосредственный. Герасимов А.С. Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. С. Герасимов, 2007. - 15 с. - Текст : непосредственный. Гейтинг А. Интуиционизм. Введение / А. Гейтинг, 2010. - 164 с. - Текст : непосредственный. Окстоби Дж. Мера и категория / Дж. Окстоби, 2008. - 157 с. - Текст : непосредственный. Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный. Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
