Гладка, О. М. та Hladka, O. M. (2018) Комп'ютерна логіка і логіка предикатів (укр.) Computer logic and predicate logic (en.). [Опис дисципліни]
|
Text
ОПИС ВД БАК Комп логіка і логіка предикатів Гладка (2).pdf Download(210kB) | Перегляд |
Тип елементу : | Опис дисципліни |
---|---|
Ключові слова: | Булева (двійкова) алгебра, булеві функції, логіка висловлень, логіка предикатів, дедуктивний висновок. Boolean (binary) algebra, Boolean functions, logic of utterances, predicate logic, deductive conclusion. |
Тематики: | За напрямами > Усі спеціальності |
Користувач, що депонує: | В.М. Бежук |
Дата внесення: | 12 Лют 2018 13:13 |
Останні зміни: | 12 Лют 2018 13:13 |
URI: | http://ep3.nuwm.edu.ua/id/eprint/8463 |
Перегляд елементу |
Завантажень
Завантажень за місяць протягом останнього року