Про нас Електронний депозитарій LIBO Зведений каталог України
Авторизация
Фамилия
Пароль
 

Базы данных


Електронний каталог ЖОУНБ ім. О. Ольжича- результаты поиска

Вид поиска

Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Поисковый запрос: <.>K=счисление высказываний<.>
Общее количество найденных документов : 1
1.

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

 
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)