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

Downloads

Downloads per month over past year

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

[img]
Preview
Text
ОПИС ВД БАК Комп логіка і логіка предикатів Гладка (2).pdf

Download(210kB) | Preview
Item Type: Опис дисципліни
Uncontrolled Keywords: Булева (двійкова) алгебра, булеві функції, логіка висловлень, логіка предикатів, дедуктивний висновок. Boolean (binary) algebra, Boolean functions, logic of utterances, predicate logic, deductive conclusion.
Subjects: За напрямами > Усі спеціальності
Depositing User: В.М. Бежук
Date Deposited: 12 Feb 2018 13:13
Last Modified: 12 Feb 2018 13:13
URI: http://ep3.nuwm.edu.ua/id/eprint/8463

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year