О теоремах исчисления высказываний ; Про теореми числення висловлювань ; 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