К 64 Конверський, Анатолій Євгенович. Логіка (традиційна та сучасна) [] : підручник для студ. вищ. навч. закл. / А. Є. Конверський. - 2-е вид. - К. : Центр учбов. л-ри, 2008. - 536 с. - Л-ра: с.534-535. - ISBN 978-966-364-735-7 : 90.00 грн
Рубрики: Логіка--Навчальні видання для вищої школи фывфывфыв: мислення -- мышление -- мова -- язык -- формалізація -- формализация -- поняття -- понятие -- судження -- суждение -- умовивід -- умозаключение -- аргументація -- аргументация -- спростування -- опровержение -- логіка висловлювань -- логика высказываний -- класична логіка -- классическая логика -- логіка предикатів -- логика предикатов -- некласична логіка -- неклассическая логика -- багатозначна логіка -- многозначная логика -- модальна логіка -- модальная логика -- закони логіки -- законы логики -- аналогія -- аналогия -- історія логіки -- история логики -- сучасна логіка -- современная логика -- традиційна логіка -- традиционная логика Аннотация: Підручник складається із двох книг: "Традиційна логіка" і "Сучасна логіка". Його написано на основі досвіду читання курсу "Логіка" в Київському національному університеті ім. Тараса Шевченка. Держатели документа: ЖОУНБ ім. О. Ольжича Экземпляры всего: 1 ФОНД (1) Свободны: ФОНД (1) |
В 18 Вариченко, Леонид Викторович. Абстрактные алгебраические системы и цифровая обработка сигналов [] / Л. В. Вариченко, В. Г. Лабунец, М. А. Раков. - К. : Наук. думка, 1986. - 248 с. : рис., табл. - (Наука и технический прогресс). - Лит.: с. 237-245. - 3.40 р.
Рубрики: Кібернетика--Наукові видання фывфывфыв: теорія кінцевих груп -- теория конечных групп -- теорія кілець -- теория колец -- изоморфизм -- ізоморфізм -- гомоморфизм -- теорія полів -- теория полей -- абелеві групи -- абелевые группы -- перетворення спектрів -- преобразование спектров -- модульні операції -- модульные операции -- векторний процес -- багатозначна логіка -- многозначная логика Аннотация: Рассмотрены вопросы использования абстрактных алгебраических систем для цифровой обработки сигналов. Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Лабунец, Валерий Григорьевич; Раков, Михаил Аркадьевич; Беленький, Я. Е. \ред.\ Экземпляры всего: 3 ВВ (1), ФОНД (2) Свободны: ВВ (1), ФОНД (2) |
П62 Поспелов, Дмитрий Александрович. Логические методы анализа и синтеза схем [] / Д. А. Поспелов. - 3-е изд., испр. и доп. - М. : Энергия, 1974. - 368 с. : рис., табл. - Лит.: с. 361-365. - 1.16 р.
Рубрики: Релейні схеми--Математична логіка--Практичні посібники фывфывфыв: функции алгебры логики -- функції алгебри логіки -- логические сети -- логічні мережі -- системы функций -- системи функцій -- функции Шеффера -- функції Шеффера -- функции Вебба -- функції Вебба -- метод неопределенных коэффициентов -- метод невизначених коефіцієнтів -- метод Квайна-Мак-Класки -- метод Блека-Порецкого -- синтез невременных схем -- синтез нечасових схем -- анализ невременных схем -- аналіз нечасових схем -- временные булевые функции -- часові бульові функції -- рекуррентные булевые функции -- рекурентні бульові функції -- многозначная логика -- багатозначна логіка -- трехзначная логика -- тризначна логіка Аннотация: Методы синтеза схем, построенных на основе типовых логических базисов, их реализация на основе элементов. Держатели документа: ЖОУНБ ім. О. Ольжича Экземпляры всего: 1 ВВ (1) Свободны: ВВ (1) |