16(075) Ж79     Жоль, Костянтин Костянтинович.     Вступ до сучасної логіки [] : навч. посібник для студ. гуманіт. спец. вищ. навч. закл. / К. К. Жоль ; [ред. О. М. Належита]. - К. : Либідь, 2002. - 152 с. - Бібліогр.: с. 141-151. - ISBN 966-06-0241-3 : 8.70 грн УДК 16(075) ББК 87.4я73 Рубрики: Логіка--Навчальні видання для вищої школи     фывфывфыв: сучасна логіка -- современная логика -- металогіка -- металогика -- логіка висловлень -- логика высказываний -- логіка предикатів -- логика предикатов -- логіка і кібернетика -- логика и кибернетика -- конструктивна логіка -- конструктивная логика -- логічна семантика -- логическая семантика -- дескрипція -- дескрипция -- закони логіки -- законы логики -- теорія кінцевих автоматів -- теория конечных автоматов -- математичний конструктивізм -- математический конструктивизм -- теорія множин -- теория множеств -- аксіоматика в логіці -- аксиоматика в логике -- логічні дослідження -- логические исследования -- формальна логіка -- формальная логика -- символічна логіка -- символическая логика -- індуктивні умовиводи -- индуктивные умозаключения -- дедуктивні умовиводи -- дедуктивные умозаключения -- модальна логіка -- модальная логика -- "штучний інтелект" -- "искусственный интеллект " Аннотация: Основні поняття й методи сучасної логіки, зв’язок логіки з гуманітарними, природничими та технічними науками, значення логіки для програмного забезпечення сучасних комп’ютерів. Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Належита, О. М. \ред.\ Экземпляры всего: 6 МИСТ (1), ЧЗ (4), ФОНД (1) Свободны: МИСТ (1), ЧЗ (4), ФОНД (1)

681.5:681.5.013 Л36     Левин, Виталий Ильич.     Статистический надежностный синтез автоматов [] / В. И. Левин ; Акад. наук Латвийской ССР, Ин-т электроники и вычисл. техники. - Рига : Зинатне, 1974. - 292 с. : рис., табл. - Лит.: с. 270-275. - Предм. указ.: с. 276-278. - 1.29 р. УДК 681.5:681.5.013 ББК 32.815 Рубрики: Автоматів теорія--Наукові видання    Дискретні автоматичні системи--Наукові видання     фывфывфыв: теория конечных автоматов -- теорія кінцевих автоматів -- синтез конечных автоматов -- синтез кінцевих автоматів -- восстановление правильного сигнала -- відновлення правильного сигналу -- дискретные устройства -- дискретні пристрої -- предельная достижимая надежность -- гранично досягнута надійність -- асимптотический метод оценки ошибок -- асимптотичний метод оцінки помилок -- интеграл Лапласа -- інтеграл Лапласа -- отношение правдоподобности -- відношення правдоподібності -- проверка гипотезы -- перевірка гіпотези -- характеристика восстановления элемента -- характеристика відновлення елемента -- функция Дирихле -- функція Діріхле -- структурная схема индикатора -- структурна схема індикатора Аннотация: Использование избыточности в дискретных устройствах автоматики и вычислительной техники. Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Академия наук Латвийской ССР Институт электроники и вычислительной техники Экземпляры всего: 1 ВВ (1) Свободны: ВВ (1)