Полное описание
> Горюшкин, А. П. Математическая логика и теория алгоритмов : учеб. пособие : в 2 ч. / А. П. Горюшкин ; Камч. гос. техн. ун-т. - Петропавловск-Камчатский : Изд-во КамчатГТУ, 2014 - . - Текст : непосредственный. Ч. 2 . - 2014. - 111 с. - Предм. указ.: с.110-111. - 500 экз.
ГРНТИ УДК 27.03.19 510 27.03.17 27.03.45
Рубрики: Математическая логика
Алгоритмы
Доп. точки доступа: Камчатский гос. технический ун-т(Петропавловск-Камчатский)
>
Экз-ры полностью 97a78436bd24e2fee144353c47ca5fd6 Нет сведений об экземплярах Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Н/20438/2)>
Шифр в сводном ЭК: 97a78436bd24e2fee144353c47ca5fd6
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Горюшкин, А. П. Алгебра и геометрия : учеб. пособие : в 3 ч. Ч. 3, 2015. - 137 с. - Текст : непосредственный. Горюшкин А.П. Свободная разложимость и сбалансированность групп / А.П. Горюшкин, В.А. Горюшкин, 2005. - 298 с. - Текст : непосредственный. Горюшкин, А. П. Элементы абстрактной и компьютерной алгебры : учеб. пособие. 2, 2009. - 495 с. - Текст : непосредственный. Горюшкин А.П. Математика. Система целых неотрицательных чисел : Учеб. пособие / А. П. Горюшкин, 2006. - 243 с. - Текст : непосредственный. Горюшкин А.П. Математика. Система действительных чисел и элементы геометрии : Учеб. пособие / А. П. Горюшкин, 2006. - 283 с. - Текст : непосредственный. Горюшкин А.П. Математика. Алгебра множеств и элементы логики : Учеб. пособие / А. П. Горюшкин, 2006. - 322 с. - Текст : непосредственный. Горюшкин А.П. Компьютеры в алгебре : Учеб. пособие / А.П.Горюшкин, 1989. - 88 с. - Текст : непосредственный. Горюшкин А.П. Амальгамированные свободные произведения групп / А. П. Горюшкин, 2012. - 157 с. - Текст : непосредственный. Горюшкин А.П. Элементы абстрактной и компьютерной алгебры : учеб. пособие / А. П. Горюшкин, В. А. Горюшкин, 2011. - 518 с. - Текст : непосредственный. Горюшкин, А. П. Математическая логика и теория алгоритмов : учеб. пособие : в 2-х ч. Ч. 1, 2014. - 164 с. - Текст : непосредственный. Горюшкин, А. П. Математическая логика и теория алгоритмов : учеб. пособие : в 2 ч. Ч. 2, 2014. - 111 с. - Текст : непосредственный. Горюшкин А.П. Обзорные лекции по алгебре : учеб. пособие / А. П. Горюшкин, 2012. - 305 с. - Текст : непосредственный. Горюшкин А.П. Математика : Учеб. пособие / А. П. Горюшкин, 2009. - 423 с. - Текст : непосредственный. Горюшкин, А. П. Алгебра и геометрия : учеб. пособие : в 3 ч. Ч. 1, 2015. - 135 с. - Текст : непосредственный. Горюшкин, А. П. Алгебра и геометрия : учеб. пособие : в 3 ч. Ч. 2, 2015. - 157 с. - Текст : непосредственный. Горюшкин А.П. Краткий курс математики. 1, 2002. - 354 с. - Текст : непосредственный. Горюшкин А.П. Избранные главы алгебры и теории чисел : Учеб.пособие для физ.-мат.фак.пед.ин-тов / А.П.Горюшкин, 1991. - 139 c. - Текст : непосредственный. Показать все результаты Игошин В.И. Математическая логика и теория алгоритмов : учебное пособие / В. И. Игошин, 2008. - 447 с. - Текст : непосредственный. Математическая логика и теория алгоритмов : выставочные материалы / Сост. Д. В. Ефимов, 2012. - 99 с. - Текст : непосредственный. Судоплатов С.В. Математическая логика и теория алгоритмов : учебное пособие / С. В. Судоплатов, Е. В. Овчинникова, 2008. - 224 с. - Текст : непосредственный. Романов В.Ф. Математическая логика и теория алгоритмов / В. Ф. Романов, 2003. - 23 с. - Текст : непосредственный. Галиев Ш.И. Математическая логика и теория алгоритмов / Ш. И. Галиев, 2004. - 333 с. - Текст : непосредственный. Хусаинов А.А. Математическая логика и теория алгоритмов / А. А. Хусаинов, Н. Н. Михайлова, 2005. - 96 с. - Текст : непосредственный. Орехов Ю.В. Математическая логика и теория алгоритмов : выставочные материалы / Ю. В. Орехов, Э. Ю. Орехов, 2013. - 243 с. - Текст : непосредственный. Гурова Л.М. Математическая логика и теория алгоритмов / Л. М. Гурова, Л. М. Шурова, Е. В. Зайцева, 2006. - 262 с. (Введено оглавление). - Текст : электронный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Лебедева А.П. Процессы и аппараты нефтегазовых технологий : выставочные материалы / А. П. Лебедева, 2014. - 124 с. - Текст : непосредственный. Шулюпин А.Н. Пароводяные течения на геотермальных промыслах / А. Н. Шулюпин, 2004. - 149 с. - Текст : непосредственный. Рычка И.А. Информатика и программирование : выставочные материалы / И. А. Рычка, 2014. - 230 с. - Текст : непосредственный. Наука, образование, инновации: пути развития : материалы Четвертой Всерос. науч.-практ. конф. (23-25 апр. 2013 г.). Ч. 2, 2013. - 213 с. - Текст : непосредственный. Заляева Г.О. Гидравлические машины и компрессоры : выставочные материалы / Г. О. Заляева, 2014. - 118 с. - Текст : непосредственный. Эффективность экономики прибрежных районов в условиях формирования территории опережающего развития : материалы временных коллективов / Камчатский гос. технический ун-т (Петропавловск-Камчатский), 2016. - 191 с. - Текст : непосредственный. Белов О.А. Судовые электроприводы. Основы теории и динамики переходных процессов : выставочные материалы / О. А. Белов, 2015. - 143 с. - Текст : непосредственный. Попова С.А. Экономика труда : выставочные материалы / С. А. Попова, 2015. - 168 с. - Текст : непосредственный. Благонравова М.В. Сырье и материалы отрасли : выставочные материалы / М. В. Благонравова, 2016. - 143 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Мир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный. Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный. Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный. Матросов В.Л. Теория алгоритмов / В. Л. Матросов, 1989. - 187 с. - Текст : непосредственный. Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 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. - Текст : непосредственный. HromkoviC J. Design and analysis of randomized algorithms / J. HromkoviC, 2005 r=on-line. - Текст : электронный. Овчинникова Е.В. Структурные свойства и полнота класса регулярных полигонов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Е. В. Овчинникова, 2000. - 12 с. - Текст : непосредственный. Герасимов А.С. Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. С. Герасимов, 2007. - 15 с. - Текст : непосредственный. Бабенко М.А. Введение в теорию алгоритмов и структур данных : выставочные материалы / М. А. Бабенко, М. В. Левин, 2016. - 139 с. - Текст : непосредственный. Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный. Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный. Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный. Волченков С.Г. Методы построения эффективных алгоритмов / С. Г. Волченков, Ю. В. Богомолов, 2004. - 125 с. - Текст : непосредственный. Алексеев В.Е. Графы. Модели вычислений. Структуры данных / В. Е. Алексеев, В. А. Таланов, 2005. - 307 с. - Текст : непосредственный. Никольская И.Л. Знакомство с математической логикой / И. Л. Никольская, 1998. - 128 с. - Текст : непосредственный. Подзоров С.Ю. Верхние полурешетки арифметических нумераций в арифметических m-степеней : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени д-ра физ.-мат. наук / С. Ю. Подзоров, 2010. - 18 с. - Текст : непосредственный. Первухин М.А. Теоретико-модельные свойства частично упорядоченных полигонов / М. А. Первухин, 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. - Текст : непосредственный. Показать все результаты Мир математики : в 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 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