-
1Academic Journal
Source: Chebyshevskii Sbornik; Том 25, № 2 (2024); 222-234 ; Чебышевский сборник; Том 25, № 2 (2024); 222-234 ; 2226-8383 ; 10.22405/2226-8383-2024-25-2
Subject Terms: хорновский интерполянт, classical predicate calculus, universal interpolant, Horn interpolant, классическое исчисление предикатов, универсальный интерполянт
File Description: 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
-
2Academic Journal
Authors: МАРКИН ВЛАДИМИР ИЛЬИЧ
File Description: text/html
-
3Academic Journal
-
4Academic Journal
Authors: Ильичева, Ольга
Subject Terms: ЛОГИЧЕСКАЯ МОДЕЛЬ, ИСЧИСЛЕНИЕ ПРЕДИКАТОВ, ЛОГИЧЕСКИЕ ОШИБКИ, ИНТЕРПРЕТАТОР, ЛОГИЧЕСКАЯ СЕМАНТИКА, АНАЛИЗ
File Description: text/html
-
5Academic Journal
Authors: Маркин, В.
Subject Terms: СИЛЛОГИСТИКА,ИСЧИСЛЕНИЕ ПРЕДИКАТОВ,ПОГРУЖАЮЩАЯ ОПЕРАЦИЯ
File Description: text/html
-
6Academic Journal
Authors: Косовская, Татьяна
Subject Terms: РАСПОЗНАВАНИЕ ОБРАЗОВ, НЕПОЛНАЯ ИНФОРМАЦИЯ, ИСЧИСЛЕНИЕ ПРЕДИКАТОВ, СЛОЖНОСТЬ АЛГОРИТМОВ
File Description: text/html
-
7Book
Contributors: Сибирский федеральный университет
Subject Terms: булевы функции, логика математическая, исчисление предикатов, исчисление высказываний, учебные пособия, алгебра логики, алгоритмов теория, теория алгоритмов, математическая логика
Access URL: https://openrepository.ru/article?id=445471
-
8Academic Journal
Source: Вестник Санкт-Петербургского университета. Серия 10. Прикладная математика. Информатика. Процессы управления.
File Description: text/html
-
9Academic Journal
Source: Логические исследования.
File Description: text/html
-
10Academic Journal
Source: Инженерный вестник Дона.
Subject Terms: ЛОГИЧЕСКАЯ МОДЕЛЬ, ИСЧИСЛЕНИЕ ПРЕДИКАТОВ, ЛОГИЧЕСКИЕ ОШИБКИ, ИНТЕРПРЕТАТОР, ЛОГИЧЕСКАЯ СЕМАНТИКА, АНАЛИЗ
File Description: text/html
-
11Academic Journal
Source: Вестник Санкт-Петербургского университета. Серия 10. Прикладная математика. Информатика. Процессы управления.
Subject Terms: РАСПОЗНАВАНИЕ ОБРАЗОВ, НЕПОЛНАЯ ИНФОРМАЦИЯ, ИСЧИСЛЕНИЕ ПРЕДИКАТОВ, СЛОЖНОСТЬ АЛГОРИТМОВ
File Description: text/html
-
12Academic Journal
Source: Логические исследования.
Subject Terms: СИЛЛОГИСТИКА,ИСЧИСЛЕНИЕ ПРЕДИКАТОВ,ПОГРУЖАЮЩАЯ ОПЕРАЦИЯ
File Description: text/html
-
13Book
Authors: Минаков, И.В.
Subject Terms: 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
Availability: http://dspace.univer.kharkov.ua/handle/123456789/9690
-
14Book
Contributors: Сибирский федеральный университет
Subject Terms: логика математическая, математическая логика, алгебра логики, алгоритмов теория, теория алгоритмов, исчисление предикатов, исчисление высказываний, булевы функции, учебные пособия
Relation: http://lib3.sfu-kras.ru/ft/lib2/elib/b22/0233326.pdf; https://openrepository.ru/article?id=445471
Availability: https://openrepository.ru/article?id=445471
-
15
-
16
Authors: Петров Дмитрий Андреевич, Petrov Dmitrii
Contributors: Косовская Татьяна Матвеевна, Доктор физико-математических наук, доцент Т.М.Косовская, Doctor of Physics and Mathematics, Associate Professor T.M.Kosovskaya
Subject Terms: самокорректирующаяся сеть, логико-предикатная сеть, распознавание образов, мат. логика, исчисление предикатов, наибольшая общая подформула, self-modificated network, logic-predicate network, pattern recognition, math. logic, predicate logic, greatest common formula
Relation: 010033; http://hdl.handle.net/11701/3949
Availability: http://hdl.handle.net/11701/3949
-
17
Authors: Агибалов, Геннадий Петрович
Contributors: Томский государственный университет Институт дистанционного образования
Subject Terms: учебные пособия для вузов, электронные учебники, исчисление высказываний, исчисление предикатов, теория алгоритмов, математическая логика, тестовые задания, рекурсивные функции, Тьюринга машины, Маркова алгоритмы нормальные, формулы исчисления предикатов, формулы исчисления высказываний
File Description: text/html
Relation: vtls:000243895; http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000243895
-
18
Contributors: Томский государственный университет Институт дистанционного образования
Subject Terms: учебные пособия для вузов, электронные учебники, алгебра логики, дизъюнктивные нормальные формы, дискретные системы, анализ дискретных систем, синтез дискретных систем, исчисление высказываний, тестовые задания, кодирование алфавитное, булевы функции, функции двойственные, k-значные логики, минимизация дизъюнктивных нормальных форм, матричное представление булевых функций, теория автоматов, исчисление предикатов
File Description: text/html
Relation: vtls:000243889; http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000243889
-
19
Authors: Романович, Владимир Александрович
Contributors: Томский государственный университет
Subject Terms: учебные пособия для вузов, математическая логика, логика высказываний, Клини дедуктика, формулы логики высказываний, метод резолюций, логическое следствие, логика предикатов, предикаты, теорема о подстановке, формулы логики предикатов, Эрбрана теорема, Эрбрана-Скулема алгоритм, разрешимость класса формул, исчисление предикатов, логический вывод, теорема дедукции, Геделя теорема о полноте, множество рассогласований, алгоритм унификации, логическое программирование, логические программы, хорновские дизъюнкты, SLD-резолюции, дерево поиска, рекурсия, реляционные базы данных, анализ релейно-контактных схем, синтез релейно-контактных схем, логический анализ рассуждений
File Description: application/pdf
Relation: vtls:000213588; URN:ISBN:594621165X; https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000213588
