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

Συγγραφείς: В.А. Лещинский, В.О. Лещінський, V.A. Leschinsky

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

Θεματικοί όροι: Обробка інформації в складних організаційних системах, УДК 519.7, исчисление высказываний, теорема исчисления высказываний, законы логики высказываний, непротиворечивость, полнота исчисления высказываний, числення висловлювань, теорема числення висловлювань, закони логіки висловлювань, несуперечність, повнота числення висловлювань, propositional calculus, propositional calculus theorem, expressions logic laws, uncontradiction, propositional calculus plenitude

Περιγραφή αρχείου: 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

Διαθεσιμότητα: http://www.hups.mil.gov.ua/periodic-app/article/17120

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

Συγγραφείς: В.А. Лещинский, И.А. Лещинская, В.О. Лещінський, І.О. Лещінська, V.A. Leschinskiy, I.A. Leschinska

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

Θεματικοί όροι: Теоретичні основи розробки та експлуатації систем озброєння, УДК 519.7, исчисление высказываний, формальная непротиворечивость, полнота, разрешимость, логическое исчисление, независимость аксиом, метод интерпретации, числення висловлювань, формальна несуперечність, повнота, вирішувана, логічне числення, незалежність аксіом, метод інтерпретації, propositional calculus, the formal consistency, completeness, decidability, logical calculus, the independence of the axioms, method of interpretation

Περιγραφή αρχείου: 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

Διαθεσιμότητα: http://www.hups.mil.gov.ua/periodic-app/article/17067

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

Συγγραφείς: Москаленко, Артем Олегович

Θεματικοί όροι: дистанційне навчання, тренажер, дистанційний курс, математична логіка, числення висловлювань

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

Διαθεσιμότητα: http://dspace.puet.edu.ua/handle/123456789/7554

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

Συνεισφορές: НТУУ «КПІ», Електронiки, Калніболотський, Ю. М., Редько, І. В., Бондаренко, Н. О.

Θεματικοί όροι: логіка висловлювань, числення висловлювань, логіка предикатів

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

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

Διαθεσιμότητα: https://ela.kpi.ua/handle/123456789/1587