Полное описание
Попов, А. И.
Рубрики: Математическая логика
Доп. точки доступа: Ленинградский государственный университет имени А. А. Жданова
Полный текст
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д1/9496)
Шифр в сводном ЭК: 1558170572f469ce81dc4fa191a675b7
Фрумкин А.К. Антиблокировочные и противобуксовочные системы легковых автомобилей / А. К. Фрумкин, И. И. Алышев, А. И. Попов, 1989. - 52 с. - Текст : непосредственный. Основы теоретической экономики : учебное пособие / Д. Ю. Миропольский, Л. А. Миэринь, А. И. Попов [и др.], 2008. - 452 с. - Текст : непосредственный. Применение математических знаний в профессиональной деятельности : пособие для саморазвития бакалавра / Н. П. Пучков [и др.]. Ч. 2 : Теория вероятностей и математическая статистика, 2013. - 64 с. - Текст : непосредственный. Инновационные образовательные технологии в техническом вузе : материалы временных коллективов / Тамбовский гос. технический ун-т, 2015. - 124 с. - Текст : непосредственный. Неупорядоченные полупроводники / А. А. Айвазов, Б. Г. Будягин, С. П. Вихров, А. И. Попов, 1995. - 352 с. - Текст : непосредственный. Попов А.И. Формирование структуры многокомпонентных твердых растворов замещения в гетеросистемах с резко различающимися ковалентными радиусами : специальность 01.04.07 "Физика конденсированного состояния" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. И. Попов, 2004. - 26 с. - Текст : непосредственный. Попов А.И. Малое предпринимательство : Учеб. пособие: В двух ч. Ч. 1 : Теория становления и система государственной поддержки, 2004. - 226 с. - Текст : непосредственный. Попов А. И. Экономическая теория : учебное пособие / В. С. Артамонов, А. И. Попов, С. А. Иванов [и др.], 2010. - 528 с. - Текст : непосредственный. Региональные проблемы управления экономическими и экологическими рисками : сборник / Саратовский гос. технический ун-т, 2002. - 156 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Кузнецов С.С. Андрей Дмитриевич Миклухо-Маклай / С. С. Кузнецов, 1969. - 22 с. - Текст : непосредственный. Кузнецов С.С. Франц Юльевич Левинсон-Лессинг / С. С. Кузнецов, 1969. - 29 с. - Текст : непосредственный. Петров А.А. Спектрально-изотопный метод исследования материалов / А. А. Петров ; Ред. А. Н. Зайдель, 1974. - 327 с. - Текст : непосредственный. Нардов В.В. Практическое руководство по геометрической кристаллографии : рекомендовано Мин.образования / В. В. Нардов ; Ред. В. А. Франк-Каменецкий, 1974. - 143 с. - Текст : непосредственный. Хитрик В.Э. Методы динамической оптимизации механизмов машин-автоматов / В. Э. Хитрик, 1974. - 116 с. - Текст : непосредственный. Чирков М.К. Основы функциональной структуры вычислительных машин / М. К. Чирков, А. М. Шауман, 1974. - 267, [1] с. - Текст : непосредственный. Малинин С.А. Правовые проблемы морской атомной деятельности / С. А. Малинин, В. А. Мусин, 1974. - 132, [2] с. - Текст : непосредственный. Трудности перевода с французского языка : (на материале математической лексики) / Ленинградский ордена Ленина и ордена Трудового Красного Знамени государственный университет имени А. А. Жданова, 1974. - 47, [1] с. - Текст : непосредственный. Сытинская Н.Н. Абсолютная фотометрия протяженных небесных объектов / Н. Н. Сытинская, 1948. - 198 с. - Текст : непосредственный. Мазуренко Г.В. Иван Васильевич Молчанов / Г. В. Мазуренко, 1972. - 38 с. - Текст : непосредственный. Электробезопасность при работе на производственных, лабораторных и исследовательских установках напряжением до 1000 В и выше : [пособие] / Ленинградский государственный университет имени А. А. Жданова, 1966. - 51 с. - Текст : непосредственный. Гинзберг А.С. Экспериментальная петрография : учебное пособие / проф. А. С. Гинзберг, 1951. - 270 с. - Текст : непосредственный. Макареня А.А. Александр Александрович Байков / А. А. Макареня, В. А. Поздышева, 1971. - 40 с. - Текст : непосредственный. Гинзбург И.П. Прикладная гидрогазодинамика : [учебное пособие] / И. П. Гинзбург, 1959. - 337, [1] с. - Текст : непосредственный. Самарина В.С. Гидрохимическое опробование подземных вод / В. С. Самарина, 1958. - 256, [1] с. - Текст : непосредственный. Воротилов В.А. Воспроизводство основных фондов промышленности / В. А. Воротилов, 1958. - 169, [2] с. - Текст : непосредственный. Попов А.И. Введение в математическую логику / А. И. Попов, 1959. - 106, [2] с. - Текст : непосредственный. Научная сессия 1953 - 1954 гг. : тезисы докладов по секции геологических наук, 1954. - 26 с. - Текст : непосредственный. Плисс В.А. Некоторые проблемы теории устойчивости движения в целом / В. А. Плисс, 1958. - 181, [2] с. - Текст : непосредственный. Захарьевский М.С. Кинетика химических реакций : учебное пособие для университетов / М. С. Захарьевский, 1959. - 165, [1] с. - Текст : непосредственный. Показать все результаты Мир математики : в 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 с. - Текст : непосредственный. Герасимов А.С. Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. С. Герасимов, 2007. - 15 с. - Текст : непосредственный. Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный. Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный. Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный. Никольская И.Л. Знакомство с математической логикой / И. Л. Никольская, 1998. - 128 с. - Текст : непосредственный. Первухин М.А. Теоретико-модельные свойства частично упорядоченных полигонов / М. А. Первухин, 2010. - 18 с. - Текст : непосредственный. Rijke M.de A modal characterization of Peirce algebras / M.de Rijke, 1995. - 14 p. - Текст : непосредственный. Blackburn P. A proof system for finite trees / P. Blackburn, W. Meyer-Viol, M.de Rijke, 1995. - 19 p. - Текст : непосредственный. Шапировский И.Б. Алгоритмические свойства модальных логик информационных систем / И. Б. Шапировский, 2007. - 15 с. - Текст : непосредственный. Булос Д. Вычислимость и логика : монография / Д. Булос, Р. Джеффри, 1994. - 396 c. - Текст : непосредственный. Пак Бен Ха.Субрекурсивная реализуемость и логика предикатов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Пак Бен Ха, 2003. - 12 с. - Текст : непосредственный. Algebra and Model Theory : coll. of papers. 7, 2009. - 152 p. - Текст : непосредственный. Кузнецов С.Л. Категориальные грамматики, основанные на вариантах исчисления Ламбека / С. Л. Кузнецов, 2012. - 12 с. - Текст : непосредственный. Чернов А.В. О некоторых вариантах понятия реализуемости : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. В. Чернов, 2003. - 16 с. - Текст : непосредственный. Показать все результаты Мир математики : в 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
