Special cases of the interpolation theorem for classical predicate calculus ; Специальные случаи интерполяционной теоремы для классического исчисления предикатов

Συγγραφείς: Dmitry Alekseevich Cybulski, Дмитрий Алексеевич Цибульский

Πηγή: Chebyshevskii Sbornik; Том 25, № 2 (2024); 222-234 ; Чебышевский сборник; Том 25, № 2 (2024); 222-234 ; 2226-8383 ; 10.22405/2226-8383-2024-25-2

Θεματικοί όροι: хорновский интерполянт, classical predicate calculus, universal interpolant, Horn interpolant, классическое исчисление предикатов, универсальный интерполянт

Περιγραφή αρχείου: application/pdf

Relation: https://www.chebsbornik.ru/jour/article/view/1740/1193; Craig W. Linear Reasoning. A New Form of the Herbrand–Gentzen Theorem. // Jour. symbolic; logic, Vol. 22, P. 250-268.; Lynon R. C. An Interpolation Theorem in the Predicate Calculus. // Pacific jour. math., Vol.; P. 129-142.; Тайцлин М. А. Реферат на ст. Линдона. // Jour. symbolic logic., Vol. 25, P. 273-274.; Henkin L. A. An Extension of the Craig–Lyndon Interpolation Theorem. // Ibid., Vol. 28, P.; 216.; Sch¨utte K. Der Interpolationssatz der intuitionistischen Pr¨adikaten-logik. // Math. Ann., Vol.; P. 192-200.; Максимова Л. Л. Теорема Крейга в суперинтуиционистских логиках и амальгамируемые; многообразия псевдобулевых алгебр. // Алгебра и логика, т. 16:6, с. 643-681.; Maksimova L. On Variable Separation in Modal and Superintuitionistic Logics. // Studia; Logica, Vol. 55, P. 99-112.; Beth E. W. On Padoa’s Method in the Teory of Definition. // Ibid., Vol. 56, P. 330-339.; Robinson A. A Result of Consistency and It’s Application to the Theory of Definition. // Kon.; Ned. Akad., Amsterdam, Proc., Ser. A, Vol. 59, P. 47-58.; Kleene S. C. Mathematical Logic. // John Wiley & Sons, inc., 1967, New York, P. 394-441.; Мальцев А. И. Алгебраические системы. // Наука, 1970, Москва, с. 163-192.; Оревков В. П. Верхние оценки удлинения выводов при устранении сечений. // Записки; науч. семинаров ЛОМИ, т. 137, с. 87-98.; Оревков В. П. О гливенковских классах секвенций. // Труды ордена Ленина Мат. инсти-; тута им. Стеклова, т. 98, с. 131-154.; Ершов Ю.Л., Палютин Е. А. Математическая логика. // Наука, 1987, Москва, с. 209-214.; Gentzen G. Untersuchungen ¨uber das logische Schließen. I, II. // Math. Zeitschrift, Vol. 39, P. 176-210, 405-443.; Kleene S. C. Permutability of inferences in Gentzen’s caculi LK and LJ. // Memories of the; Am. math. society, Vol. 10, P. 1-26.; https://www.chebsbornik.ru/jour/article/view/1740

Διαθεσιμότητα: https://www.chebsbornik.ru/jour/article/view/1740
https://doi.org/10.22405/2226-8383-2024-25-2-222-234

Силлогистика как логика антиобъемов терминов

Συγγραφείς: МАРКИН ВЛАДИМИР ИЛЬИЧ

Θεματικοί όροι: СИЛЛОГИСТИКА,ИСЧИСЛЕНИЕ ПРЕДИКАТОВ,PREDICATE CALCULUS,ПОГРУЖАЮЩАЯ ОПЕРАЦИЯ,ОБЪЕМЫ И АНТИОБЪЕМЫ ТЕРМИНОВ,EXTENSIONS AND ANTIEXTENSIONS OF TERMS,SYLLOGISTIC,EMBEDDING FUNCTION

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/sillogistika-kak-logika-antiobemov-terminov
http://cyberleninka.ru/article_covers/16896610.png

Применение тактик муравьиных алгоритмов для решения некоторых задач искусственного интеллекта

Συγγραφείς: ПЕТУХОВА НИНА ДМИТРИЕВНА, КОСОВСКАЯ ТАТЬЯНА МАТВЕЕВНА

