Приложение
для AndroidПолное описание
51/И 269
Игошин, В. И. Задачи и упражнения по математической логике и теории алгоритмов : учеб. пособие для студентов высш. учеб. заведений / В.И. Игошин. - М. : Издат. центр Академия, 2005. - 303 с. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.: с. 301. - 2500 экз. - ISBN 5-7695-1364-0 : Б. ц. - Текст : непосредственный.
| ГРНТИ | УДК | |
| 27.03 | 510(076.1) |
Рубрики:
Математическая логика -- Учебники и пособия
Алгоритмы -- Учебники и пособия
Имеются экземпляры в отделах: всего 3 : ХР (2), ФО19 (1)
Свободны: ХР (2), ФО19 (1)
Заказаны экз-ры для отделов: ФО17, ФО18, ФО20, ФО24, ФО25, ФО26
Лабораторный практикум по общей и экспериментальной физике : Учеб. пособие для студентов вузов, обучающихся по спец. 032200 "Физика" / В. Н. Александров [и др.] ; Под ред. Е.М. Гершензона,А.Н.Мансурова, 2004. - 461 с. - Текст : непосредственный.Хотунцев Ю.Л. Экология и экологическая безопасность : Учеб. пособие / Ю.Л.Хотунцев, 2004. - 479 с. - Текст : непосредственный.Экологическое состояние территории России : Учеб. пособие для студентов вузов / В.П.Бондарев [и др.]; Под ред. С.А. Ушакова,Я.Г.Каца, 2004. - 128 с. - Текст : непосредственный.Могилев А.В. Информатика : Учеб. пособие / А. В. Могилев, Н. И. Пак, Е. К. Хеннер, 2004. - 841 с. - Текст : непосредственный.Математическая логика и теория алгоритмов : Учеб. пособие / В.И. Игошин, 2004. - 447 с. - Текст : непосредственный.Ипполитов Е.Г. Физическая химия : учебник / Е. Г. Ипполитов, А. В. Артемов, В. В. Батраков, 2005. - 448 с. - Текст : непосредственный.Задачи и упражнения по математической логике и теории алгоритмов : Учеб. пособие для студентов высш. учеб. заведений / В.И. Игошин, 2005. - 303 с. - Текст : непосредственный.Социология и психология управления : Учеб. пособие / Г.Л. Ильин, 2005. - 190 с.Высшая математика : Учеб. для студентов высших пед. учеб. заведений / И.И. Баврин, 2005. - 611 с. - Текст : непосредственный.Органическая химия : Учеб. пособие / В.Г. Иванов, В.А. Горленко, О.Н. Гева, 2005. - 621 с. - Текст : непосредственный.Практикум по информатике : Учеб. пособие для студентов вузов / А. В. Могилев, Н. И. Пак, Е. К. Хеннер, 2005. - 607 с. - Текст : непосредственный.Концепции современного естествознания : Учеб. пособие / А. А. Горелов, 2006. - 495 с. - Текст : непосредственный.Практикум по информатике / А. В. Могилев, Н. И. Пак, Е. К. Хеннер, 2006. - 607 с.Заенчик В.М. Основы творческо-конструкторской деятельности. Предметная среда и дизайн : учебник / В. М. Заенчик, А. А. Карачев, В. Е. Шмелев, 2006. - 315 с. - Текст : непосредственный.Задачи и упражнения по математической логике и теории алгоритмов : Учеб. пособие / В. И. Игошин, 2007. - 303 с. - Текст : непосредственный.Основы производства. Охрана труда : учеб. пособие / М. С. Петрова, С. Н. Вольхин, Ю. Л. Хотунцев, 2007. - 205 с. - Текст : непосредственный.Крючков Н.И. Сборник заданий по алгебре : Учеб. пособие / Н. И. Крючков, В. В. Крючкова, 2007. - 189 с. - Текст : непосредственный.Технические средства обучения и методика их использования : учебное пособие для студентов высш. пед. учеб. заведений / Г. М. Коджаспирова, К. В. Петров, 2007. - 351 с. - Текст : непосредственный.Информационные технологии в математике : Учеб. пособие для студентов высш. пед. учеб. заведений / М. И. Рагулина; под ред. М. П. Лапчика, 2008. - 301 с. - Текст : непосредственный.Аматова, Г. М. Математика : Учеб. пособие : в 2-х кн. Кн. 1(2008), 2008. - 249 с. - Текст : непосредственный.
Показать все результатыАхтямов Р.Б. Сложностные свойства индексных множеств : Автореферат диссертации на соискание ученой степени канд.физ-мат.наук:01.01.06 / Р. Б. Ахтямов, 1991. - 16 с. - Текст : непосредственный.Федоряев С.Т. Структурные свойства алгебраической сводимости конструктивизаций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. Т. Федоряев, 1991. - 11 с. - Текст : непосредственный.Заурбеков С.С. Оценки алгоритмической сложности некоторых семантических классов предложений : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. С. Заурбеков, 1991. - 10 с. - Текст : непосредственный.Хасидашвили З.О. Системы редукции форм и редукции сокращенных форм и -термов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / З. О. Хасидашвили, 1991. - 14 с. - Текст : непосредственный.Судоплатов С.В. Базируемость стабильных теорий и свойства счетных моделей с мощными типами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. В. Судоплатов, 1990. - 13 с. - Текст : непосредственный.Хисамиев Н.Г. Конструктивные абелевы группы : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / Н. Г. Хисамиев, 1990. - 24 с. - Текст : непосредственный.Морозов А.С. Группы вычислительных автоморфизмов : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / А. С. Морозов, 1990. - 15 с. - Текст : непосредственный.Вайценавичюс Р.Ю. Главные нумерации вычислимых функционалов на допустимых множествах : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Р. Ю. Вайценавичюс, 1991. - 11 с. - Текст : непосредственный.Важенин Ю.М. Критические теории первого порядка : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / Ю. М. Важенин, 1992. - 21 с. - Текст : непосредственный.Симонова И.Г. Доказуемостно-интуиционистская логика и ее расширения : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / И. Г. Симонова, 1992. - 16 с. - Текст : непосредственный.Любецкий В.А. Оценки и пучки теоремы переноса : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17;01.01.06 / В. А. Любецкий, 1991. - 34 с. - Текст : непосредственный.Омаров А.И. Р-формулы и булевы конструкции в теории моделей и универсальной алгебре : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / А. И. Омаров, 1992. - 19 с. - Текст : непосредственный.Белякин Н.В. Теория вычислений с оракулами и рекурсивных иерархий : Автореферат диссертации на соискание ученой степени д-ра физ-мат.наук:01.01.06 / Н. В. Белякин, 1992. - 23 с. - Текст : непосредственный.Касымов Н.Х. Рекурсивно отделимые нумерованные алгебры : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук:01.01.06 / Н. Х. Касымов, 1993. - 16 с. - Текст : непосредственный.Архангельский Д.А. Информационные логики : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / Д. А. Архангельский, 1993. - 16 с. - Текст : непосредственный.Венцов Ю.Г. Условия эффективности выбора в теории конструктивных моделей : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.06 / Ю. Г. Венцов, 1994. - 20 с. - Текст : непосредственный.Победин Л.Н. Теория вычислений с двуместными оракулами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Л. Н. Победин, 1993. - 10 с. - Текст : непосредственный.Пантелеев В.И. Полиномиальные разложения конечнозначных функций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / В. И. Пантелеев, 1994. - 14 с. - Текст : непосредственный.Чашкин А.В. О сложности булевых матриц : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / А. В. Чашкин, 1994. - 12 с. - Текст : непосредственный.Белеградек О.В. Теория моделей унитреугольных и экзистенциально замкнутых групп : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / О. В. Белеградек, 1995. - 32 с. - Текст : непосредственный.
Показать все результатыЛавров И.А. Задачи по теории множеств, математической логике и теории алгоритмов / И.А.Лавров,Л.Л.Максимова, 1995. - 255 c. - Текст : непосредственный.Никольская И.Л. Знакомство с математической логикой : Учеб.-метод. пособие / И.Л.Никольская, 1998. - 128 с. - Текст : непосредственный.Кузьмин О.В. Логические задачи : Учеб. пособие / О.В.Кузьмин, 1999. - 204 с. - Текст : непосредственный.Кусраев А.Г. Нерешенные нестандартные задачи / А.Г.Кусраев,С.С.Кутателадзе, 2000. - 19 с. - Текст : непосредственный.Лавров И.А. Задачи по теории множеств, математической логике и теории алгоритмов / И.А.Лавров,Л.Л.Максимова, 2001. - 255 с. - Текст : непосредственный.Лавров И.А. Задачи по теории множеств, математической логике и теории алгоритмов / И.А.Лавров,Л.Л.Максимова, 2002. - 255 с. - Текст : непосредственный.Романов В.Ф. Математическая логика и теория алгоритмов : Задачник / В.Ф.Романов, 2003. - 23 с. - Текст : непосредственный.Лавров И.А. Задачи по теории множеств, математической логике и теории алгоритмов / И.А.Лавров,Л.Л.Максимова, 2004. - 255 с. - Текст : непосредственный.Самойленко А.П. Математическая логика и теория алгоритмов в примерах и задачах : Учеб. пособие / А.П.Самойленко,О.А.Усенко;Под ред. Л.Ф.Беловой, 2004. - 258 с. - Текст : непосредственный.Задачи и упражнения по математической логике и теории алгоритмов : Учеб. пособие для студентов высш. учеб. заведений / В.И. Игошин, 2005. - 303 с. - Текст : непосредственный.Комбинаторные методы решения логических задач : Учеб. пособие / О. В. Кузьмин, 2006. - 189 с. - Текст : непосредственный.Задачи и упражнения по математической логике и теории алгоритмов : Учеб. пособие / В. И. Игошин, 2007. - 303 с. - Текст : непосредственный.Задачи по теории множеств, математической логике и теории алгоритмов / И. А. Лавров, Л. Л. Максимова, 2006. - 255 с. - Текст : непосредственный.Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов : учебное пособие / М. М. Глухов [и др.], 2008. - 111 с. - Текст : непосредственный.Задачи и упражнения по математической логике и теории алгоритмов : Учеб. пособие / В. И. Игошин, 2008. - 303 с. - Текст : непосредственный.Математическая логика и теория алгоритмов в примерах и задачах : Учеб. пособие для студентов специальностей 210100(220201), 072000 (200503), 210200 / Ю. И. Галушкина, 2009. - 112 с. - Текст : непосредственный.Кравченко А.В. Сборник задач по математической логике (исчисления предикатов, теория моделей, теория вычислимости) : учеб. пособие / А. В. Кравченко, О. В. Кудинов, 2014. - 75 с.Задачник-практикум по математической логике и дискретной математике : учеб. пособие / Е. В. Малютина [и др.], 2015. - 102 с.Ашаев И.В. Дискретная математика и математическая логика в задачах государственных экзаменов по математике в ОмГУ : учеб. пособие / И. В. Ашаев, Ю. М. Ашаева, 2016. - 121 с. - Текст : непосредственный.Задачи по математической логике и теории алгоритмов : учебное пособие / Ю. В. Елисеева [и др.], 2017. - 80 с.
Показать все результатыЗаказ фрагмента документа ₽