О теоремах исчисления высказываний ; Про теореми числення висловлювань ; About the theorems of propositional calculus

Authors: В.А. Лещинский, В.О. Лещінський, V.A. Leschinsky

Source: Системи обробки інформації. — 2016. — № 9(146). 97-100 ; Системы обработки информации. — 2016. — № 9(146). 97-100 ; Information Processing Systems. — 2016. — № 9(146). 97-100 ; 1681-7710

Subject Terms: Обробка інформації в складних організаційних системах, УДК 519.7, исчисление высказываний, теорема исчисления высказываний, законы логики высказываний, непротиворечивость, полнота исчисления высказываний, числення висловлювань, теорема числення висловлювань, закони логіки висловлювань, несуперечність, повнота числення висловлювань, propositional calculus, propositional calculus theorem, expressions logic laws, uncontradiction, propositional calculus plenitude

File Description: application/pdf

Relation: http://www.hups.mil.gov.ua/periodic-app/article/17120/soi_2016_9_23.pdf; http://www.hups.mil.gov.ua/periodic-app/article/17120

Availability: http://www.hups.mil.gov.ua/periodic-app/article/17120

О формальных свойствах исчисления высказываний ; Про формальні властивості числення висловлювань ; About formal properties of propositional calculus

Authors: В.А. Лещинский, И.А. Лещинская, В.О. Лещінський, І.О. Лещінська, V.A. Leschinskiy, I.A. Leschinska

Source: Системи озброєння і військова техніка. — 2016. — № 3(47). 85-87 ; Системы вооружения и военная техника. — 2016. — № 3(47). 85-87 ; Systems of Arms and Military Equipment. — 2016. — № 3(47). 85-87 ; 1997-9568

Subject Terms: Теоретичні основи розробки та експлуатації систем озброєння, УДК 519.7, исчисление высказываний, формальная непротиворечивость, полнота, разрешимость, логическое исчисление, независимость аксиом, метод интерпретации, числення висловлювань, формальна несуперечність, повнота, вирішувана, логічне числення, незалежність аксіом, метод інтерпретації, propositional calculus, the formal consistency, completeness, decidability, logical calculus, the independence of the axioms, method of interpretation

File Description: application/pdf

Relation: http://www.hups.mil.gov.ua/periodic-app/article/17067/soivt_2016_3_20.pdf; http://www.hups.mil.gov.ua/periodic-app/article/17067

Availability: http://www.hups.mil.gov.ua/periodic-app/article/17067

ПОЯСНЮВАЛЬНА ЗАПИСКА ДО ДИПЛОМНОЇ РОБОТИ на тему ТРЕНАЖЕР З ТЕМИ «ЧИСЛЕННЯ ВИСЛОВЛЮВАНЬ» ДИСТАНЦІЙНОГО НАВЧАЛЬНОГО КУРСУ «МАТЕМАТИЧНА ЛОГІКА» ТА РОЗРОБКА ЙОГО ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ

Authors: Москаленко, Артем Олегович

Subject Terms: дистанційне навчання, тренажер, дистанційний курс, математична логіка, числення висловлювань

Relation: http://dspace.puet.edu.ua/handle/123456789/7554

Availability: http://dspace.puet.edu.ua/handle/123456789/7554

Експертні системи: Основи математичної логіки

Contributors: НТУУ «КПІ», Електронiки, Калніболотський, Ю. М., Редько, І. В., Бондаренко, Н. О.

Subject Terms: логіка висловлювань, числення висловлювань, логіка предикатів

File Description: application/msword

Relation: Експертні системи: Основи математичної логіки [Електронний ресурс] : навчальний посібник для студентів спеціальності «Радіоелектронні апарати та засоби» / НТУУ «КПІ»; уклад. Ю. М. Калніболотський, І. В. Редько, Н. О. Бондаренко. – Електронні текстові дані (1 файл: 1,81 Мбайт). – Київ : НТУУ «КПІ», 2011. – Назва з екрана.; https://ela.kpi.ua/handle/123456789/1587

Availability: https://ela.kpi.ua/handle/123456789/1587