Θεματικοί όροι: ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ,ИСЧИСЛЕНИЕ ПРЕДИКАТОВ,АЛГОРИТМИЧЕСКАЯ СЛОЖНОСТЬ,ОБРАТНЫЙ МЕТОД МАСЛОВА,МУРАВЬИНЫЕ ТАКТИКИ,ПАРАЛЛЕЛЬНЫЕ ВЫЧИСЛЕНИЯ,ARTIFICIAL INTELLIGENCE,PREDICATE CALCULUS,ALGORITHMIC COMPLEXITY,MASLOV'S INVERSE METHOD,ANT TACTICS,PARALLEL COMPUTATION

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/primenenie-taktik-muravinyh-algoritmov-dlya-resheniya-nekotoryh-zadach-iskusstvennogo-intellekta
http://cyberleninka.ru/article_covers/16062507.png

ТЕХНОЛОГИЯ ЛОГИЧЕСКОГО МОДЕЛИРОВАНИЯ И АНАЛИЗА СЛОЖНЫХ СИСТЕМ

Συγγραφείς: Ильичева, Ольга

Θεματικοί όροι: ЛОГИЧЕСКАЯ МОДЕЛЬ, ИСЧИСЛЕНИЕ ПРЕДИКАТОВ, ЛОГИЧЕСКИЕ ОШИБКИ, ИНТЕРПРЕТАТОР, ЛОГИЧЕСКАЯ СЕМАНТИКА, АНАЛИЗ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/tehnologiya-logicheskogo-modelirovaniya-i-analiza-slozhnyh-sistem
http://cyberleninka.ru/article_covers/14269937.png

Позитивная силлогистика C3+ с константой исчерпываемости

Συγγραφείς: Маркин, В.

Θεματικοί όροι: СИЛЛОГИСТИКА,ИСЧИСЛЕНИЕ ПРЕДИКАТОВ,ПОГРУЖАЮЩАЯ ОПЕРАЦИЯ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/pozitivnaya-sillogistika-c3-s-konstantoy-ischerpyvaemosti
http://cyberleninka.ru/article_covers/15558344.png

Частичная выводимость предикатных формул как средство распознавания объектов с неполной информацией

Συγγραφείς: Косовская, Татьяна

Θεματικοί όροι: РАСПОЗНАВАНИЕ ОБРАЗОВ, НЕПОЛНАЯ ИНФОРМАЦИЯ, ИСЧИСЛЕНИЕ ПРЕДИКАТОВ, СЛОЖНОСТЬ АЛГОРИТМОВ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/chastichnaya-vyvodimost-predikatnyh-formul-kak-sredstvo-raspoznavaniya-obektov-s-nepolnoy-informatsiey
http://cyberleninka.ru/article_covers/14726101.png

Математическая логика и теория алгоритмов

Συνεισφορές: Сибирский федеральный университет

Θεματικοί όροι: булевы функции, логика математическая, исчисление предикатов, исчисление высказываний, учебные пособия, алгебра логики, алгоритмов теория, теория алгоритмов, математическая логика

Σύνδεσμος πρόσβασης: https://openrepository.ru/article?id=445471

Применение тактик муравьиных алгоритмов для решения некоторых задач искусственного интеллекта

Πηγή: Вестник Санкт-Петербургского университета. Серия 10. Прикладная математика. Информатика. Процессы управления.

Θεματικοί όροι: ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ,ИСЧИСЛЕНИЕ ПРЕДИКАТОВ,АЛГОРИТМИЧЕСКАЯ СЛОЖНОСТЬ,ОБРАТНЫЙ МЕТОД МАСЛОВА,МУРАВЬИНЫЕ ТАКТИКИ,ПАРАЛЛЕЛЬНЫЕ ВЫЧИСЛЕНИЯ,ARTIFICIAL INTELLIGENCE,PREDICATE CALCULUS,ALGORITHMIC COMPLEXITY,MASLOV'S INVERSE METHOD,ANT TACTICS,PARALLEL COMPUTATION

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article/n/primenenie-taktik-muravinyh-algoritmov-dlya-resheniya-nekotoryh-zadach-iskusstvennogo-intellekta
http://cyberleninka.ru/article_covers/16062507.png

