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

Про нас

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

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

Бази даних

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

Вид пошуку

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

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

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

Зона пошуку

у знайденому

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

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

Пошуковий запит: <.>K=числення висловів<.>

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

510.6
Н73

Новиков, Петр Сергеевич.
Элементы математической логики [] / П. С. Новиков. - 2-е изд., испр. . - М. : Наука, Гл. ред. физ.-мат. лит., 1973. - 400 с. - (Математическая логика и основания математики). - Предм. указ.: с. 397-399. - 1.43 р.

УДК

510.6

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

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

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

510.6(075.8)
Е80

Ершов, Юрий Леонидович.
Математическая логика [] : учеб. пособие для студентов мат. специальностей высш. учеб. заведений / Ю. Л. Ершов, Е. А. Палютин ; [ред. В. В. Донченко]. - 2-е изд., испр. и доп. - М. : Наука, Гл. ред. физ.-мат. лит., 1987. - 236 с. - Предм. указ.: с. 335-336. - 0.95 р.

УДК

510.6(075.8)

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

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

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

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

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