Приложение
для AndroidПолное описание
Иванисова, О. В. Математическая логика. Алгебра высказываний : учеб. пособие / О. В. Иванисова, И. В. Сухан, Г. Г. Кравченко ; Куб. гос. ун-т. - Краснодар : Изд.-полигр. центр Куб. гос. ун-та, 2017. - 129 с. - Библиогр.: с. 128 (8 назв.). - 100 экз. - ISBN 978-5-8209-1359-4 : 200 р. - Текст : непосредственный.
| ГРНТИ | УДК | |
| 27.03.19 | 510.633 |
Рубрики:
Математическая логика
Доп. точки доступа:
Сухан, И.В.
Кравченко, Г.Г.
Кубанский гос. ун-т (Краснодар)
Имеются экземпляры в отделах: всего 1 : ХРЦ (1)
Свободны: ХРЦ (1)
Политология в терминах и понятиях : Словарь-справ. / Кубанский гос. ун-т (Краснодар), 1993. - 97 c. - Текст : непосредственный.Практикум по микроэкономике / Кубан. гос. ун-т, 1997. - 97 с. - Текст : непосредственный.Экономика.Управление.Право : Науч.-образоват.журн. / Кубанский гос.ун-т. - Журнал выходит с 19г.Природопользование : словарь-справочник / Кубанский гос. ун-т (Краснодар), 2007. - 230 с. - Текст : непосредственный.Формирование территориальной рекреационной системы в предгорно-горных районах: некоторые аспекты исследований / Кубан. гос. ун-т, 2008. - 226 с. - Текст : непосредственный.Развитие сети центров коллективного пользования научным оборудованием : материалы всерос. конф., Краснодар, 12-18 окт. 2008 г. / Кубанский гос. ун-т (Краснодар), 2008. - 94 с. - Текст : непосредственный.Актуальные вопросы экологии и охраны природы экосистем южных регионов России и сопредельных территорий : материалы XXI Межресп. науч.-практ. конф., г. Краснодар, 21 мая 2008 г. / Кубанский гос. ун-т (Краснодар), 2008. - 164 с. - Текст : непосредственный.Геологический вестник Кубанского государственного университета / Кубанский гос. ун-т. - Журнал выходит с 2009г.Международная экономика / Куб. гос. ун-т; под науч. ред. А. В. Ишханова. Вып. 1 / А. В. Ишханов [и др.], 2010. - 530 с. - Текст : непосредственный.Аналитическая хроматография и капиллярный электрофорез : материалы Всерос. конф., Краснодар, 26 сент. - 01 окт. 2010 г. / Кубанский гос. ун-т (Краснодар), 2010. - 279 с. - Текст : непосредственный.Актуальные проблемы экологии, экономики, социологии и пути их решения : материалы 14-й Междунар. науч.-практ. конф., Краснодар. край, пос. Шепси, 20-24 сент. 2009 г. Т. 2, 2009. - 129 с. - Текст : непосредственный.Актуальные вопросы экологии и охраны природы экосистем южных регионов России и сопредельных территорий : материалы XXIII Межресп. науч.-практ. конф. с междунар. участием, Краснодар, 23 апр. 2010 г. / Кубанский гос. ун-т (Краснодар), 2010. - 154 с. - Текст : непосредственный.Актуальные проблемы экологии, экономики, социологии и пути их решения : материалы 14-й Междунар. науч.-практ. конф., Краснодар. край, пос. Шепси, 20-24 сент. 2009 г. Т. 1, 2009. - 341 с. - Текст : непосредственный.Международный бизнес: стратегии инновационного развития : [сборник] / Кубан. гос. ун-т, 2010. - 555 с. - Текст : непосредственный.Проблемы устойчивого развития региона: информационная безопасность полиэтничного социума (на материалах Юга России) / Кубан. гос. ун-т, 2011. - 244 с. - Текст : непосредственный.Фундаментальные проблемы преобразования энергии в литиевых электрохимических системах : материалы XII Междунар. конф., 1-6 окт. 2012 г / Кубанский гос. ун-т (Краснодар), 2012. - 326 с. - Текст : непосредственный.Современные проблемы физики, биофизики и инфокоммуникационных технологий : материалы всерос. заоч. науч.-практ. конф. / Кубанский гос. ун-т (Краснодар), 2012. - 429 с. - Текст : непосредственный.Международная экономика / Куб. гос. ун-т; под науч. ред. А. В. Ишханова. Вып. 3 / Е. Ф. Линкевич [и др.], 2013. - 501 с. - Текст : непосредственный.Международная экономика / Куб. гос. ун-т; под науч. ред. А. В. Ишханова. Вып. 2 / А. В. Ишханов [и др.], 2012. - 475 с. - Текст : непосредственный.Финансовая экономика: теория и практика управления / Кубанский гос. ун-т, 2013. - 259 с. - Текст : непосредственный.
Показать все результатыФедоряев С.Т. Структурные свойства алгебраической сводимости конструктивизаций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук: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 с. - Текст : непосредственный.
Показать все результатыSommerhalder R. A resolution method for some systems of MODAL LOGIC : Diss. / R.Sommerhalder, 1992. - 173 p. - Текст : непосредственный.Eijck D.J.van Dynamic modal predicate logic / D.J.van Eijck,G.Cepparello, 1992. - 19 p. - Текст : непосредственный.Nerode A. Logic for applications / A.Nerode,R.A.Shore, 1993. - XVII,365 p. p. - Текст : непосредственный.Makkai M. Duality and definability in first order logic / M.Makkai, 1993. - X,106 p. p. - Текст : непосредственный.Benthem J.van Modal logic,transition systems and processes / J.van Benthem,D.J.N.van Eijck,V.Stebletsova, 1993. - 43 p. - Текст : непосредственный.Математическая логика и теория алгоритмов : Сб. / Отв. ред. Ю.Л.Ершов, С.С.Гончаров, 1993. - 201 c. - Текст : непосредственный.Абаев Н.Б. Выявление скрытых законов логики и приложение их к строгим наукам / Н.Б.Абаев, 1993. - 164 c. - Текст : непосредственный.Ben-Shalom D. A path-based variable-free system for predicate logic / D.Ben-Shalom, 1994. - 12 p. - Текст : непосредственный.Булос Д. Вычислимость и логика : Пер.с англ.В.А.Душского и Е.Ю.Ногиной под ред.С.Н.Артемова / Д.Булос,Р.Джеффри, 1994. - 396 c. - Текст : непосредственный.Rijke M.de A Lindstrom theorem for modal logic / M.de Rijke, 1994. - 13 p. - Текст : непосредственный.Blackburn P. The algebra of modal logic / P.Blackburn,M.de Rijke,Y.Venema, 1994. - 61 p. - Текст : непосредственный.Мамий К.С. Основы современной математики (элементы логики, теории множеств и множества действительных чисел) : Учеб.пособие для студентов мат.фак.пединститутов и ун-тов / К.С.Мамий, 1994. - 143 c. - Текст : непосредственный.Алгебраические и логические конструкции : Сб.науч.тр. / Твер.гос.ун-т, 1994. - 105 c. - Текст : непосредственный.Кузнецов В.Н. Теоретическая информатика - I. Элементы теории множеств и математической логики : Учеб. пособие / В.Н.Кузнецов, 1994. - 103 c. - Текст : непосредственный.Таланов В.А. Математическая логика и модели вычислений : Учеб. пособие / В.А.Таланов, 1994. - 116 c. - Текст : непосредственный.Теоретические применения методов математической логики : Сб. работ. 1, 1975. - 180 с. - Текст : непосредственный.Snyder W. A proof theory for general unification / W.Snyder, 1991. - 175 175 p. - Текст : непосредственный.Rijke M.de Modal model theory / M.de Rijke, 1995. - 20 p. - Текст : непосредственный.Akkanen J. Absolute logics / J.Akkanen, 1995. - 83 -. -. - Текст : непосредственный.Blackburn P. Why combine logics? / P.Blackburn,M.de Rijke, 1995. - 18 p. - Текст : непосредственный.
Показать все результатыKanovich M.I. Fast theorem proving in intuitionistic propositional logic / M.I.Kanovich, 1991. - 16 p. - Текст : непосредственный.Groote J.F. propositional formula checker HeerHugo / J.F.Groote,J.P.Warners, 1999. - 18 p. - Текст : непосредственный. Bauer F.L. Elementare Aussagenlogik / F.L.Bauer,M.Wirsing, 1991. - X,228 p. p. - Текст : непосредственный.Осокин В.В. О расшифровке логических функций : автореф. дис. .. канд. физ.-мат. наук : 01.01.09 / В. В. Осокин, 2011. - 16 с. - Текст : непосредственный.Pogorzelski W.A. Completeness theory for propositional logics / W. A. Pogorzelski, P. Wojtylak, 2008 r=on-lineРазработка и программная реализация эффективных дискретных алгоритмов минимизации булевых функций в классе полиномиальных нормальных форм с фиксированной полярностью : автореф. дис. .. канд. техн. наук : 05.13.18 / А. А. Акинин, 2013. - 18 с. - Текст : непосредственный.Верхние и нижние оценки на схемную сложность явно заданных булевых функций : автореф. дис. .. канд. физ.-мат. наук : 01.01.06 / Е. А. Деменков, 2013. - 10 с. - Текст : непосредственный.Об алгоритмической сложности распознавания свойств дискретных функций, заданных полиномами : автореф. дис. .. канд. физ.-мат. наук : 01.01.09 / А. В. Бухман, 2013. - 16 с. - Текст : непосредственный.Иванисова О.В. Математическая логика. Алгебра высказываний : учеб. пособие / О. В. Иванисова, И. В. Сухан, Г. Г. Кравченко, 2017. - 129 с.Маслова, Ирина Игоревна. О классах сверхфункций на двухэлементном множестве / И. И. Маслова, 2020. - 29 с. - Текст (визуальный) : непосредственный.Логика высказываний и булевы алгебры : учебное пособие / Д. В. Гринченков, Д. Н. Кущий, О. С. Тушканова, А. Ю. Мезенцева, 2022. - 99 с. - Текст (визуальный) : непосредственный.Быстрыгова, Анастасия Викторовна. Параметро-эффективная расшифровка булевых функций : специальность 1.1.5. - "Математическая логика, алгебра, теория чисел и дискретная математика" : автореферат диссертации на соискание ученой степени кандидата физико-математических наук / Быстрыгова Анастасия Викторовна, 2022. - 26 с. - Текст : непосредственный.Баротов, Достонжон Нумонжонович. О неравенствах между выпуклыми вогнутыми и полилинейными продолжениями булевых функций / Д. Н. Баротов, В. А. Судаков, 2024. - 13 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Трифонова, Екатерина Евгеньевна. О возможности построения произвольной пятеричной дроби с помощью индуцированных вероятностных функций / Е. Е. Трифонова, 2025. - 40 с. - Текст (визуальный) : непосредственный.Рыбаков, Николай Сергеевич. Введение в логику высказываний : учебное пособие / Н. С. Рыбаков, 2020. - 167 с. - Текст (визуальный) : непосредственный.Чикаке, Тендай Мапунгвана. Псевдобулевский полиномиальный подход к решению задач компьютерного зрения : специальность 2.3.5. Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей : автореферат диссертации на соискание учёной степени кандидата технических наук / Чикаке Тендай Мапунгвана, 2025. - 20 с. - Текст : непосредственный.
Заказ фрагмента документа ₽