Чувашская республиканская детско-юношеская библиотека

Главная

Упрощенный режим

Описание

Базы данных

Статьи - результаты поиска

Вид поиска

книги

Статьи

Область поиска

Найдено в других БД:

книги (1)

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>S=Математическая логика<.>)

Общее количество найденных документов : 4
Показаны документы с 1 по 4

Рыцар, Б. Е. (доктор технических наук).
Простой числовой теоретико-множественный метод логического дифференциального исчисления / Б. Е. Рыцар // Управляющие системы и машины. - 2016. - № 6. - С. 12-23. - Библиогр.: с. 23 (26 назв.). - Коммунальное учреждение культуры "Днепропетровская областная универсальная научная библиотека им. Первоучителей славянских Кирилла и Мефодия". - code, upsm. - year, 2016. - no, 6. - ss, 12. - ad, 1. - d, 2016, , 0, y. - RUMARS-upsm16_no6_ss12_ad1 . - ISSN 0130-5395

УДК

^a510.6

ББК 22.12
Рубрики: Математика
Математическая логика
Кл.слова (ненормированные):
булевые функции -- дифференциальные исчисления -- логические производные произвольного порядка -- методы исчислений -- числовой теоретико-множественного подход
Аннотация: Предложен новый метод логического дифференциального исчисления на основании числового теоретико-множественного подхода к определению разных типов логических производных произвольного порядка от булевой функции. Алгоритм имеет относительно меньшую вычислительную сложность при меньшем количестве операций, необходимых для решения задачи, что подтверждено примерами определения разных логических производных произвольных порядков от функций, заимствованных авторами из известных публикаций в порядке сравнения с предложенным методом.

Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

Колмаков, Е. А.
Аксиоматизация доказуемой n-доказуемости [] / Е. А. Колмаков, Л. Д. Беклемишев // Доклады Академии наук. - 2018. - Т. 483, № 3, ноябрь. - С. 250-253. - Библиогр.: с. 253 (12 назв.). - Федеральное государственное бюджетное образовательное учреждение высшего образования. - code, dran. - year, 2018. - to, 483. - no, 3. - ss, 250. - ad, 1. - d, 2018, , 0, y. - RUMARS-dran18_to483_no3_ss250_ad1 . - ISSN 0869-5652

УДК

^a510.6

ББК 22.12
Рубрики: Математика
Математическая логика
Кл.слова (ненормированные):
Геделя-Леба логика -- Пеано арифметика -- Эрбрана теорема -- арифметика Пеано -- логика Геделя-Леба -- теорема Эрбрана
Аннотация: Множество всех формул, утверждение об n-доказуемости которых в данной арифметической теории S выводимо в другой арифметической теории T, представляет собой рекурсивно перечислимое расширение S. Доказано, что такие расширения могут быть естественным образом аксиоматизированы в терминах трансфинитных прогрессий итерированных схем локальной рефлексии над S.

Доп.точки доступа:
Беклемишев, Л. Д.
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

Lobovikov, V. O.
Analytical Theology: God’s Omnipotence as a Formal-Axiological Law of the Two-Valued Algebra of Formal Ethics (Demonstrating the Law by "Computing" Relevant Evaluation-Functions) [Text] / V. O. Lobovikov // Вестник Томского государственного университета. Философия. Социология. Политология = Tomsk State University. Journal of Philosophy, Sociology and Political Science. - 2019. - № 47. - С. 87-93 : табл. - Библиогр.: с. 91-93 (42 назв.). - ОГАУК "Томская областная универсальная научная библиотека имени А.С. Пушкина". - code, vvt4. - year, 2019. - no, 47. - ss, 87. - ad, 1. - d, 2019, , 0, y. - RUMARS-vvt419_no47_ss87_ad1 . - ISSN 1998-863x

УДК

ББК 87.7/72 + 87.4 + 22.12 + 86.2
Рубрики: Этика
   Общие вопросы этики
   Логика
   Общие вопросы логики
   Математика
   Математическая логика
   Религия. Мистика. Свободомыслие
   Религиоведение
Кл.слова (ненормированные):
Бог -- алгебра формальной этики -- аналитическая теология -- всемогущество Бога -- двузначная алгебра -- законы -- искусственные языки -- математическое моделирование -- моделирование -- противоречия -- теология -- формальная этика -- формально-аксиологическая эквивалентность -- формально-аксиологические законы -- формально-аксиологические противоречия -- ценностные функции -- эквивалентность
Аннотация: Предлагается новый метод для аналитической теологии - математическое моделирование и разрешение сложных проблем теологии посредством конструирования и исследования дискретных математических моделей этих проблем на уровне искусственного языка алгебраической системы формальной этики. Впервые всемогущество Бога формулируется на этом искусственном языке и обосновывается как формально-аксиологический закон путем "вычисления" соответствующих ценностных функций.

Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

Рубцов, Сергей Евгеньевич (кандидат физико-математических наук; доцент).
Клеточно-автоматное моделирование миграции и гравитационного осаждения примеси в потоке жидкости [] = Cellular automata modeling of migration and gravitational sedimentation of imrurity in a liquid flow / С. Е. Рубцов, А. В. Павлова // Экологический вестник научных центров Черноморского экономического сотрудничества. - 2017. - Т. 14, № 3. - С. 46-52 : 4 ил. - Библиогр.: с. 51 (14 назв. ). - Кубанский государственный университет. - code, evnc. - year, 2017. - to, 14. - no, 3. - ss, 46. - ad, 1. - d, 2017, , 0, y. - RUMARS-evnc17_to14_no3_ss46_ad1

УДК

^a510.6

ББК 22.12
Рубрики: Математика
Математическая логика
Кл.слова (ненормированные):
гравитационное оседание -- загрязнители -- клеточно-автоматные модели -- однокомпонентные субстанции -- примеси
Аннотация: О новом подходе к моделированию процесса миграции загрязнителя в потоке жидкости и реализации имитации механизма гравитационного осаждения тяжелой примеси.

Доп.точки доступа:
Павлова, Алла Владимировна (доктор физико-математических наук; доцент; профессор)
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

Тематический навигатор

Статистика за 04.07.2024
Число запросов	56551
Число посетителей	0
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)