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

Про нас

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

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

Бази даних

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

Вид пошуку

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

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

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

Зона пошуку

у знайденому

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

Відсортувати знайдені документи за:
автором	назвою	роком видання	типом документа

Пошуковий запит: <.>S=Математика -- Математична логіка<.>

Загальна кількість знайдених документів : 2
Показані документи с 1 за 2

510.6(076)
Т 76

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

УДК

510.6(076)

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

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

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

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

510.2
Р83

Ружа, Имре.
Основания математики [] / Имре Ружа ; пер. с нем.: М. М. Беловой, В. И. Костенко ; под общ. ред. В. Л. Макарова = Die Begriffstwelt der Mathematik / Imre Ruzsa : [монография]. - К. : Вища школа, 1981. - 352 с. : рис. - Лит.: с. 338. - Указ. имен: с. 339-341. - Предм. указ.: с. 342-347. - 3.90 р.

УДК

510.2

ББК 22.12
Рубрики: Математика--Математична логіка--Наукові видання
Кл.слова (ненормовані):
основания математики -- основи математики -- пространство и математика -- простір і математика -- история математики -- історія математики -- математика -- бесконечность -- нескінченність
Анотація: Монография дает представление о характере развития и содержания отдельных понятий и разделов математики, сыгравших важную роль в процессе формирования ее в современную отрасль науки. Особое внимание уделено вопросам, связанным с основаниями математики.

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

Дод.точки доступу:
Белова, М. М. \пер.\; Костенко, В. И. \пер.\; Макаров, В. Л. \ред.\
Примірників всього: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Знайти схожі

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)