Т 76 Трохимчук, Ростислав Миколайович. Збірник задач і вправ з математичної логіки [] : навч. посіб. для студентів вищ. учб. закл. / Р. М. Трохимчук ; Міжрегіональна Академія Управління персоналом. - К. : Персонал, 2008. - 114 с. : табл. - Л-ра: с. 113. - ISBN 978-966-608-854-6 : 013.50 грн
Рубрики: Математика--Математична логіка--Навчальні видання для вищої школи фывфывфыв: математична логіка -- математическая логика -- задачі -- задачи -- логічні операції -- логические операции -- проблема розв'язності -- проблема разрешимости -- алгебра висловлень -- алгебра высказываний -- числення висловлень -- счисление высказываний -- теореми -- теоремы -- похідні правила виведення -- походные правила выведения -- логіка предикатів -- логика предикатов -- формули -- формулы -- рівносильність формул -- равносильность формул -- логічне слідування -- логическое следование -- формальна логіка -- формальная логика Аннотация: Збірник містить ретельно відібраний і систематизований набір відомих і оригинальних задач і вправ з класичних розділів математичної або формальної логіки: алгебра висловлень, числення висловлень і логіка предикатів. Кожному розділу передує короткий теоретичний вступ, де подано основні означення і терміни. Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Міжрегіональна Академія Управління персоналом Экземпляры всего: 1 ЧЗ (1) Свободны: ЧЗ (1) |
Т76 Трохимчук, Ростислав Миколайович. Основи дискретної математики [] : практикум / Р. М. Трохимчук ; Міжрегіон. акад. упр. персоналом. - К. : МАУП, 2004. - 168 с. : мал., табл. - Л-ра: с. 162-163. - ISBN 966-608-415-5 : 12.50 грн
Рубрики: Дискретна математика--Задачі--Навчальні видання для вищої школи фывфывфыв: дискретная математика -- множини і відношення -- множества и отношения -- комбінаторика -- комбинаторика -- теорія графів -- теория графов -- булеві функції -- булевые функции -- теорія автоматів -- теория автоматов Аннотация: Практикум містить задачі з курсу дискретної математики, а також теоретичний матеріал, необхідний для їх розв'язання. Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Міжрегіональна академія управління персоналом Экземпляры всего: 1 ЧЗ (1) Свободны: ЧЗ (1) |