Форма документа : Однотомне видання Шифр видання : 510.6(076)/Т 76 Автор(и) : Трохимчук, Ростислав Миколайович Назва : Збірник задач і вправ з математичної логіки : Навч. посіб. для студентів вищ. учб. закл. Вихідні дані : К.: Персонал, 2008 Кільк.характеристики :114 с.: табл. Колективи : Міжрегіональна Академія Управління персоналом Примітки : Л-ра: с. 113 ISBN, Ціна 978-966-608-854-6: 013.50 грн УДК : 510.6(076) ББК : 22.12я73 Предметні рубрики: Математика-- Математична логіка Географіч. рубрики: Анотація: Збірник містить ретельно відібраний і систематизований набір відомих і оригинальних задач і вправ з класичних розділів математичної або формальної логіки: алгебра висловлень, числення висловлень і логіка предикатів. Кожному розділу передує короткий теоретичний вступ, де подано основні означення і терміни. Примірники :ЧЗ(1) Вільні : ЧЗ(1) Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Міжрегіональна Академія Управління персоналом