Силлогистика как логика антиобъемов терминов

Πηγή: Логические исследования.

Θεματικοί όροι: СИЛЛОГИСТИКА,ИСЧИСЛЕНИЕ ПРЕДИКАТОВ,PREDICATE CALCULUS,ПОГРУЖАЮЩАЯ ОПЕРАЦИЯ,ОБЪЕМЫ И АНТИОБЪЕМЫ ТЕРМИНОВ,EXTENSIONS AND ANTIEXTENSIONS OF TERMS,SYLLOGISTIC,EMBEDDING FUNCTION

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article/n/sillogistika-kak-logika-antiobemov-terminov
http://cyberleninka.ru/article_covers/16896610.png

Технология логического моделирования и анализа сложных систем

Πηγή: Инженерный вестник Дона.

Θεματικοί όροι: ЛОГИЧЕСКАЯ МОДЕЛЬ, ИСЧИСЛЕНИЕ ПРЕДИКАТОВ, ЛОГИЧЕСКИЕ ОШИБКИ, ИНТЕРПРЕТАТОР, ЛОГИЧЕСКАЯ СЕМАНТИКА, АНАЛИЗ

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article/n/tehnologiya-logicheskogo-modelirovaniya-i-analiza-slozhnyh-sistem
http://cyberleninka.ru/article_covers/14269937.png

Частичная выводимость предикатных формул как средство распознавания объектов с неполной информацией

Πηγή: Вестник Санкт-Петербургского университета. Серия 10. Прикладная математика. Информатика. Процессы управления.

Θεματικοί όροι: РАСПОЗНАВАНИЕ ОБРАЗОВ, НЕПОЛНАЯ ИНФОРМАЦИЯ, ИСЧИСЛЕНИЕ ПРЕДИКАТОВ, СЛОЖНОСТЬ АЛГОРИТМОВ

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article/n/chastichnaya-vyvodimost-predikatnyh-formul-kak-sredstvo-raspoznavaniya-obektov-s-nepolnoy-informatsiey
http://cyberleninka.ru/article_covers/14726101.png

Позитивная силлогистика C3+ с константой исчерпываемости

Πηγή: Логические исследования.

Θεματικοί όροι: СИЛЛОГИСТИКА,ИСЧИСЛЕНИЕ ПРЕДИКАТОВ,ПОГРУЖАЮЩАЯ ОПЕРАЦИЯ

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article/n/pozitivnaya-sillogistika-c3-s-konstantoy-ischerpyvaemosti
http://cyberleninka.ru/article_covers/15558344.png

Символическая логика: Пособие для практических занятий и самостоятельной работы

Συγγραφείς: Минаков, И.В.

Θεματικοί όροι: Research Subject Categories::HUMANITIES and RELIGION::History and philosophy subjects::Philosophy subjects, Research Subject Categories::SOCIAL SCIENCES::Social sciences::Education, формы высказываний, язык логики высказываний, отношение равносильности формул в логике высказываний. правило равносильной замены. тавтологии и противоречия, расширение языка пропозициональной логики, полные системы логических связок. закон двойственности, нормальная форма формул логики высказываний, семантическая проблема разрешения, конъюнктивные нормальные формы, понятие логического следования, дизъюнктивные нормальные формы, понятие логического вывода, системы натуральных исчислений высказываний, ограниченные классические логики, аксеоматические исчисления высказываний, формализованная силлогистика Я.Лукасевича, язык логики предикатов первого порядка (синтаксический аспект), теория значения (логическая семантика) для языка логики предикатов, аксеоматическое исчисление предикатов (АИП), общее понятие формальной теории (логического исчисления), проблема оснований математики, теоремы Гёделя

Relation: Минаков И.В. Символическая логика: Пособие для практических занятий и самостоятельной работы / И.В. Минаков. – Харьков, 2012. – 47 с.; http://dspace.univer.kharkov.ua/handle/123456789/9690

Διαθεσιμότητα: http://dspace.univer.kharkov.ua/handle/123456789/9690

Математическая логика и теория алгоритмов

Συγγραφείς: Богульская, Нина Александровна, Вепринцев, Дмитрий Владимирович

Συνεισφορές: Сибирский федеральный университет

