Т 76 Трохимчук, Ростислав Миколайович. Збірник задач і вправ з математичної логіки [] : навч. посіб. для студентів вищ. учб. закл. / Р. М. Трохимчук ; Міжрегіональна Академія Управління персоналом. - К. : Персонал, 2008. - 114 с. : табл. - Л-ра: с. 113. - ISBN 978-966-608-854-6 : 013.50 грн
Рубрики: Математика--Математична логіка--Навчальні видання для вищої школи фывфывфыв: математична логіка -- математическая логика -- задачі -- задачи -- логічні операції -- логические операции -- проблема розв'язності -- проблема разрешимости -- алгебра висловлень -- алгебра высказываний -- числення висловлень -- счисление высказываний -- теореми -- теоремы -- похідні правила виведення -- походные правила выведения -- логіка предикатів -- логика предикатов -- формули -- формулы -- рівносильність формул -- равносильность формул -- логічне слідування -- логическое следование -- формальна логіка -- формальная логика Аннотация: Збірник містить ретельно відібраний і систематизований набір відомих і оригинальних задач і вправ з класичних розділів математичної або формальної логіки: алгебра висловлень, числення висловлень і логіка предикатів. Кожному розділу передує короткий теоретичний вступ, де подано основні означення і терміни. Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Міжрегіональна Академія Управління персоналом Экземпляры всего: 1 ЧЗ (1) Свободны: ЧЗ (1) |
С71 Спекторський, Ігор Якович. Дискретна математика [] : навч. посібник / І. Я. Спекторський. - 2-ге вид., випр. и доп. - К. : Політехніка НТУУ "КПІ", 2004. - 220 с. : рис. - Л-ра: с. 213-214. - ISBN 966-622-136-5 : 18.00 грн
Рубрики: Дискретна математика--Навчальні видання для вищої школи фывфывфыв: дискретна математика -- дискретная математика -- алгебра висловлень -- алгебра высказываний -- теорія множин -- теория множеств -- теорія відношень -- теория отношений -- комбінаторика -- комбинаторика -- теорія графів -- теория графов -- теорія груп -- теория групп -- теорія кілець -- теория колец -- алгебра множин -- алгебра множеств Аннотация: Містить теоретичні відомості із традиційних розділів дискретної математики. Держатели документа: ЖОУНБ ім. О. Ольжича Экземпляры всего: 3 ФОНД (1), ЧЗ (2) Свободны: ФОНД (1), ЧЗ (2) |
Н73 Новиков, Петр Сергеевич. Элементы математической логики [] / П. С. Новиков. - 2-е изд., испр. . - М. : Наука, Гл. ред. физ.-мат. лит., 1973. - 400 с. - (Математическая логика и основания математики). - Предм. указ.: с. 397-399. - 1.43 р.
Рубрики: Математична логіка--Навчальні видання фывфывфыв: логічні операції -- логические операции -- алгебра висловлювань -- алгебра высказываний -- числення висловів -- исчисление высказываний -- теорема дедукции -- еквівалентні формули -- эквивалентные формулы -- логіка предикатів -- логика предикатов -- обчислення предикатів -- исчисление предикатов -- аксіоматична арифметика -- аксиоматическая арифметика -- теорія доказів -- теория доказательств Аннотация: Изложены основы математической логики, рассмотрены методы теории доказательств, посредством которых решаются вопросы математической логики. Держатели документа: ЖОУНБ ім. О. Ольжича Экземпляры всего: 2 ЧЗ (1), ФОНД (1) Свободны: ЧЗ (1), ФОНД (1) |
З-13 Завало, Сергій Трофімович Алгебра і теорія чисел [Текстььь] : підручник для студ. фіз.-мат. ф-тів пед. ін-тів / С. Т. Завало, В. М. Костарчук, Б. І. Хацет. - К. : Вища шк., 1974. Ч. 1. - 1974. - 464 с. : рис. - Л-ра: с. 458-459. - 1.19 р.
Рубрики: Алгебра--Навчальні видання для вищої школи Чисел теорія--Навчальні видання для вищої школи фывфывфыв: алгебра висловлень -- алгебра высказываний -- множини -- множества -- функції -- функции -- предикати -- предикаты -- алгебраїчні структури -- алгебраические структуры -- числові поля -- числовые поля -- системи лінійних рівнянь -- системы линейных уравнений -- детермінанти -- детерминанты -- матриці -- матрицы -- векторні простори -- векторные пространства -- лінійні оператори -- линейны операторы Аннотация: В книзі на основі теоретико-множинних уявлень висвітлені такі фундаментальні поняття математики, як ставлення, відповідність, функція, алгебраїчна структура. Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Костарчук, Віктор Миколайович; Хацет, Борис Ісакович Экземпляры всего: 3 ЧЗ (1), ФОНД (1), АБ (1) Свободны: ЧЗ (1), ФОНД (1), АБ (1) |
К28 Касаткин, Валентин Николаевич. Логическое программирование в занимательных задачах [] / В. Н. Касаткин ; [ред. Л. О. Полянская]. - Киев : Техніка, 1980. - 79 с. : рис., табл. - Прил.: с. 69-79. - 1.10 р.
Рубрики: Дискретне програмування--Логічні задачі--Популярні видання Електронні обчислювальні пристрої--Використання--Популярні видання фывфывфыв: электронно-вычислительные машины -- електронно-обчислювальні машини -- логика мышления -- логіка мислення -- логика решений -- логіка рішень -- алгоритм моделировання эволюции -- алгоритм моделювання еволюції -- алгоритм узнавания -- алгоритм впізнавання -- алгебра высказываний -- алгебра висловлювань Аннотация: Вычислительные машины выступают соперником человека в играх, они решают логические задачи, моделируют распознавание человеческих образов. Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Полянская, Л. О. \ред.\ Экземпляры всего: 3 ВВ (1), АБ (1), ЧЗ (1) Свободны: ВВ (1), АБ (1), ЧЗ (1) |