Виникнення та інтерпретація тризначних логік Кліні
Розглянуто сильну та слабку тризначні логіки Кліні. Показано виникнення сильної логіки зі звичайної булевої логіки шляхом
 застосування загальнозначущої конструкції розповсюдження операцій з елементів на множини елементів у термінах повного
 образу. Проілюстровано компактне задання о...
Saved in:
| Date: | 2010 |
|---|---|
| Main Author: | Шишацька, О.В. |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут програмних систем НАН України
2010
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/14638 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Виникнення та інтерпретація тризначних логік Кліні / О.В. Шишацька // Пробл. програмув. — 2010. — № 2-3. — С. 72-79. — Бібліогр.: 17 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Семантичні властивості п’ятизначних логік
by: Нікітченко, М.С., et al.
Published: (2018)
by: Нікітченко, М.С., et al.
Published: (2018)
Ієрархія композиційно-номінативних логік
by: Нікітченко, М.С., et al.
Published: (2004)
by: Нікітченко, М.С., et al.
Published: (2004)
Семантичні властивості композиційно-номінативних модальних логік
by: Шкільняк, О.С.
Published: (2009)
by: Шкільняк, О.С.
Published: (2009)
Побудова секвенційних числень мультимодальних композиційно-номінативних логік
by: Шкільняк, О.С.
Published: (2013)
by: Шкільняк, О.С.
Published: (2013)
Секвенційні числення першопорядкових логік однозначних квазіарних предикатів
by: Шкільняк, С.С.
Published: (2012)
by: Шкільняк, С.С.
Published: (2012)
Спектр секвенційних числень першопорядкових композиційно-номінативних логік
by: Шкільняк, С.С.
Published: (2013)
by: Шкільняк, С.С.
Published: (2013)
Секвенційні числення композиційно-номінотивних логік квазіарних предикатів
by: Шкільняк, С.С.
Published: (2012)
by: Шкільняк, С.С.
Published: (2012)
Секвенційні числення композиційно-номінативних модальних логік функціонально-екваційного рівня
by: Шкільняк, О.С.
Published: (2011)
by: Шкільняк, О.С.
Published: (2011)
Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення
by: Нікітченко, М.С., et al.
Published: (2020)
by: Нікітченко, М.С., et al.
Published: (2020)
Першопорядкові секвенційні числення логік квазіарних предикатів з розширеними реномінаціями та рівністю
by: Шкільняк, О.С., et al.
Published: (2022)
by: Шкільняк, О.С., et al.
Published: (2022)
Алгебраїчне моделювання в системах міжнародної та місцевої обслуговуючої логістики
by: Летичевський, О.О., et al.
Published: (2020)
by: Летичевський, О.О., et al.
Published: (2020)
Конструктори множин та мультимножин об’єктів
by: Терлецький, Д.О.
Published: (2014)
by: Терлецький, Д.О.
Published: (2014)
Темпоральні процедури та алгоритми
by: Зубенко, В.В.
Published: (2006)
by: Зубенко, В.В.
Published: (2006)
Про нові методи опису невизначених величин
by: Провотар, О.І., et al.
Published: (2012)
by: Провотар, О.І., et al.
Published: (2012)
Ациклічність та замкненість макрокомпозицій
by: Вінник, В.Ю., et al.
Published: (2012)
by: Вінник, В.Ю., et al.
Published: (2012)
Композиційно-номінативні модальні логіки немонотонних часткових предикатів та їх числення
by: Шкільняк, О.С., et al.
Published: (2017)
by: Шкільняк, О.С., et al.
Published: (2017)
Девіантні алгебри істиннісних значень та девіантні класи загальних недетермінованих предикатів
by: Шкільняк, О.С.
Published: (2019)
by: Шкільняк, О.С.
Published: (2019)
Стабільність та монотонність програм щодо структурних трансформацій даних
by: Нікітченко, М.С., et al.
Published: (2010)
by: Нікітченко, М.С., et al.
Published: (2010)
Алгебри квазіарних та бі-квазіарних реляцій
by: Нікітченко, М.С., et al.
Published: (2016)
by: Нікітченко, М.С., et al.
Published: (2016)
Кібернетика, інформатика та програмна інженерія: аспекти розвитку
by: Лавріщева, К.М.
Published: (2010)
by: Лавріщева, К.М.
Published: (2010)
Загальнозначні теоретико-множинні конструкції повного образу, обмеження, сумісності: властивості та застосування
by: Буй, Д.Б., et al.
Published: (2010)
by: Буй, Д.Б., et al.
Published: (2010)
Аналіз ефективності реалізації арифметичних алгоритмів на мовах програмування C++ та Python
by: Новокшонов, А.К.
Published: (2016)
by: Новокшонов, А.К.
Published: (2016)
Першопорядковi композиційно-номінативні логіки з предикатами слабкої та строгої рівності
by: Шкільняк, C.С.
Published: (2019)
by: Шкільняк, C.С.
Published: (2019)
Порівняння ефективності підходів Map-Reduce і акторної моделі при розв’язанні завдань з високою зв'язністю вхідних даних на прикладі задачі оптимізації рою часток
by: Ларін, В.О., et al.
Published: (2021)
by: Ларін, В.О., et al.
Published: (2021)
Програмування в обмеженнях у системі інсерційного моделювання
by: Летичевський, О.А., et al.
Published: (2011)
by: Летичевський, О.А., et al.
Published: (2011)
Елементи конкретної алгоритміки: обчислюваність і розв’язність
by: Провотар, О.І., et al.
Published: (2020)
by: Провотар, О.І., et al.
Published: (2020)
Аналіз систем нечіткої логіки для апроксимації нечітких функцій
by: Щегельський, Т.С., et al.
Published: (2012)
by: Щегельський, Т.С., et al.
Published: (2012)
Гібридний алгоритм методу Ньютона для розв’язування систем нелінійних рівнянь з блочними матрицями Якобі
by: Хіміч, О.М., et al.
Published: (2020)
by: Хіміч, О.М., et al.
Published: (2020)
Композиційно-номінативні модальні логіки функціонально-екваційного рівня
by: Шкільняк, О.С.
Published: (2010)
by: Шкільняк, О.С.
Published: (2010)
Відношення логічного наслідку в логіках часткових предикатів з композицією предикатного доповнення
by: Шкільняк, О.С.
Published: (2019)
by: Шкільняк, О.С.
Published: (2019)
Відношення логічного наслідку в логіках квазіарних предикатів
by: Шкільняк, О.С.
Published: (2016)
by: Шкільняк, О.С.
Published: (2016)
Про локальну коректність формальних визначень
by: Провотар, О.І.
Published: (2006)
by: Провотар, О.І.
Published: (2006)
Відношення логічного наслідку в логіках монотонних предикатів тa логіках антитонних предикатів
by: Шкільняк, О.С.
Published: (2017)
by: Шкільняк, О.С.
Published: (2017)
О выделении макроопераций из вычислительных процессов сортировки массивов данных
by: Паулин, О.Н., et al.
Published: (2016)
by: Паулин, О.Н., et al.
Published: (2016)
Аспекты моделирования в системе Гомеопат
by: Провотар, А.А., et al.
Published: (2012)
by: Провотар, А.А., et al.
Published: (2012)
Алгебри загальних недетермінованих предикатів
by: Нікітченко, М.С., et al.
Published: (2018)
by: Нікітченко, М.С., et al.
Published: (2018)
Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями
by: Нікітченко, М.С., et al.
Published: (2014)
by: Нікітченко, М.С., et al.
Published: (2014)
Чисті першопорядкові логіки квазіарних предикатів
by: Нікітченко, М.С., et al.
Published: (2016)
by: Нікітченко, М.С., et al.
Published: (2016)
Логіки загальних недетермінованих предикатів: cемантичні аспекти
by: Нікітченко, М.С., et al.
Published: (2018)
by: Нікітченко, М.С., et al.
Published: (2018)
Пропозиційні логіки часткових предикатів з композицією предикатного доповнення
by: Нікітченко, М.С., et al.
Published: (2019)
by: Нікітченко, М.С., et al.
Published: (2019)
Similar Items
-
Семантичні властивості п’ятизначних логік
by: Нікітченко, М.С., et al.
Published: (2018) -
Ієрархія композиційно-номінативних логік
by: Нікітченко, М.С., et al.
Published: (2004) -
Семантичні властивості композиційно-номінативних модальних логік
by: Шкільняк, О.С.
Published: (2009) -
Побудова секвенційних числень мультимодальних композиційно-номінативних логік
by: Шкільняк, О.С.
Published: (2013) -
Секвенційні числення першопорядкових логік однозначних квазіарних предикатів
by: Шкільняк, С.С.
Published: (2012)