Приложение
для AndroidПолное описание
51/Б 603
Биккулов, Ильгиз Мидехатович. Математическая логика для студентов технического вуза : учебное пособие / И. М. Биккулов, Т. В. Григорьева ; Министерство науки и высшего образования Российской Федерации, Уфимский государственный нефтяной технический университет, Институт химических технологий и инжиниринга УГНТУ в г. Стерлитамаке. - Уфа : Нефтегазовое дело, 2024. - 123 с. : ил. - Библиогр.: с. 122 (6 назв.). - 100 экз. - 250 р. - Текст (визуальный) : непосредственный.
| ГРНТИ | УДК | |
| 27.03.19 | 510.6 |
Рубрики:
Кл.слова (ненормированные): исчисление высказываний -- булевы функции -- формулы -- двойственность -- нормальные формы -- полнота
Аннотация: Пособие включает в себя основные теоретические положения и методические указания, необходимые для решения типовых задач и выполнения тестовых заданий, предусмотренных программой курса "09.03.02 Информационные системы и технологии. Дисциплина - (232) Математическая логика и теория алгоритмов" для студентов очного и заочного отделений технических вузов, обучающихся по направлению подготовки 15.03.04 "Автоматизация технологических процессов и производств", 27.03.04 "Управление в технических системах", 21.05.06 "Нефтегазовые техника и технологии", 09.03.02 "Информационные системы и технологии". Книга предназначена преподавателям для проведения теоретических и практических занятий со студентами, изучающими математическую логику, а также для использования студентами всех форм обучения и аспирантами при выполнении контрольных, практических и лабораторных работ.
Доп. точки доступа:
Григорьева, Тамара Владимировна
Уфимский государственный нефтяной технический университет. Институт химических технологий и инжиниринга
Имеются экземпляры в отделах: всего 3 : ХРЦ (2), ФО18 (1)
Свободны: ХРЦ (2)
Экз.Э25-6506б (ФО18) занят;
Обложка
Кулакова, Екатерина Сергеевна. Основы моделирования самоорганизующихся систем для студентов технических вузов : учебное пособие / Е. С. Кулакова, Т. В. Григорьева, Е. А. Муравьева, 2021. - 121 с. - Текст (визуальный) : непосредственный.Григорьева, Тамара Владимировна. Дифференциальное исчисление функции нескольких переменных для студентов технического вуза : учебное пособие / Т. В. Григорьева, Н. С. Шулаев, Е. А. Муравьева, 2022. - 73 с. - Текст (визуальный) : непосредственный.Григорьева, Тамара Владимировна. Дифференциальное исчисление функции одной переменной для студентов технического вуза : учебное пособие / Т. В. Григорьева, Н. С. Шулаев, Е. А. Муравьева, 2022. - 84 с. - Текст (визуальный) : непосредственный.Интегральное исчисление функции одной переменной для студентов технического вуза : учебное пособие / Т. В. Григорьева, И. М. Биккулов, Е. А. Муравьева, Е. С. Кулакова, 2023. - 99 с. - Текст (визуальный) : непосредственный.Биккулов, Ильгиз Мидехатович. Математическая логика для студентов технического вуза : учебное пособие / И. М. Биккулов, Т. В. Григорьева, 2024. - 123 с. - Текст (визуальный) : непосредственный.Григорьева, Тамара Владимировна. Интегральное исчисление функции нескольких переменных для студентов технического вуза : учебное пособие / Т. В. Григорьева, Е. А. Муравьева, Е. С. Кулакова, 2024. - 79 с. - Текст (визуальный) : непосредственный.Биккулов, Ильгиз Мидехатович. Теория алгоритмов для студентов технического вуза : учебное пособие / И. М. Биккулов, Т. В. Григорьева, 2024. - 129 с. - Текст (визуальный) : непосредственный.Белобородова, Татьяна Геннадиевна. Статистические методы обработки экспериментальных данных в технических задачах : коллективная монография / Т. Г. Белобородова, Т. В. Григорьева, Ю. Ф. Коваленко, 2024. - 88 с. - Текст (визуальный) : непосредственный.Биккулов, Ильгиз Мидехатович. Методы математического моделирования технологического оборудования для студентов технического вуза : учебное пособие / И. М. Биккулов, Т. В. Григорьева, О. А. Морозова, 2025. - 87 с. - Текст (визуальный) : непосредственный.Григорьева, Тамара Владимировна. Криволинейные, поверхностные интегралы и их приложения : учебное пособие / Т. В. Григорьева, Е. А. Муравьева, Е. С. Кулакова, 2025. - 67 с. - Текст (визуальный) : непосредственный.
Башкирский химический журнал / Уфимский государственный нефтяной технический университет. - Журнал выходит с 1993г. - Текст : непосредственный.Электротехнические и информационные комплексы и системы : журнал / Уфимский государственный нефтяной технический университет. - Журнал выходит с 2006г. - Текст : непосредственный.Нефтегазовое дело : научно-технический журнал / Уфимский государственный нефтяной технический университет. - Журнал выходит с 2004г. - Текст : непосредственный.Актуальные проблемы технических, естественных и гуманитарных наук / Уфимский государственный нефтяной технический университет. Вып. 4 : Материалы Международной научно-технической конференции, 20-21 мая 2009 г., 2009. - 381 с. - Текст : непосредственный.Наука. Образование. Экономика. Серия: Экономика : журнал / Уфимский государственный нефтяной технический университет. - Журнал выходит с 2012г. - Текст : непосредственный.Актуальные проблемы технических, естественных и гуманитарных наук / Уфимский государственный нефтяной технический университет. Вып. 5 : Материалы Международной научно-технической конференции, 27-28 мая 2010 г., 2010. - 378 с. - Текст : непосредственный.Экономика и управление : научно-практический журнал / Башкирская академия государственной службы и управления при Главе Республики Башкортостан (Уфа), Уфимский государственный нефтяной технический университет. - Журнал выходит с 1994г. - Текст : непосредственный.Проблемы сбора, подготовки и транспорта нефти и нефтепродуктов : научно-технический журнал / Уфимский государственный нефтяной технический университет. - Журнал выходит с 2007г. - Текст : непосредственный.Механика системы "колонна - скважина - пласт" : серия : [в 12 т.] / Уфимский государственный нефтяной технический университет. Т. 1 : Эксплуатация, расчет и проектирование бурильных колонн и их элементов : монографиякн. 2. Расчеты и проектирование бурильных колонн и их элементов / А. Ш. Янтурин, 2014. - 234 с. - Текст : непосредственный.Механика системы "колонна - скважина - пласт" : серия : [в 12 т.] / Уфимский государственный нефтяной технический университет. Т. 1 : Эксплуатация, расчет и проектирование бурильных колонн и их элементов : монографиякн. 1. Эксплуатация, статика и динамика бурильных колонн / А. Ш. Янтурин, 2014. - 326 с. - Текст : непосредственный.Актуальные проблемы технических, естественных и гуманитарных наук / Уфимский государственный нефтяной технический университет. Вып. 8 : Материалы Международной научно-технической конференции, 20 ноября 2014 г. / [редкол.: М. М. Фаттахов (отв. ред.) и др.], 2014. - 189 с.Вестник экономики и менеджмента : научный журнал / Уфимский государственный нефтяной технический университет. - Журнал выходит с 2015г. - Текст : непосредственный.Проблемы и тенденции развития инновационной экономики: международный опыт и российская практика : материалы VI Международной научно-практической конференции, 31 октября 2017 года : [в 2 т.] / Уфимский государственный нефтяной технический университет. Т. 2, 2017. - 206 с.Проблемы и тенденции развития инновационной экономики: международный опыт и российская практика : материалы VI Международной научно-практической конференции, 31 октября 2017 года : [в 2 т.] / Уфимский государственный нефтяной технический университет. Т. 1, 2017. - 305 с.Актуальные направления научных исследований в области экономики, финансов и учета: от теории к практике : [сборник] / Уфимский государственный нефтяной технический университет. Вып. 4 : Материалы IV Всероссийской заочной интернет-конференции : 19-20 апреля 2017 года / [редкол.: Т. Б. Лейберт (отв. ред.) и др.], 2017. - 199 с.Корпоративные информационные системы : учебное пособие / К. Ф. Коледина [и др.], 2017. - 70 с.Мамателашвили О.В. Экономическая безопасность : учебное пособие / О. В. Мамателашвили, 2017. - 79 с.Математическая статистика : учебное пособие / Р. Н. Бахтизин [и др.], 2016. - 92 с.Библиотека студента УГНТУ. Серия: Молекулы и реакции : учебное пособие / под общ. ред. С. С. Злотского ; Уфимский государственный нефтяной технический университет . Вып. 8 : Сера : [в 2 ч.]ч. 1. Неорганические соединения серы / Н. Н. Михайлова, И. Н. Сираева, 2017. - 70 с.Аминова Г.К. Химия углеводородов : учебное пособие / Г. К. Аминова, Д. В. Недопекин, А. Р. Маскова, 2016. - 41 с.
Показать все результатыФедоряев С.Т. Структурные свойства алгебраической сводимости конструктивизаций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. Т. Федоряев, 1991. - 11 с. - Текст : непосредственный.Хасидашвили З.О. Системы редукции форм и редукции сокращенных форм и -термов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / З. О. Хасидашвили, 1991. - 14 с. - Текст : непосредственный.Судоплатов С.В. Базируемость стабильных теорий и свойства счетных моделей с мощными типами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. В. Судоплатов, 1990. - 13 с. - Текст : непосредственный.Важенин Ю.М. Критические теории первого порядка : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук: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 / Н. Х. Касымов, 1993. - 16 с. - Текст : непосредственный.Архангельский Д.А. Информационные логики : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / Д. А. Архангельский, 1993. - 16 с. - Текст : непосредственный.Венцов Ю.Г. Условия эффективности выбора в теории конструктивных моделей : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.06 / Ю. Г. Венцов, 1994. - 20 с. - Текст : непосредственный.Победин Л.Н. Теория вычислений с двуместными оракулами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Л. Н. Победин, 1993. - 10 с. - Текст : непосредственный.Пантелеев В.И. Полиномиальные разложения конечнозначных функций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / В. И. Пантелеев, 1994. - 14 с. - Текст : непосредственный.Белеградек О.В. Теория моделей унитреугольных и экзистенциально замкнутых групп : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / О. В. Белеградек, 1995. - 32 с. - Текст : непосредственный.Хомич В.И. Проблема отделимости в пропозициональных исчислениях : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17 / В. И. Хомич, 1995. - 27 с. - Текст : непосредственный.Машурян А.С. Исследование рекурсивных схем на конечных моделях некоторых нетрадиционных арифметических теорий : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / А. С. Машурян, 1995. - 14 с. - Текст : непосредственный.Ешкеев А.Р. Ионсоновские теории : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:01.01.06 / А. Р. Ешкеев, 1995. - 17 с. - Текст : непосредственный.Кудинов О.В. Автоустойчивость конструктивных моделей : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / О. В. Кудинов, 1995. - 12 с. - Текст : непосредственный.Бабенышев С.В. Исследования допустимых правил в нестандартных логиках : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. В. Бабенышев, 1995. - 13 с. - Текст : непосредственный.Конев Б.Ю. Оценки высоты термов в наиболее общем унификаторе : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / Б. Ю. Конев, 1999. - 15 с. - Текст : непосредственный.Сидон Т.Л. Динамические логики доказательств с оператором доказуемости : Автореферат диссертации на соискание ученой степени канд.физ.-мат. наук:01.01.06 / Т. Л. Сидон, 1997. - 12 с. - Текст : непосредственный.
Показать все результатыКудинов О.В. Автоустойчивость конструктивных моделей : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / О. В. Кудинов, 1995. - 12 с. - Текст : непосредственный.Алаев П.Е. Определимость в итерированных расширениях : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / П. Е. Алаев, 1998. - 9 с. - Текст : непосредственный.Золотых Н.Ю. Расшифровка пороговых и близких к ним функций многозначной логики : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.17 / Н. Ю. Золотых, 1998. - 12 с. - Текст : непосредственный.Беклемишев Л.Д. Схемы рефлексии в формальной арифметике : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.06 / Л. Д. Беклемишев, 1998. - 19 с. - Текст : непосредственный.Селезнева С.Н. О свойствах полиномов над конечными полями и об алгоритмической сложности распознавания свойств функций многозначных логик, представленных полиномами : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.09 / С. Н. Селезнева, 2000. - 14 с. - Текст : непосредственный.Овчинникова Е.В. Структурные свойства и полнота класса регулярных полигонов : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / Е. В. Овчинникова, 2000. - 12 с. - Текст : непосредственный.Бунина Е.И. Элементарная эквивалентность линейных и алгебраических групп : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Е. И. Бунина, 2001. - 12 с. - Текст : непосредственный.Ромина А.В. Автоустойчивость и представимость моделей в допустимых множествах : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :01.01.06 / А. В. Ромина, 2001. - 8 с. - Текст : непосредственный.Вербовский В.В. Свойства функций, определяемых в структурах с условиями минимальности семейств формульных подмножеств : автореф. дис. .. канд. физ.-мат. наук : 01.01.06 / В. В. Вербовский, 2002. - 15 с. - Текст : непосредственный.Степанова А.А. Теоретико-модельные свойства полигонов : автореф. дис. .. д-ра физ.-мат. наук : 01.01.06 / А. А. Степанова, 2003. - 21 с. - Текст : непосредственный.Eijck D.J.van Dynamic modal predicate logic / D.J.van Eijck,G.Cepparello, 1992. - 19 p. - Текст : непосредственный.Benthem J.van Modal logic,transition systems and processes / J.van Benthem,D.J.N.van Eijck,V.Stebletsova, 1993. - 43 p. - Текст : непосредственный.Прикладные нечеткие системы / К.Асаи,Д.Ватада,С.Иваи и др.;Под ред.Т.Тэрано и др.; Пер.с яп.Ю.Н.Чернышова, 1993. - 368 c. - Текст : непосредственный.Maanen H.A.N.van Axioms for No-categorical orderings / H.A.N.van Maanen, 1994. - 9 p. - Текст : непосредственный.Ben-Shalom D. A path-based variable-free system for predicate logic / D.Ben-Shalom, 1994. - 12 p. - Текст : непосредственный.Blackburn P. The algebra of modal logic / P.Blackburn,M.de Rijke,Y.Venema, 1994. - 61 p. - Текст : непосредственный.Нагорный Н.М. К вопросу о непротиворечивости классической формальной арифметики / Н.М.Нагорный, 1995. - 25 c. - Текст : непосредственный.Wygralak M. Vaguely defined objects / M.Wygralak, 1996. - XIV,265 p. p. - Текст : непосредственный.Карпенко А.С. Многозначные логики / А.С.Карпенко, 1997. - 223 с. - Текст : непосредственный.Яблонский С.В. Предполные классы в многозначных логиках : Учеб. пособие по курсу "Дискретная математика" / С.В.Яблонский,Г.П.Гаврилов,А.А.Набебин;Под ред.В.Н.Вагина, 1997. - 142 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