Поисковый запрос: (<.>K=исчисление высказываний<.>) |
Общее количество найденных документов : 8
Показаны документы с 1 по 8 |
>1.
| Владимиров, Денис Артемьевич. Булевы алгебры : научное издание. - М. : Наука
, 1969. - 318 с. (
4 экз. )
|
>2.
| Глухов, Михаил Михайлович. Математическая логика. Дискретные функции. Теория алгоритмов [Электр.ресурс] : учебное пособие. - СПб. : Лань
, 2021 on-line (
экз. )
|
>3.
| Журавлев, Юрий Иванович. Дискретный анализ. Формальные системы и алгоритмы [Электр.ресурс] : учебное пособие для вузов. - М. : Юрайт
, 2020 on-line (
экз. )
|
>4.
| Игошин, Владимир Иванович. Задачи и упражнения по математической логике и теории алгоритмов : учебное пособие для вузов. - М. : Академия
, 2008. - 304 с. (
1 экз. )
|
>5.
| Игошин, Владимир Иванович. Математическая логика и теория алгоритмов : учебное пособие. - М. : Академия
, 2010. - 448 с. (
2 экз. )
|
>6.
| Игошин, Владимир Иванович. Сборник задач по математической логике и теории алгоритмов : учебное пособие. - М. : КУРС
. - М. : ИНФРА-М
, 2019. - 392 с. (
1 экз. )
|
>7.
| Скоба, Андрей Николаевич. Дискретная математика [Электр.ресурс] : учебное пособие. - Новочеркасск : ЮРГПУ (НПИ)
, 2022 on-line (
экз. )
|
>8.
| Шапорев, Сергей Дмитриевич. Математическая логика. Курс лекций и практических занятий : Учебное пособие для вузов. - СПб. : БХВ-Петербург
, 2005. - 410 с. (
59 экз. )
|
|