Полное описание
Морозова, Е. В.
Рубрики: Математическая логика
Доп. точки доступа: Ломкова, Е.Н.
Волгоградский государственный технический университет. Камышинский технологический институт (филиал)
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д10-17/57074)
Шифр в сводном ЭК: 3b16eba88de89f6d4e77eaada72bbd5b
Морозова Е.В. Включение поселков в город (в процессе исторического развития г.Самары) : специальность 18.00.04 "" : автореферат диссертации на соискание ученой степени канд. архитектуры / Е. В. Морозова, 1999. - 27 с. - Текст : непосредственный. Ломкова Е.Н. Пакет MathCAD. Основные приемы работы для решения инженерных и экономических задач / Е. Н. Ломкова, А. А. Эпов, А. А. Казначеева, 2004. - 77 с. - Текст : непосредственный. Ломкова Е.Н. Экономико-математические модели управления производством (теоретические аспекты) / Е. Н. Ломкова, А. А. Эпов, 2005. - 67 с. - Текст : непосредственный. Морозова Е.В. Дифференциальные уравнения первого порядка : выставочные материалы / Е. В. Морозова, А. А. Валеев, 2016. - 82 с. - Текст : непосредственный. Актуальные проблемы управления стратегическим развитием региона: отечественный и зарубежный опыт : монография / Л. Е. Замураева, Ю. А. Шумилова, Е. В. Морозова [и др.], 2013. - 238 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Казак В.Ф. Экономико-математические модели : учебное пособие / В. Ф. Казак, Е. В. Морозова, А. А. Валеев, 2015. - 79 с. - Текст : непосредственный. Морозова Е.В. Математика : учеб. пособие для студентов направления "Менеджмент" / Е. В. Морозова, С. В. Мягкова, 2011. - 76 с. - Текст : непосредственный. Морозова Е.В. Учет и анализ внешнеэкономической деятельности : учеб. пособие / Е. В. Морозова, И. В. Лотоцкая, 2012. - 135 с. - Текст : непосредственный. Безопасность информационных технологий. - Журнал, 1999г. № 2. - Текст : непосредственный. Морозова Е.В. Дифференциальные уравнения и их системы : учебно-методическое пособие / Е. В. Морозова, А. А. Валеев, 2017. - 79 с. - Текст : непосредственный. Морозова Е.В. Вопросы экологии в современном мире : учеб. пособие (для студентов IV старших курсов, обучающихся по специальностям: перевод и переводоведение, культурология, регионоведение) / Е. В. Морозова, Е. Г. Гусева, Е. К. Белых, 2008. - 148 с. - Текст : непосредственный. Морозова Е.В. Финансовая стабилизация в условиях формирования открытой экономики : Автореферат диссертации на соискание ученой степени канд. экон. наук: 08.00.01 / Е. В. Морозова, 2000. - 15 с. - Текст : непосредственный. Обработка данных в офисных приложениях Microsoft Office : учеб. пособие / А. А. Эпов [и др.]. Ч. 1, 2008. - 131 с. - Текст : непосредственный. Морозова Е.В. Анализ деформирования упругих композитных круглых пластин, круговых и эксцентрических колец : автореф. дис. .. канд. физ.-мат. наук: 01.02.04 / Е. В. Морозова, 2007. - 26 с. - Текст : непосредственный. Киселица Е.П. Организация производства на предприятии : учеб. пособие / Е. П. Киселица, Е. В. Морозова, 2009. - 247 с. - Текст : непосредственный. Морозова Е.В. Бухгалтерский учет на транспорте : учеб. пособие / Е. В. Морозова, 2017. - 163 с. - Текст : непосредственный. Морозова Е.В. Основы бухгалтерского учета : учеб. пособие / Е. В. Морозова, 2017. - 163 с. - Текст : непосредственный. Морозова Е.В. Автоматизированное управление производством стеклотары на базе моделей функционирования технологического оборудования : монография / Е. В. Морозова, М. П. Белов, 2017. - 143 с. - Текст : непосредственный. Показать все результаты Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный. Шрайберг, Яков Леонидович. Справочное руководство по основам информатики и вычислительной техники / Я. Л. Шрайберг, М. В. Гончаров, 1990. - 33 c. (Введено оглавление). - Текст : непосредственный. Казанцев А.В. Элементы математической логики : выставочные материалы / А. В. Казанцев, 2013. - 147 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Игошин В.И. Элементы математической логики : учебник / В. И. Игошин, 2018. - 331, [1] с. - Текст : непосредственный. Агарева О.Ю. Элементы математической логики : Учеб. пособие / О. Ю. Агарева, Ю. В. Селиванов, 2008. - 51 с. - Текст : непосредственный. Комиссаров В.В. Элементы математической логики : учеб. пособие для студентов специальности 09.02.04 Информ. системы (по отраслям) / В. В. Комиссаров, 2015. - 143 с. - Текст : непосредственный. Нестеренко Ю.П. Элементы математической логики : Учеб. пособие / Ю.П.Нестеренко, 1996. - 41 с. - Текст : непосредственный. Шум А.А. Элементы математической логики : Учеб. пособие / А.А.Шум, 2003. - 91 с. - Текст : непосредственный. Игошин В.И. Элементы математической логики : учебник / В. И. Игошин, 2017. - 314 с. - Текст : непосредственный. Литвиненко Ю.В. Элементы математической логики : Учеб. пособие / Ю.В. Литвиненко, 2005. - 92 с. - Текст : непосредственный. Морозова Е.В. Элементы математической логики : учебно-методическое пособие / Е. В. Морозова, Е. Н. Ломкова, 2017. - 95 с. - Текст : непосредственный. Игошин В.И. Элементы математической логики : учебник / В. И. Игошин, 2019. - 313, [1] с. - Текст : непосредственный. Тарасенко А.В. Элементы математической логики : учеб. пособие / А. В. Тарасенко, И. П. Егорова, 2014. - 110 с. - Текст : непосредственный. Дурнев В.Г. Элементы математической логики : Учеб. пособие / В. Г. Дурнев, 2006. - 221 с. - Текст : непосредственный. Показать все результаты Макаров В.М. Основы безопасности жизнедеятельности : учеб.-метод. пособие в 3 ч. Ч. 3 / В. М. Макаров, Л. П. Леонович, 2016. - 103 с. - Текст : непосредственный. Пескова О.С. Современные методы и технологии контроллинга, аудита, оценки и аттестации в кадровом менеджменте : учебное пособие / О. С. Пескова, Т. Б. Борискина, О. В. Юрова, 2017. - 142 с. - Текст : непосредственный. Макартичян С.В. Основы теории физических полей : учебное пособие / С. В. Макартичян, 2017. - 79 с. - Текст : непосредственный. Сергеев А.С. Автоматизация технологических процессов механической обработки : учебное пособие / А. С. Сергеев, А. М. Макаров, Ж. С. Тихонова, 2017. - 127 с. - Текст : непосредственный. Известия Волгоградского государственного технического университета. Серия: Актуальные проблемы реформирования российский экономики (теория, практика, перспектива) : науч. журн. № 7(202), 2017. - 92 с. - Текст : непосредственный. Кетько Н.В. Оптимизация налогообложения : учебное пособие / Н. В. Кетько, 2017. - 151 с. - Текст : непосредственный. Проектирование спецмашин : учебник для вузов / Волгоградский государственный технический университет. Ч. 1 : Артиллерийские стволыкн. 1 / О. Г. Агошков [и др.] ; под ред. Г. И. Закаменных [и др.], 2017. - 395 с. - Текст : непосредственный. Общая химия в схемах, таблицах, формулах (с экспериментом и контрольными заданиями) : учебное пособие / Е. Р. Андросюк, Б. А. Буравов, Р. Б. Гаджиев, О. О. Тужиков, 2017. - 139 с. - Текст : непосредственный. Першина Т.А. Экономика и управление энергосбережением : учебное пособие / Т. А. Першина, Е. Ю. Пономарева, 2017. - 147 с. - Текст : непосредственный. Механика грунтов : учебное пособие / А. А. Чураков, К. А. Сухин, Д. Г. Кузнецов, А. И. Вайнгольц, 2017. - 92 с. - Текст : непосредственный. Текушин Д.В. Пожарная безопасность в строительстве : учебное пособие / Д. В. Текушин, О. С. Власова, 2017. - 180 с. - Текст : непосредственный. Хавроничев С.В. Нетрадиционные возобновляемые источники энергии : учебное пособие / С. В. Хавроничев, А. Г. Сошинов, В. С. Галущак, 2015. - 91 с. - Текст : непосредственный. Казак В.Ф. Экономико-математические модели : учебное пособие / В. Ф. Казак, Е. В. Морозова, А. А. Валеев, 2015. - 79 с. - Текст : непосредственный. Финансовое право : учебное пособие / С. П. Сазонов, В. А. Кабанов, Г. В. Федотова [и др.], 2017. - 154 с. - Текст : непосредственный. Князев Д.К. Землепользование и городской кадастр : учебное пособие / Д. К. Князев, С. А. Чебанова, 2018. - 85 с. - Текст : непосредственный. Техника и технология строительства: содержание и правила магистерской диссертации : учебное пособие / О. В. Бурлаченко, В. Н. Кабанов, О. В. Дарелина, Т. Б. Гадаборшева, 2018. - 166 с. - Текст : непосредственный. Иващенко А.П. Теоретические сведения и расчёты деталей в редукторах общемашиностроительного применения : учебное пособие / А. П. Иващенко, А. А. Шеин, Н. И. Привалов, 2014. - 167 с. - Текст : непосредственный. Привалов Н.И. Инженерная графика : учебное пособие / Н. И. Привалов, Я. Н. Отений, А. Г. Схиртладзе, 2015. - 194 с. - Текст : непосредственный. Теплофизические свойства светопрозрачных конструкций зданий и сооружений : монография / А. В. Ковылин, Н. Ю. Карапузова, Д. Г. Усадский, В. И. Лепилов, 2018. - 96, [1] с. - Текст : непосредственный. Дорошенко Е.И. Экономический анализ : учебное пособие / Е. И. Дорошенко, Б. А. Карташов, 2016. - 126 с. - Текст : непосредственный. Показать все результаты Мир математики : в 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
