Приложение
для AndroidПолное описание
Кравченко, А. В. Сборник задач по математической логике (исчисления предикатов, теория моделей, теория вычислимости) : учеб. пособие / А. В. Кравченко, О. В. Кудинов ; Новосиб. гос. ун-т, Мех.-мат. фак., Каф. дискрет. математики и информатики. - Новосибирск : НГУ, 2014. - 75 с. - 200 экз. - ISBN 978-5-4437-0314-5 : Б. ц. - Текст : непосредственный.
| ГРНТИ | УДК | |
| 27.03.19 | 510(076.1) | |
| 03.91 |
Рубрики:
Математическая логика -- Учебники и пособия
Доп. точки доступа:
Кудинов, О.В.
Новосибирский гос. ун-т. Мех.-мат. факультет. Кафедра дискретной математики и информатики
Имеются экземпляры в отделах: всего 1 : ХРЦ (1)
Свободны: ХРЦ (1)
Исследование экономики России с использованием моделей с нечеткими параметрами / А. О. Баранов [и др.] ; отв. ред. А. О. Баранов, В. Н. Павлов, 2009. - 229 с. - Текст : непосредственный.Материалы 51-й Международной научной студенческой конференции "Студент и научно-технический прогресс". Информационные технологии : 12-18 апреля 2013 г. / Новосибирский гос. ун-т, 2013. - 271 с. - Текст : непосредственный.Городилова А.А. Криптография и криптоанализ. Сборник задач : учеб. пособие / А. А. Городилова, Н. Н. Токарева, Г. И. Шушуев, 2014. - 325 с.Максимова О.Д. Числовые ряды : учеб. пособие / О. Д. Максимова, 2014. - 91 с.Максимова О.Д. Неравенства и оценки в курсе математического анализа : учеб. пособие / О. Д. Максимова, 2014. - 179 с.Чернова Н.И. Математическая статистика : учеб. пособие / Н. И. Чернова, 2014. - 149 с.Исследования молодых ученых: экономическая теория, социология, отраслевая и региональная экономика : сб. ст. / под ред. О. В. Тарасовой, А. А. Горюшкина, 2014. - 403 с.Кравченко А.В. Сборник задач по математической логике (исчисления предикатов, теория моделей, теория вычислимости) : учеб. пособие / А. В. Кравченко, О. В. Кудинов, 2014. - 75 с.Буфетова Л.П. История экономики зарубежных стран (история рынков и рыночных институтов) : учеб. пособие / Л. П. Буфетова, 2014. - 218 с.Константинова Е.В. Комбинаторные задачи на графах Кэли : учеб. пособие / Е. В. Константинова, 2014. - 163 с. - Текст : непосредственный.Шапиро Д.А. Современные математические методы физики : учеб. пособие / Д. А. Шапиро, 2014. - 114 с. - Текст : непосредственный.Количественный элементный анализ органических веществ и материалов : учеб.-метод. пособие / Новосиб. гос. ун-т, 2014. - 89 с.Русские книги гражданской печати собрания Колывано-Воскресенских горных заводов в фонде ГПНТБ СО РАН : каталог / Новосиб. гос. ун-т, 2014. - 567 с.Вестник Новосибирского государственного университета. Серия: Математика, механика, информатика : науч. журн. Т. 14вып. 3, 2014. - 127 с.Байерс М. Международное право и Арктика / М. Байерс (при участии Д. Бейкера) ; пер. с англ. С. Г. Проскурина [и др.], 2014. - 351 с.Химия : материалы секции : материалы 53-й междунар. науч. студен. конф. МНСК-2015, 11-17 апр. 2015 г., Новосибирск, 2015. - 190 с. - Текст : непосредственный.Транспорт : материалы секции : материалы 53-й междунар. науч. студен. конф. МНСК-2015, 11-17 апр. 2015 г., Новосибирск, 2015. - 87 с. - Текст : непосредственный.Мехатроника и автоматизация : материалы секции : материалы 53-й междунар. науч. студен. конф. МНСК-2015, 11-17 апр. 2015 г., Новосибирск, 2015. - 98 с. - Текст : непосредственный.Физические методы в естественных науках : материалы секции : материалы 53-й междунар. науч. студен. конф. МНСК-2015, 11-17 апр. 2015 г., Новосибирск, 2015. - 93 с.Квантовая физика : материалы секции : материалы 53-й междунар. науч. студен. конф. МНСК-2015, 11-17 апр. 2015 г., Новосибирск, 2015. - 112 с. - Текст : непосредственный.
Показать все результатыФедоряев С.Т. Структурные свойства алгебраической сводимости конструктивизаций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. Т. Федоряев, 1991. - 11 с. - Текст : непосредственный.Хасидашвили З.О. Системы редукции форм и редукции сокращенных форм и -термов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / З. О. Хасидашвили, 1991. - 14 с. - Текст : непосредственный.Имамов Т.Т. Специализированная система аналитических преобразований для вариационных задач механики : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Т. Т. Имамов, 1991. - 17 с. - Текст : непосредственный.Романов С.Л. Закономерности структуры педогеохимических полей азота,фосфора и калия в ландшафтных системах Белоруссии : Автореферат диссертации на соискание ученой степени канд.геогр.наук:11.00.01 / С. Л. Романов, 1991. - 20 с. - Текст : непосредственный.Судоплатов С.В. Базируемость стабильных теорий и свойства счетных моделей с мощными типами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. В. Судоплатов, 1990. - 13 с. - Текст : непосредственный.Птичников А.В. Динамика опустынивания ландшафтов Приаралья за последние 15 лет (с использованием космических методов исследования) : Автореферат диссертации на соискание ученой степени канд.геогр.наук:11.00.11 / А. В. Птичников, 1991. - 27 с. - Текст : непосредственный.Важенин Ю.М. Критические теории первого порядка : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / Ю. М. Важенин, 1992. - 21 с. - Текст : непосредственный.Симонова И.Г. Доказуемостно-интуиционистская логика и ее расширения : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / И. Г. Симонова, 1992. - 16 с. - Текст : непосредственный.Любецкий В.А. Оценки и пучки теоремы переноса : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17;01.01.06 / В. А. Любецкий, 1991. - 34 с. - Текст : непосредственный.Омаров А.И. Р-формулы и булевы конструкции в теории моделей и универсальной алгебре : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / А. И. Омаров, 1992. - 19 с. - Текст : непосредственный.Филатова Е.В. Формы аккумуляции тяжелых металлов в ландшафтно-геохимических условиях Восточно-Европейского сектора Субарктики : Автореферат диссертации на соискание ученой степени канд.геогр.наук:11.00.01 / Е. В. Филатова, 1992. - 16 с. - Текст : непосредственный.Коробова Е.М. Медь,кобальт и йод в природных ландшафтах Нечерноземной зоны Русской равнины : Автореферат диссертации на соискание ученой степени канд.геогр.наук:11.00.01 / Е. М. Коробова, 1992. - 23 с. - Текст : непосредственный.Самонов А.Е. Геохимия урана и его спутников в содовых мерзлотных ландшафтах:На прим.Витимского плоскогорья : Автореферат диссертации на соискание ученой степени канд.геол.-минералог.наук:04.00.02 / А. Е. Самонов, 1993. - 25 с. - Текст : непосредственный.Касымов Н.Х. Рекурсивно отделимые нумерованные алгебры : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук:01.01.06 / Н. Х. Касымов, 1993. - 16 с. - Текст : непосредственный.Анализ проблем контакта с применением техники SGRA / ВЦП. - 4 c. - Текст : непосредственный.Архангельский Д.А. Информационные логики : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / Д. А. Архангельский, 1993. - 16 с. - Текст : непосредственный.Венцов Ю.Г. Условия эффективности выбора в теории конструктивных моделей : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.06 / Ю. Г. Венцов, 1994. - 20 с. - Текст : непосредственный.Победин Л.Н. Теория вычислений с двуместными оракулами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Л. Н. Победин, 1993. - 10 с. - Текст : непосредственный.Пантелеев В.И. Полиномиальные разложения конечнозначных функций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / В. И. Пантелеев, 1994. - 14 с. - Текст : непосредственный.Семенко Т.И. Моделирование взаимосвязи процессов насыщенной и ненасыщенной фильтрации : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.16 / Т. И. Семенко, 1994. - 12 с. - Текст : непосредственный.
Показать все результатыЛавров И.А. Задачи по теории множеств, математической логике и теории алгоритмов / И.А.Лавров,Л.Л.Максимова, 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 с.
Показать все результатыЗаказ фрагмента документа ₽