Зведений каталог Житомирської обласної універсальної наукової бібліотеки ім. О. Ольжича та бібліотек Житомирської області

Про нас

Електронний депозитарій LIBO

Зведений каталог України

Базы данных

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

Вид поиска

Електронний каталог ЖОУНБ ім. О. Ольжича

Цінні та рідкісні видання ЖОУНБ ім. О. Ольжича

Звягельська бібліотека ЗМР

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: <.>K=алгебра висловлень<.>

Общее количество найденных документов : 3
Показаны документы с 1 по 3

510.6(076)
Т 76

Трохимчук, Ростислав Миколайович.
Збірник задач і вправ з математичної логіки [] : навч. посіб. для студентів вищ. учб. закл. / Р. М. Трохимчук ; Міжрегіональна Академія Управління персоналом. - К. : Персонал, 2008. - 114 с. : табл. - Л-ра: с. 113. - ISBN 978-966-608-854-6 : 013.50 грн

УДК

510.6(076)

ББК 22.12я73
Рубрики: Математика--Математична логіка--Навчальні видання для вищої школи

фывфывфыв:
математична логіка -- математическая логика -- задачі -- задачи -- логічні операції -- логические операции -- проблема розв'язності -- проблема разрешимости -- алгебра висловлень -- алгебра высказываний -- числення висловлень -- счисление высказываний -- теореми -- теоремы -- похідні правила виведення -- походные правила выведения -- логіка предикатів -- логика предикатов -- формули -- формулы -- рівносильність формул -- равносильность формул -- логічне слідування -- логическое следование -- формальна логіка -- формальная логика
Аннотация: Збірник містить ретельно відібраний і систематизований набір відомих і оригинальних задач і вправ з класичних розділів математичної або формальної логіки: алгебра висловлень, числення висловлень і логіка предикатів. Кожному розділу передує короткий теоретичний вступ, де подано основні означення і терміни.

Держатели документа:
ЖОУНБ ім. О. Ольжича

Доп.точки доступа:
Міжрегіональна Академія Управління персоналом
Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Найти похожие

519.1(075.8)
С71

Спекторський, Ігор Якович.
Дискретна математика [] : навч. посібник / І. Я. Спекторський. - 2-ге вид., випр. и доп. - К. : Політехніка НТУУ "КПІ", 2004. - 220 с. : рис. - Л-ра: с. 213-214. - ISBN 966-622-136-5 : 18.00 грн

УДК

519.1(075.8)

ББК 22.17я73
Рубрики: Дискретна математика--Навчальні видання для вищої школи

фывфывфыв:
дискретна математика -- дискретная математика -- алгебра висловлень -- алгебра высказываний -- теорія множин -- теория множеств -- теорія відношень -- теория отношений -- комбінаторика -- комбинаторика -- теорія графів -- теория графов -- теорія груп -- теория групп -- теорія кілець -- теория колец -- алгебра множин -- алгебра множеств
Аннотация: Містить теоретичні відомості із традиційних розділів дискретної математики.

Держатели документа:
ЖОУНБ ім. О. Ольжича
Экземпляры всего: 3
ФОНД (1), ЧЗ (2)
Свободны: ФОНД (1), ЧЗ (2)
Найти похожие

512:511(075.8)
З-13

   Завало, Сергій Трофімович
    Алгебра і теорія чисел [Текстььь] : підручник для студ. фіз.-мат. ф-тів пед. ін-тів / С. Т. Завало, В. М. Костарчук, Б. І. Хацет. - К. : Вища шк., 1974.
   Ч. 1. - 1974. - 464 с. : рис. - Л-ра: с. 458-459. - 1.19 р.

УДК

512:511(075.8)

ББК 22.14я73 + 22.13я73
Рубрики: Алгебра--Навчальні видання для вищої школи
Чисел теорія--Навчальні видання для вищої школи

фывфывфыв:
алгебра висловлень -- алгебра высказываний -- множини -- множества -- функції -- функции -- предикати -- предикаты -- алгебраїчні структури -- алгебраические структуры -- числові поля -- числовые поля -- системи лінійних рівнянь -- системы линейных уравнений -- детермінанти -- детерминанты -- матриці -- матрицы -- векторні простори -- векторные пространства -- лінійні оператори -- линейны операторы
Аннотация: В книзі на основі теоретико-множинних уявлень висвітлені такі фундаментальні поняття математики, як ставлення, відповідність, функція, алгебраїчна структура.

Держатели документа:
ЖОУНБ ім. О. Ольжича

Доп.точки доступа:
Костарчук, Віктор Миколайович; Хацет, Борис Ісакович
Экземпляры всего: 3
ЧЗ (1), ФОНД (1), АБ (1)
Свободны: ЧЗ (1), ФОНД (1), АБ (1)
Найти похожие

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