Комп'ютерна логіка і логіка предикатів (укр.) Computer logic and predicate logic (en.)

Завантажень

Завантажень за місяць протягом останнього року

Гладка, О. М. та Hladka, O. M. (2018) Комп'ютерна логіка і логіка предикатів (укр.) Computer logic and predicate logic (en.). [Опис дисципліни]

[img]
Перегляд
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
Перегляд елементу Перегляд елементу

Завантажень

Завантажень за місяць протягом останнього року