Гладка, О. М. та 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 |
![]() |
Перегляд елементу |
Завантажень
Завантажень за місяць протягом останнього року


Статистика завантажень
Статистика завантажень