Полное описание
Алгебра логики : учеб.-метод. пособие / сост. Т. Г. Сукачева, О. П. Матвеева ; Сост. Т. Г. Сукачева. - Великий Новгород : НовГУ им. Ярослава Мудрого, 2013. - 68 с. : ил. - Сост. указ. на обороте тит. л. - Библиогр.: с. 67 (12 назв.). - 150 экз. - Текст : непосредственный.
ГРНТИ УДК 27.17.21 512.563
Рубрики: Алгебра логики
Доп. точки доступа: Сукачева, Т.Г.\сост.\
Новгородский гос. ун-т им. Ярослава Мудрого (Великий Новгород)
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д10-13/8605)
Шифр в сводном ЭК: 212337204655d80735b95601b9f483cb
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лихтарников Л.М. Математическая логика. Курс лекций, задачник-практикум и решения : Учеб. пособие / Л. М. Лихтарников, Т. Г. Сукачева, 2008. - 276 с. - Текст : непосредственный. Сукачева Т.Г. Исследование математических моделей несжимаемых вязкоупругих жидкостей : автореф. дис. .. д-ра физ.-мат. наук: 05.13.18 / Т. Г. Сукачева, 2004. - 33 с. - Текст : непосредственный. Матвеева О.П. Математические модели вязкоупругих несжимаемых жидкостей ненулевого порядка / О. П. Матвеева, Т. Г. Сукачева, 2014. - 101 с. - Текст : непосредственный. Алгебра логики : учеб.-метод. пособие / сост. Т. Г. Сукачева, О. П. Матвеева, 2013. - 68 с. - Текст : непосредственный. Лихтарников Л.М. Математическая логика : Курс лекций. Задачник-практикум и решения:Учеб. пособие для студентов вузов по мат. спец. / Л.М.Лихтарников,Т.Г.Сукачева, 1998. - 285 с. - Текст : непосредственный. Сукачева Т.Г. Исследование неавтономных уравнений соболевского типа в банаховых пространствах : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук :01.01.02 / Т. Г. Сукачева, 2001. - 24 с. - Текст : непосредственный. Свиридюк Г.А. Вводный курс истории и методологии математики : Учеб. пособие / Г. А. Свиридюк, Т. Г. Сукачева, Л. Л. Дудко, 1995. - 155 c. - Текст : непосредственный. Лихтарников Л.М. Математическая логика : Курс лекцийЗадачник-практикумУчеб. пособие для студентов вузов по мат. спец. / Л.М.Лихтарников,Т.Г.Сукачева, 1999. - 285 с. - Текст : непосредственный. Пиотровская К.Р. Основы математической обработки информации : [учеб. пособие]. Ч. 1 : Алгебра логики : практикум по решению задач, 2016. - 38 с. - Текст : непосредственный. Кутюра Л. Алгебра логики / Л. Кутюра; пер. с фр. и предисл. И. В. Слешинского, 2012. - 117 с. - Текст : непосредственный. Алгебра логики : учеб.-метод. пособие / сост. Т. Г. Сукачева, О. П. Матвеева, 2013. - 68 с. - Текст : непосредственный. Чередникова А.В. Алгебра логики : учеб. пособие / А. В. Чередникова, И. В. Землякова, 2014. - 71 с. - Текст : непосредственный. Алгебра логики : учебно-методическое пособие / Министерство науки и высшего образования Российской Федерации, Новгородский государственный университет имени Ярослава Мудрого, 2022. - 70 с. - Текст (визуальный) : непосредственный. Алгебра логики : практикум / Абдураманов Зиннур Шевкетович, Валиева Эльвира Сейрановна, Сейдаметовна Замера Сейдалиевна [и др.], 2024. - 39 с. - Текст (визуальный) : непосредственный. Актуальные вопросы социально-экономического развития регионов : материалы временных коллективов / Новгородский гос. ун-т им. Ярослава Мудрого (Великий Новгород), 2015. - 143 с. - Текст : непосредственный. Петров В.М. Электромагнитная совместимость электронных средств : выставочные материалы / В. М. Петров, 2014. - 84 с. - Текст : непосредственный. Основы телевидения и видеотехники : выставочные материалы / Новгородский гос. ун-т им. Ярослава Мудрого (Великий Новгород), 2014. - 152 с. - Текст : непосредственный. Оконенко Т.И. Современная оптика: рефракция, очки и контактные линзы / Т. И. Оконенко, И. А. Лещенко, О. А. Короткова, 2014. - 116 с. - Текст : непосредственный. Фихтнер О.А. Теория и методология сетевого взаимодействия предпринимательских структур в новой российской экономике : монография / О. А. Фихтнер, 2015. - 318 с. - Текст : непосредственный. Едемский В.А. Математический аппарат для анализа, синтеза и формирования троичных последовательностей : выставочные материалы / В. А. Едемский, В. Е. Гантмахер, 2014. - 205 с. - Текст : непосредственный. Минин Д.Л. Финансовые основы биржевой торговли : выставочные материалы / Д. Л. Минин, Н. Ю. Омарова, А. С. Замуруев, 2015. - 78 с. - Текст : непосредственный. Повышение эффективности использования и воспроизводства природных ресурсов : материалы временных коллективов / Новгородский гос. ун-т им. Ярослава Мудрого (Великий Новгород), 2016. - 279 с. - Текст : непосредственный. Менеджмент многообразия : выставочные материалы / М. Н. Певзнер, П. А. Петряков, И. А. Донина [и др.], 2017. - 451 с. - Текст : непосредственный. Быстров Н.Е. Введение в теорию случайных величин и процессов : выставочные материалы / Н. Е. Быстров, 2016. - 109 с. - Текст : непосредственный. Основы телевидения. Системы прикладного назначения : [курс лекций] / Новгор. гос. ун-т им. Ярослава Мудрого ; авт.-сост. Н. П. Корнышев. Ч. 2 : Телевизионная визуализация, 2017. - 123 с. - Текст : непосредственный. Быстров Н.Е. Введение в статистическую теорию радиотехнических систем : выставочные материалы / Н. Е. Быстров, 2016. - 104 с. - Текст : непосредственный. Облачные вычислительные системы : выставочные материалы / Новгородский гос. ун-т им. Ярослава Мудрого (Великий Новгород), 2016. - 79 с. - Текст : непосредственный. Отмывка чертежа фасада памятника архитектуры с деталью : методический материал / Сост. В. М. Варламова, 2017. - 97 с. - Текст : непосредственный. Абрамов А.М. Мехатронные системы автотранспортных средств : учеб. пособие. Ч. 1 : Системы активной безопасности, 2017. - 87 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Труды международной конференции "Континуальные алгебраические логики, исчисления и нейроинформатика в науке, технике и экономике" : 13-15 мая 2003 г. . Т. 2 : Алгебраические логики, импликативная и предикатная алгебры выбора в задачах науки и техники, 2003. - 138 с. - Текст : непосредственный. Мальцев И.А. Итеративные алгебры, близкие к транзитивным : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени д-ра физ.-мат. наук / И. А. Мальцев, 2004. - 26 с. - Текст : непосредственный. Ахметова Н.А. Элементы дискретной математики. Функции алгебры логики. Теория графов. Элементы теории кодирования : выставочные материалы / Н. А. Ахметова, А. Я. Гильмутдинова, З. М. Усманова, 2015. - 120 с. - Текст : непосредственный. Подзоров С.Ю. Верхние полурешетки арифметических нумераций в арифметических m-степеней : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени д-ра физ.-мат. наук / С. Ю. Подзоров, 2010. - 18 с. - Текст : непосредственный. Первухин М.А. Теоретико-модельные свойства частично упорядоченных полигонов / М. А. Первухин, 2010. - 18 с. - Текст : непосредственный. Семенова М.В. Разложения в полных решетках / М. В. Семенова, 2000. - 23 с. - Текст : непосредственный. Маренич Е.Е. Системы линейных уравнений над решетками / Е. Е. Маренич, В. Е. Маренич, 2007. - 122 с. - Текст : непосредственный. Егоров И.П. О математических структурах / И. П. Егоров, 2016. - 64 с. - Текст : непосредственный. Запатрин Р.Р. Полугрупповая координатизация решеток : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Р. Р. Запатрин, 1999. - 7 с. - Текст : непосредственный. Перязева Ю.В. Минимизация булевых функций в классах бинарных термов и полиномиальных нормальных форм : специальность 05.13.16 "" : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / Ю. В. Перязева, 1999. - 18 с. - Текст : непосредственный. Семигродских А.П. Решетки замкнутых классов функций на бесконечном множестве : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. П. Семигродских, 2003. - 16 с. - Текст : непосредственный. Ермолаева Н.Н. Практические занятия по алгебре. Элементы теории множеств, теории чисел, комбинаторики. Алгебраические структуры : выставочные материалы / Н. Н. Ермолаева, В. А. Козынченко, Г. И. Курбатова, 2014. - 111 с. - Текст : непосредственный. Упорядоченные множества и решетки : Межвуз.сб.науч.тр. Вып. 10, 1991. - 125 с. - Текст : непосредственный. Шевелев Ю.П. Высшая математика : Учеб.пособие для студентов техн.вузов, для сред.шк. 5 : Дискретная математикаЧ. 1. Теория множеств. Булева алгебра (для автоматизированной технологии обучения), 1998. - 114 с. - Текст : непосредственный. Measures on Projections and Orthomodular Posets : сборник научных трудов, 1998. - 114 p. - Текст : непосредственный. Лапшин А.Б. Дискретная математика и математическая логика : Учеб. пособие. Ч. 2 : Элементы алгебры логики, 2004. - 32 с. - Текст : непосредственный. Перязев Н.А. Основы теории булевых функций / Н. А. Перязев, 1999. - 110 с. - Текст : непосредственный. Шаранхаев И.К. Слабоповторные булевы функции в предэлементарных базисах : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / И. К. Шаранхаев, 2003. - 11 с. - Текст : непосредственный. Семенова М.В. К теории полудистрибутивных решеток : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / М. В. Семенова, 2000. - 16 с. - Текст : непосредственный. Гуров С.И. Булевы алгебры, упорядоченные множества, решетки. Определения, свойства, примеры / С. И. Гуров, 2013. - 349 с. - Текст : непосредственный. Показать все результаты Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный. Ахметова Н.А. Элементы дискретной математики. Функции алгебры логики. Теория графов. Элементы теории кодирования : выставочные материалы / Н. А. Ахметова, А. Я. Гильмутдинова, З. М. Усманова, 2015. - 120 с. - Текст : непосредственный. Rijke M.de A modal characterization of Peirce algebras / M.de Rijke, 1995. - 14 p. - Текст : непосредственный. Шевелев Ю.П. Высшая математика : Учеб.пособие для студентов техн.вузов, для сред.шк. 5 : Дискретная математикаЧ. 1. Теория множеств. Булева алгебра (для автоматизированной технологии обучения), 1998. - 114 с. - Текст : непосредственный. Лапшин А.Б. Дискретная математика и математическая логика : Учеб. пособие. Ч. 2 : Элементы алгебры логики, 2004. - 32 с. - Текст : непосредственный. Перязев Н.А. Основы теории булевых функций / Н. А. Перязев, 1999. - 110 с. - Текст : непосредственный. Зуев Ю.А. По океану дискретной математики. От перечислительной комбинаторики до современной криптографии. Т. 1 : Основные структуры. Методы перечисления. Булевы функции., 2017. - 273 с. - Текст : непосредственный. Гуров С.И. Булевы алгебры, упорядоченные множества, решетки. Определения, свойства, примеры / С. И. Гуров, 2013. - 349 с. - Текст : непосредственный. Ахметова Н.А. Дискретная математика. Функции алгебры логики / Н. А. Ахметова, З. М. Усманова, 2000. - 143 с. - Текст : непосредственный. Плоткин Б.И. Универсальная алгебра, алгебраическая логика и базы данных / Б. И. Плоткин, 1991. - 446 с. - Текст : непосредственный. Нигматуллин Р.Г. Сложность булевых функций / Р. Г. Нигматуллин, 1991. - 239 c. - Текст : непосредственный. Kranakis E. Computing boolean functions on Cayley networks (Extended abstract) / E. Kranakis, D. Krizanc, 1990. - 18 p. - Текст : непосредственный. Яновская С.А. Лекции по алгебре логики / С. А. Яновская ; Сост.: Б. В. Бирюков, З. А. Кузичева, 2015. - 257 с. - Текст : непосредственный. Steinbach B. Logic functions and equations / B. Steinbach, C. Posthoff, 2009 r=on-line. - Текст : электронный. Подловченко Р.И. Эквивалентные преобразования в математических моделях вычислений : выставочные материалы / Р. И. Подловченко, 2011. - 72 с. - Текст : непосредственный. Волгин Л.И. Свойства и законы двоичной булевой алгебры на множестве комплексных и действительных чисел: АМ-алгебра и ее применения / Л. И. Волгин, 1995. - 38 c. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Труды международной конференции "Континуальные алгебраические логики, исчисления и нейроинформатика в науке, технике и экономике" : 13-15 мая 2003 г. . Т. 2 : Алгебраические логики, импликативная и предикатная алгебры выбора в задачах науки и техники, 2003. - 138 с. - Текст : непосредственный. Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный. Мальцев И.А. Итеративные алгебры, близкие к транзитивным : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени д-ра физ.-мат. наук / И. А. Мальцев, 2004. - 26 с. - Текст : непосредственный. Ахметова Н.А. Элементы дискретной математики. Функции алгебры логики. Теория графов. Элементы теории кодирования : выставочные материалы / Н. А. Ахметова, А. Я. Гильмутдинова, З. М. Усманова, 2015. - 120 с. - Текст : непосредственный. Rijke M.de A modal characterization of Peirce algebras / M.de Rijke, 1995. - 14 p. - Текст : непосредственный. Перязева Ю.В. Минимизация булевых функций в классах бинарных термов и полиномиальных нормальных форм : специальность 05.13.16 "" : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / Ю. В. Перязева, 1999. - 18 с. - Текст : непосредственный. Шевелев Ю.П. Высшая математика : Учеб.пособие для студентов техн.вузов, для сред.шк. 5 : Дискретная математикаЧ. 1. Теория множеств. Булева алгебра (для автоматизированной технологии обучения), 1998. - 114 с. - Текст : непосредственный. Лапшин А.Б. Дискретная математика и математическая логика : Учеб. пособие. Ч. 2 : Элементы алгебры логики, 2004. - 32 с. - Текст : непосредственный. Перязев Н.А. Основы теории булевых функций / Н. А. Перязев, 1999. - 110 с. - Текст : непосредственный. Зуев Ю.А. По океану дискретной математики. От перечислительной комбинаторики до современной криптографии. Т. 1 : Основные структуры. Методы перечисления. Булевы функции., 2017. - 273 с. - Текст : непосредственный. Шаранхаев И.К. Слабоповторные булевы функции в предэлементарных базисах : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / И. К. Шаранхаев, 2003. - 11 с. - Текст : непосредственный. Ахметова Н.А. Дискретная математика. Функции алгебры логики / Н. А. Ахметова, З. М. Усманова, 2000. - 143 с. - Текст : непосредственный. Плоткин Б.И. Универсальная алгебра, алгебраическая логика и базы данных / Б. И. Плоткин, 1991. - 446 с. - Текст : непосредственный. Винокуров С.Ф. Операторы в полиномиальных представлениях булевых функций : специальность 01.01.09 "" : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук / С. Ф. Винокуров, 2001. - 27 с. - Текст : непосредственный. Нигматуллин Р.Г. Сложность булевых функций / Р. Г. Нигматуллин, 1991. - 239 c. - Текст : непосредственный. Theory and applications of satisfiability testing / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Рябец Л.В. Сложность и алгоритмы построения проверяюших тестов и некоторых классов полиномиальных форм булевых функций : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : диссертация на соискание ученой степени канд. физ.-мат. наук / Л. В. Рябец, 2007. - 18 с. - Текст : непосредственный. Kranakis E. Computing boolean functions on Cayley networks (Extended abstract) / E. Kranakis, D. Krizanc, 1990. - 18 p. - Текст : непосредственный. Яновская С.А. Лекции по алгебре логики / С. А. Яновская ; Сост.: Б. В. Бирюков, З. А. Кузичева, 2015. - 257 с. - Текст : непосредственный. Steinbach B. Logic functions and equations / B. Steinbach, C. Posthoff, 2009 r=on-line. - Текст : электронный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
