Полное описание
Иванова, Н. Н. ISBN 978-5-7677-3102-2. - Текст : непосредственный.
Рубрики: Математическая логика
Алгоритмы
Кл.слова (ненормированные): АЛГЕБРА ВЫСКАЗЫВАНИЙ -- АЛГОРИТМИЧЕСКИЕ МОДЕЛИ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ПРЕДИКАТОВ -- ЛОГИКА ПРЕДИКАТОВ
Доп. точки доступа: Галанина, Н.А.
Чувашский государственный педагогический университет имени И. Я. Яковлева
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д10-20/79424)
Шифр в сводном ЭК: 81190db4fa10a6362471fab039f16ed8
Жуков В.П. Учебное пособие по курсу "Радиотехнические цепи и сигналы" / В. П. Жуков, Н. Н. Иванова, 1990. - 132 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Иванова, Н. Н. Высшая математика : Учеб.-метод. пособие. Ч. 1, 2005. - 149 с. - Текст : непосредственный. Жуков В.П. Узкополосные цепи : Учеб.пособие по курсу "Радиотехн.цепи и сигналы" / В.П.Жуков,Н.Н.Иванова, 1992. - 41 с. - Текст : непосредственный. Иванова Н.Н. Экономический анализ организационных структур промышленного предприятия : Монография / Н. Н. Иванова, Н. Н. Мозгов, Б. И. Герасимов, 2003. - 119 с. - Текст : непосредственный. Галанина Н.А. Введение в цифровую обработку сигналов : учеб. пособие / Н. А. Галанина, Н. Н. Иванова, 2016. - 119 с. - Текст : непосредственный. Сборник индивидуальных заданий по математике для технических высших учебных заведений : учеб. пособие / Моск. гос. индустр. ун-т ; под ред. В. Б. Миносцева, Е. А. Пушкаря. Ч. 1 / А. И. Архангельский [и др.], 2012. - 601 с. - Текст : непосредственный. Мозгов Н.Н. Маркетинг, менджмент в схемах, рисунках, графиках : Учеб. пособие / Н.Н.Мозгов,Н.Н.Иванова, 2000. - 92 с. - Текст : непосредственный. Галанина Н.А. Синтез, оптимизация и компьютерное исследование эффективности быстрых непозиционных алгоритмов спектрального анализа : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.16 / Н. А. Галанина, 2000. - 27 с. - Текст : непосредственный. Иванова Н.Н. Организационно-технологическое обеспечение надежности гражданских зданий : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.23.08 / Н. Н. Иванова, 2000. - 22 с. - Текст : непосредственный. Иванова Н.Н. Формирование системы управления строительством молодежных жилищных комплексов / Н. Н. Иванова, Н. В. Швыденко, 2012. - 124 с. - Текст : непосредственный. Иванова Н.Н. Моделирование организационных структур промышленного предприятия : автореф. дис. .. канд. экон. наук: 08.00.13 / Н. Н. Иванова, 2003. - 22 с. - Текст : непосредственный. Иванова Н.Н. Математическая логика и теория алгоритмов : учеб. пособие / Н. Н. Иванова, Н. А. Галанина, 2014. - 163 с. - Текст : непосредственный. Батанова С.В. Обеспечение надежности подрядных организаций в условиях саморегулирования строительной отрасли : монография / С. В. Батанова, Н. Н. Иванова, 2012. - 128 с. - Текст : непосредственный. Галанина Н.А. Методы и вычислительные устройства цифровой обработки сигналов в системе остаточных классов : автореф. дис. .. д-ра техн. наук: 05.13.05 / Н. А. Галанина, 2010. - 32 с. - Текст : непосредственный. Иванова Н.Н. Устройства вычислительной техники для цифровой обработки сигналов, аппроксимированных цепями Маркова, в системе остаточных классов : автореф. дис. .. канд. техн. наук: 05.13.05 / Н. Н. Иванова, 2011. - 20 с. - Текст : непосредственный. Показать все результаты Игошин В.И. Математическая логика и теория алгоритмов : учебное пособие / В. И. Игошин, 2008. - 447 с. - Текст : непосредственный. Математическая логика и теория алгоритмов : выставочные материалы / Сост. Д. В. Ефимов, 2012. - 99 с. - Текст : непосредственный. Судоплатов С.В. Математическая логика и теория алгоритмов : учебное пособие / С. В. Судоплатов, Е. В. Овчинникова, 2008. - 224 с. - Текст : непосредственный. Романов В.Ф. Математическая логика и теория алгоритмов / В. Ф. Романов, 2003. - 23 с. - Текст : непосредственный. Галиев Ш.И. Математическая логика и теория алгоритмов / Ш. И. Галиев, 2004. - 333 с. - Текст : непосредственный. Хусаинов А.А. Математическая логика и теория алгоритмов / А. А. Хусаинов, Н. Н. Михайлова, 2005. - 96 с. - Текст : непосредственный. Орехов Ю.В. Математическая логика и теория алгоритмов : выставочные материалы / Ю. В. Орехов, Э. Ю. Орехов, 2013. - 243 с. - Текст : непосредственный. Гурова Л.М. Математическая логика и теория алгоритмов / Л. М. Гурова, Л. М. Шурова, Е. В. Зайцева, 2006. - 262 с. (Введено оглавление). - Текст : электронный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Кузина Е.А. Проектирование жилых интерьеров : учебное пособие / Е. А. Кузина, 2017. - 116 с. - Текст : непосредственный. Химия и современность : сборник научных статей / Министерство образования и науки Российской Федерации, Чувашский государственный педагогический университет им. И. Я. Яковлева", Чувашское региональное отделение Российского химического общества им. Д. И. Менделеева, 2018. - 108 с. - Текст : непосредственный. Митрасов Ю.Н. Малеинимиды: синтез, свойства и полимеры на их основе : монография / Ю. Н. Митрасов, О. А. Колямшин, В. А. Данилов, 2017. - 285 с. - Текст : непосредственный. Сазанова А.А. Методы обеззараживания сточных вод / А. А. Сазанова, И. А. Добросмыслова, Н. В. Алексеева. - Текст : непосредственный // Химия и современность : сборник научных статей / Министерство образования и науки Российской Федерации, Чувашский государственный педагогический университет им. И. Я. Яковлева", Чувашское региональное отделение Российского химического общества им. Д. И. Менделеева. - Чебоксары : Чуваш. гос. пед. ун-т им. И. Я. Яковлева, 2018. - с. 60-63 Парфенова Д.С. Оценка степени загрязнения лекарственных растений тяжёлыми металлами / Д. С. Парфенова, С. В. Житарь, Н. Н. Ященко. - Текст : непосредственный // Химия и современность : сборник научных статей / Министерство образования и науки Российской Федерации, Чувашский государственный педагогический университет им. И. Я. Яковлева", Чувашское региональное отделение Российского химического общества им. Д. И. Менделеева. - Чебоксары : Чуваш. гос. пед. ун-т им. И. Я. Яковлева, 2018. - с. 67-69 Кеметова Г.Х. Экологическое сознание в процессе становления экологической культуры учащихся / Г. Х. Кеметова, В. В. Алексеев. - Текст : непосредственный // Химия и современность : сборник научных статей / Министерство образования и науки Российской Федерации, Чувашский государственный педагогический университет им. И. Я. Яковлева", Чувашское региональное отделение Российского химического общества им. Д. И. Менделеева. - Чебоксары : Чуваш. гос. пед. ун-т им. И. Я. Яковлева, 2018. - с. 88-90 Вестник Чувашского государственного педагогического университета имени И. Я. Яковлеа. Серия: Механика предельного состояния : научный журнал. Сер. , Механика предельного состояния / Чувашский государственный педагогический университет имени И. Я. Яковлева. - Журнал выходит с 2008г. - Текст : непосредственный. Иванова Н.Н. Математическая логика и теория алгоритмов : учебное пособие / Н. Н. Иванова, Н. А. Галанина, 2020. - 187 с. - Текст : непосредственный. Совершенствование технологического процесса мойки деталей при ремонте техники : монография / И. В. Фадеев, А. В. Шемякин, И. А. Успенский [и др.]; научный редактор: И. В. Фадеев, 2023. - 159 с. - Текст (визуальный) : непосредственный. Наумова Л. В. Избранные вопросы элементарной геометрии : [лекции] / Л. В. Наумова, 1962. - 76, [1] с. - Текст : непосредственный. Мир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный. Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный. Лавров И.А. Задачи по теории множеств, математической логике и теории алгоритмов / И. А. Лавров, Л. Л. Максимова, 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 с. - Текст : непосредственный. 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 с. - Текст : непосредственный. Бабенко М.А. Введение в теорию алгоритмов и структур данных : выставочные материалы / М. А. Бабенко, М. В. Левин, 2016. - 139 с. - Текст : непосредственный. Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный. Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный. Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный. Показать все результаты Мир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный. Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный. Метакидес Г. Принципы логики и логического программирования / Г. Метакидес, А. Нероуд, 1998. - 288 с. - Текст : непосредственный. Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный. Васильев В.В. Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем / В. В. Васильев, В. В. Кузьмук, 1990. - 213 c. - Текст : непосредственный. Матросов В.Л. Теория алгоритмов / В. Л. Матросов, 1989. - 187 с. - Текст : непосредственный. Игошин В.И. Математическая логика и теория алгоритмов : учебное пособие / В. И. Игошин, 2008. - 447 с. - Текст : непосредственный. Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 2000. - 286 с. - Текст : непосредственный. Шалыто А.А. Логическое управление. Методы аппаратной и программной реализации алгоритмов / А. А. Шалыто, 2000. - 780 с. - Текст : непосредственный. HromkoviC J. Design and analysis of randomized algorithms / J. HromkoviC, 2005 r=on-line. - Текст : электронный. Труды Института системного программирования. Т. 12 : Методы синтеза и анализа алгоритмов, 2006. - 122 с. - Текст : непосредственный. Триханов А.В. Алгоритмизация и микропрограммирование операций ЭВМ (множества, графы, кубы, кубические покрытия) / А. В. Триханов, 1995. - 107 c. - Текст : непосредственный. Фоккинк У. Распределенные алгоритмы: интуитивный подход / У. Фоккинк ; Пер. К. Русецкий, 2017. - 269 с. - Текст : непосредственный. Воеводин, Валентин Васильевич. Информационная структура алгоритмов / В. В. Воеводин, 1997. - 139 с. - Текст : непосредственный. Кирнос В.Н. Информатика II. Основы алгоритмизации и программирования на языке C++ : методический материал / В. Н. Кирнос, 2013. - 158 с. - Текст : непосредственный. Ульянов М.В. Классификация и методы сравнительного анализа вычислительных алгоритмов / М. В. Ульянов, 2004. - 211 с. - Текст : непосредственный. Рахманова И.О. Информатика: основы алгоритмизации и программирования : учебное пособие / И. О. Рахманова, 2007. - 116 с. - Текст : непосредственный. Бабенко М.А. Введение в теорию алгоритмов и структур данных : выставочные материалы / М. А. Бабенко, М. В. Левин, 2016. - 139 с. - Текст : непосредственный. Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный. Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный. Показать все результаты Мир математики : в 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
