Полное описание
Кутюра, Л. ISBN 978-5-397-02663-5. - Текст : непосредственный.
ГРНТИ УДК 27.17.21 512.563
Рубрики: Алгебра логики
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д9-12/84157)
Шифр в сводном ЭК: c7bd466b53963a2342020ff317e5cb5e
Гейтинг А. Интуиционизм. Введение / А. Гейтинг, 2010. - 164 с. - Текст : непосредственный. Егоров И.П. О математических структурах / И. П. Егоров, 2016. - 64 с. - Текст : непосредственный. Мендельсон Э. Введение в математическую логику / Э. Мендельсон, 2010. - 319 с. - Текст : непосредственный. Пиотровская К.Р. Основы математической обработки информации : [учеб. пособие]. Ч. 1 : Алгебра логики : практикум по решению задач, 2016. - 38 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Кутюра Л. Алгебра логики / Л. Кутюра; пер. с фр. и предисл. И. В. Слешинского, 2012. - 117 с. - Текст : непосредственный. Френкель А.А. Основания теории множеств / А. А. Френкель, И. Бар-Хиллел: под ред. и со вступит. ст. А. С. Есенина-Вольпина, 2010. - 554 с. - Текст : непосредственный. Черч, А. Введение в математическую логику. Т. 1, 2009. - 480 с. - Текст : непосредственный. Лебег А. Об измерении величин : пер. с фр. / А. Лебег, 2009. - 204 с. - Текст : непосредственный. Пойа, Д. Математика и правдоподобные рассуждения. Т. 1 : Индукция и аналогия в математике, 2010. - 463 с. - Текст : непосредственный. Алгебра логики : учеб.-метод. пособие / сост. Т. Г. Сукачева, О. П. Матвеева, 2013. - 68 с. - Текст : непосредственный. Чередникова А.В. Алгебра логики : учеб. пособие / А. В. Чередникова, И. В. Землякова, 2014. - 71 с. - Текст : непосредственный. Клини С.К. Введение в метаматематику / С. К. Клини; пер. с англ. А.С. Есенина-Вольпина, под ред. В. А. Успенского, 2009. - 523 с. - Текст : непосредственный. Гудстейн Р.Л. Математическая логика / Р. Л. Гудстейн; пер. с англ. В.С.Чернявского под ред. С. А. Яновской, 2010. - 160 с. - Текст : непосредственный. Коэн П.Д. Теория множеств и континуум-гипотеза / П. Дж. Коэн: пер. с англ. и заключит. ст. А. С. Есенина-Вольпина, 2010. - 347 с. - Текст : непосредственный. Лакатос И. Доказательства и опровержения. Как доказываются теоремы / И. Лакатос; пер. с англ. с предисл. И. Н. Веселовского; отв. ред. И. Б. Погребысский, 2010. - 152 с. - Текст : непосредственный. Александров П.С. Введение в общую теорию множеств и функций : учеб. пособие / П. С. Александров, 2017. - 411 с. - Текст : непосредственный. Гильберт Д. Основы теоретической логики / Д. Гильберт, В. Аккерман: пер. с нем. А. А. Ерофеева; под ред. С. А. Яновской, 2010. - 304 с. - Текст : непосредственный. Алгебра логики : учебно-методическое пособие / Министерство науки и высшего образования Российской Федерации, Новгородский государственный университет имени Ярослава Мудрого, 2022. - 70 с. - Текст (визуальный) : непосредственный. Показать все результаты Труды международной конференции "Континуальные алгебраические логики, исчисления и нейроинформатика в науке, технике и экономике" : 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
