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