Θεματικοί όροι: логика математическая, математическая логика, алгебра логики, алгоритмов теория, теория алгоритмов, исчисление предикатов, исчисление высказываний, булевы функции, учебные пособия

Relation: http://lib3.sfu-kras.ru/ft/lib2/elib/b22/0233326.pdf; https://openrepository.ru/article?id=445471

Διαθεσιμότητα: https://openrepository.ru/article?id=445471

Частичная выводимость предикатных формул как средство распознавания объектов с неполной информацией

Θεματικοί όροι: ИСЧИСЛЕНИЕ ПРЕДИКАТОВ, РАСПОЗНАВАНИЕ ОБРАЗОВ, PATTERN RECOGNITION, ALGORITHM COMPLEXITY, НЕПОЛНАЯ ИНФОРМАЦИЯ, PREDICATE CALCULUS, INCOMPLETE INFORMATION, СЛОЖНОСТЬ АЛГОРИТМОВ

Development and implementation of algorithms for construction of multi-level class description in creating self-modificated network ; Разработка и реализация алгоритмов для построения многоуровневого описания классов при создании самокорректирующейся сети

Συγγραφείς: Петров Дмитрий Андреевич, Petrov Dmitrii

Συνεισφορές: Косовская Татьяна Матвеевна, Доктор физико-математических наук, доцент Т.М.Косовская, Doctor of Physics and Mathematics, Associate Professor T.M.Kosovskaya

Θεματικοί όροι: самокорректирующаяся сеть, логико-предикатная сеть, распознавание образов, мат. логика, исчисление предикатов, наибольшая общая подформула, self-modificated network, logic-predicate network, pattern recognition, math. logic, predicate logic, greatest common formula

Relation: 010033; http://hdl.handle.net/11701/3949

Διαθεσιμότητα: http://hdl.handle.net/11701/3949

Лекции по математической логике и теории алгоритмов : учебно-методический комплекс

Συγγραφείς: Агибалов, Геннадий Петрович

Συνεισφορές: Томский государственный университет Институт дистанционного образования

Θεματικοί όροι: учебные пособия для вузов, электронные учебники, исчисление высказываний, исчисление предикатов, теория алгоритмов, математическая логика, тестовые задания, рекурсивные функции, Тьюринга машины, Маркова алгоритмы нормальные, формулы исчисления предикатов, формулы исчисления высказываний

Περιγραφή αρχείου: text/html

Relation: vtls:000243895; http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000243895

Διαθεσιμότητα: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000243895

Дискретная математика : учебное пособие

Συγγραφείς: Матросова, Анжела Юрьевна, Останин, Сергей Александрович

Συνεισφορές: Томский государственный университет Институт дистанционного образования

Θεματικοί όροι: учебные пособия для вузов, электронные учебники, алгебра логики, дизъюнктивные нормальные формы, дискретные системы, анализ дискретных систем, синтез дискретных систем, исчисление высказываний, тестовые задания, кодирование алфавитное, булевы функции, функции двойственные, k-значные логики, минимизация дизъюнктивных нормальных форм, матричное представление булевых функций, теория автоматов, исчисление предикатов

Περιγραφή αρχείου: text/html

Relation: vtls:000243889; http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000243889

Διαθεσιμότητα: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000243889

Лекции по математической логике : [учебное пособие для математических направлений и специальностей университетов]. Ч. 1

Συγγραφείς: Романович, Владимир Александрович

Συνεισφορές: Томский государственный университет

Θεματικοί όροι: учебные пособия для вузов, математическая логика, логика высказываний, Клини дедуктика, формулы логики высказываний, метод резолюций, логическое следствие, логика предикатов, предикаты, теорема о подстановке, формулы логики предикатов, Эрбрана теорема, Эрбрана-Скулема алгоритм, разрешимость класса формул, исчисление предикатов, логический вывод, теорема дедукции, Геделя теорема о полноте, множество рассогласований, алгоритм унификации, логическое программирование, логические программы, хорновские дизъюнкты, SLD-резолюции, дерево поиска, рекурсия, реляционные базы данных, анализ релейно-контактных схем, синтез релейно-контактных схем, логический анализ рассуждений

Περιγραφή αρχείου: application/pdf

Relation: vtls:000213588; URN:ISBN:594621165X; https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000213588

Διαθεσιμότητα: https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000213588