Полное описание
>
Тюрин, С. Ф. Дискретная математика: практическая дискретная математика и математическая логика : учеб. пособие / С. Ф. Тюрин, Ю. А. Аляев. - М. : Финансы и статистика : Инфра-М, 2010 (Тверь). - 382 с. : ил. - Библиогр.: с. 382 (15 назв.). - 1500 экз. - ISBN 978-5-279-03463-5. - ISBN 978-5-16-004381-4 : Б. ц. - Текст : непосредственный.
| ГРНТИ | УДК | |
| 27.01.33 | 51"735"(076.5) | |
| 27.03.19 | 510(076.5) | |
| 03.91 |
Рубрики:
Конечная математика -- Учебники и пособия
Математическая логика -- Учебники и пособия
Доп. точки доступа:
Аляев, Ю.А.
>
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Федоряев С.Т. Структурные свойства алгебраической сводимости конструктивизаций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук: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. - Текст : непосредственный.Азвелев П.П. Сборник задач и упражнений по дискретной математике / П.П.Азвелев, 1994. - 63 c. - Текст : непосредственный.Москинова, Г. И. Дискретная математика в примерах и упражнениях : Учеб.пособие. Ч. 2 : Общая алгебра. Теория алгоритмов. Теория графов, 1993. - 83 с. - Текст : непосредственный.Колдашев А.М. Числа. Множества. Математическая логика : Учеб. пособие / А.М.Колдашев, 1997. - 55 с. - Текст : непосредственный.Воротников С.М. Практикум по введению в математическую логику : Учеб. пособие для студентов техн. вузов / С. М. Воротников, В. А. Егоров, Л. Н. Матюшенко, 1998. - 74 с. - Текст : непосредственный.Никольская И.Л. Знакомство с математической логикой : Учеб.-метод. пособие / И.Л.Никольская, 1998. - 128 с. - Текст : непосредственный.Мещанинов Д.Г. Учебное пособие по курсу Дискретная математика. Дискретная математика в примерах и задачах / Д.Г.Мещанинов,Л.И.Лященко, 1991. - 88 с. - Текст : непосредственный.Odyniec W. Matematyka dyskretna : Zbior zadan / W.Odyniec,D.Szkudlarski, 1999. - 128 s. - Текст : непосредственный.Алгебра с приложениями к аналитической геометрии и дискретная математика в примерах и задачах : Учеб. пособие / Л.Н.Журбенко,Г.А.Никонова,О.М.Дегтярева и др., 1998. - 76 с. - Текст : непосредственный.Лыскова В.Ю. Логика в информатике / В.Ю.Лыскова,Е.А.Ракитина, 1999. - 141 с. - Текст : непосредственный.Кузьмин О.В. Логические задачи : Учеб. пособие / О.В.Кузьмин, 1999. - 204 с. - Текст : непосредственный.Лавров И.А. Задачи по теории множеств, математической логике и теории алгоритмов / И.А.Лавров,Л.Л.Максимова, 2001. - 255 с. - Текст : непосредственный.Бобков Н.К. Задачи по дискретной математике : Учеб. пособие для студентов вузов по направлениям: "Информатика и вычисл. техника", "Информ. системы" / Н.К.Бобков, 2001. - 81 с. - Текст : непосредственный.Зарецкая М.А. Сборник задач по дискретной математике : Учеб. пособие / М. А. Зарецкая, Н. А. Мочалкина, А. С. Файнштейн, 2001. - 62 с. - Текст : непосредственный.Горбатов, В. А. Дискретная математика в задачах и упражнениях : Учеб.пособие для студентов спец."Системы автоматизир.проектирования". Ч. 3, 1989. - 134 с. - Текст : непосредственный.Лавров И.А. Задачи по теории множеств, математической логике и теории алгоритмов / И.А.Лавров,Л.Л.Максимова, 2002. - 255 с. - Текст : непосредственный.Эвнин А.Ю. Задачник по дискретной математике / А.Ю.Эвнин, 2002. - 164 с. - Текст : непосредственный.Гончарова Г.А. Элементы дискретной математики : Учеб. пособие для студентов сред.проф.образования / Г.А.Гончарова,А.А.Мочалин, 2003. - 127 с. - Текст : непосредственный.Дискретная математика. Реализация переключательных функций в универсальных базисах : Учебное пособие / А.В.Крайников,Л.А.Чугунов,Г.И.Степашкин,В.С.Фомичев, 2002. - 87 с. - Текст : непосредственный.Романов В.Ф. Математическая логика и теория алгоритмов : Задачник / В.Ф.Романов, 2003. - 23 с. - Текст : непосредственный.
Показать все результатыВоротников С.М. Практикум по введению в математическую логику : Учеб. пособие для студентов техн. вузов / С. М. Воротников, В. А. Егоров, Л. Н. Матюшенко, 1998. - 74 с. - Текст : непосредственный.Дискретная математика: практическая дискретная математика и математическая логика : учеб. пособие / С. Ф. Тюрин, Ю. А. Аляев, 2010. - 382 с. - Текст : непосредственный.Остапович, М. В. Математическая логика и теория алгоритмов. Практикум : учебное пособие. Ч. 1, 2017. - 115 с. - Текст : непосредственный.Авдеюк, Оксана Алексеевна. Практическое руководство к выполнению контрольных работ для студентов безотрывных форм обучения по курсам "Математическая логика и теория алгоритмов" и "Дискретная математика" : учебно-методическое пособие / О. А. Авдеюк, П. О. Медакин, 2021. - 66, [1] с. - Текст (визуальный) : непосредственный.Иванова, Надежда Николаевна. Математическая логика : практикум / Н. Н. Иванова, Н. А. Галанина, 2022. - 87, [1] с. - Текст : непосредственный.
Заказ фрагмента документа ₽