Полное описание
> Игошин, В. И. Задачи и упражнения по математической логике и теории алгоритмов : учеб. пособие / В. И. Игошин. - 4-е изд., стер. - М. : Академия, 2008 (Саратов). - 303 с. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.: с. 301 (22 назв.). - 1500 экз. - ISBN 978-5-7695-5272-4. - Текст : непосредственный.
ГРНТИ УДК 27.03 510(076.1)
Рубрики: Математическая логика -- Учебники и пособия
Алгоритмы -- Учебники и пособия
Кл.слова (ненормированные): АЛГОРИТМ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ПОСОБИЕ -- УЧЕБНИК -- учебник -- пособие
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д9-08/50016)>
Шифр в сводном ЭК: 5c2ec1dc0f0dce395bfdb423b5eda83e
Игошин В.И. Математическая логика и теория алгоритмов : учебное пособие / В. И. Игошин, 2008. - 447 с. - Текст : непосредственный. Теоретический и численный анализ напряжений в модели лазерной закалки сталей / И. В. Шишковский, И. Н. Завестовская, В. И. Игошин, А. Ф. Федичев, 1990. - 41 с. - Текст : непосредственный. Игошин В.И. Электростатическая модель оптического пробоя газодисперсных сред в условиях острой фокусировки импульсного ИК лазерного излучения : препринт / В. И. Игошин, В. А. Катулин, Р. Р. Летфуллин, 1991. - 39 с. - Текст : непосредственный. Игошин В.И. HF-лазер на термо- и фотонно-разветвленных цепных реакциях, инициируемых ИК лазерным излучением / В. И. Игошин, С. Ю. Пичугин, И. Л. Стукалина, 2001. - 24 с. - Текст : непосредственный. Игошин В.И. Десять лекций по геометрии / В. И. Игошин, 2010. - 176 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Игошин В.И. Элементы математической логики : учебник / В. И. Игошин, 2018. - 331, [1] с. - Текст : непосредственный. Современный вуз: формирование дополнительных компетенций педагогов / Р. М. Шамионов [и др.]; под редакцией С. Б. Венига, 2018. - 235 с. - Текст : непосредственный. Игошин В.И. Теория алгоритмов : учеб. пособие / В. И. Игошин, 2013. - 316 с. - Текст : непосредственный. Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов : Учеб. пособие для студентов высш. учеб. заведений / В.И. Игошин, 2005. - 303 с. - Текст : непосредственный. Игошин В.И. Математическая логика и теория алгоритмов : Учеб. пособие для физ.-мат. спец. пед. ин-тов / В.И.Игошин, 1991. - 257 с. - Текст : непосредственный. Игошин В.И. Математическая логика как педагогика математики / В. И. Игошин, 2009. - 359 с. - Текст : непосредственный. Игошин В.И. Основы теории алгоритмов : лекции для студентов, изучающих информатику и информ. технологии: учеб. пособие / В. И. Игошин, 2008. - 97 с. - Текст : непосредственный. Игошин В.И. Элементы математической логики : учебник / В. И. Игошин, 2017. - 314 с. - Текст : непосредственный. Игошин В.И. Моделирование H2-F2 - усилителя на фотонно-разветвленной цепной реакции с помощью уравнений переноса излучения / В.И.Игошин,С.Ю.Пичугин, 1990. - 9 с. - Текст : непосредственный. Игошин В.И. Математическая логика и теория алгоритмов : Учеб. пособие / В. И. Игошин, 2010. - 447 с. - Текст : непосредственный. Показать все результаты Аматова Г.М. Математика : Учеб. пособие : в 2-х кн. Кн. 1(2008), 2008. - 249 с. - Текст : непосредственный. Аматова Г.М. Математика : Учеб. пособие : в 2-х кн. Кн. 2(2008), 2008. - 237 с. - Текст : непосредственный. Андреева Н.Д. Теория и методика обучения экологии : учебное пособие / Н. Д. Андреева, В. П. Соломин, Т. В. Васильева, 2009. - 204 с. - Текст : непосредственный. Крутик А.Б. Основы предпринимательской деятельности : учебное пособие / А. Б. Крутик, М. В. Решетова, 2010. - 315 с. - Текст : непосредственный. Экологическое состояние территории России / В. П. Бондарев, Л. Д. Долгушин, Б. С. Залогин, Я. Г. Кац ; Ред. С. А. Ушаков, 2004. - 128 с. - Текст : непосредственный. Рагулина М.И. Информационные технологии в математике : учебное пособие / М. И. Рагулина, 2008. - 301 с. - Текст : непосредственный. Могилев А.В. Информатика : учебное пособие / А. В. Могилев, Н. И. Пак, Е. К. Хеннер, 2008. - 841 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Иванов В.Г. Органическая химия : учеб. пособие / В. Г. Иванов, В. А. Горленко, О. Н. Гева, 2009. - 621 с. - Текст : непосредственный. Показать все результаты Мир математики : в 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 с. - Текст : непосредственный. Показать все результаты Лавров И.А. Задачи по теории множеств, математической логике и теории алгоритмов / И. А. Лавров, Л. Л. Максимова, 2006. - 255 с. - Текст : непосредственный. Никольская И.Л. Знакомство с математической логикой / И. Л. Никольская, 1998. - 128 с. - Текст : непосредственный. Кусраев А.Г. Нерешенные нестандартные задачи / А. Г. Кусраев, С. С. Кутателадзе, 2000. - 19 с. - Текст : непосредственный. Романов В.Ф. Математическая логика и теория алгоритмов / В. Ф. Романов, 2003. - 23 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов : Учеб. пособие для студентов высш. учеб. заведений / В.И. Игошин, 2005. - 303 с. - Текст : непосредственный. Задачи по математической логике и теории алгоритмов : учебное пособие / Ю. В. Елисеева [и др.], 2017. - 80 с. - Текст : непосредственный. Глухов М. М. Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов : учебное пособие / М. М. Глухов [и др.], 2008. - 111 с. - Текст : непосредственный. Кузьмин О.В. Комбинаторные методы решения логических задач : Учеб. пособие / О. В. Кузьмин, 2006. - 189 с. - Текст : непосредственный. Лавров И.А. Задачи по теории множеств, математической логике и теории алгоритмов / И.А.Лавров,Л.Л.Максимова, 2002. - 255 с. - Текст : непосредственный. Галушкина Ю.И. Математическая логика и теория алгоритмов в примерах и задачах : Учеб. пособие для студентов специальностей 210100(220201), 072000 (200503), 210200 / Ю. И. Галушкина, 2009. - 112 с. - Текст : непосредственный. Кузьмин О.В. Логические задачи : Учеб. пособие / О.В.Кузьмин, 1999. - 204 с. - Текст : непосредственный. Кравченко А.В. Сборник задач по математической логике (исчисления предикатов, теория моделей, теория вычислимости) : учеб. пособие / А. В. Кравченко, О. В. Кудинов, 2014. - 75 с. - Текст : непосредственный. Ашаев И.В. Дискретная математика и математическая логика в задачах государственных экзаменов по математике в ОмГУ : учеб. пособие / И. В. Ашаев, Ю. М. Ашаева, 2016. - 121 с. - Текст : непосредственный. Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов : Учеб. пособие / В. И. Игошин, 2008. - 303 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