-
1Academic Journal
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
-
2Academic Journal
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
-
3Image
Authors: Москаленко, Артем Олегович
Subject Terms: дистанційне навчання, тренажер, дистанційний курс, математична логіка, числення висловлювань
Availability: http://dspace.puet.edu.ua/handle/123456789/7554
-
4
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