Поисковый запрос: (<.>U=510.6(075.8)<.>) |
Общее количество найденных документов : 26
Показаны документы с 1 по 20 |
|
>1.
| Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов [Электр.ресурс] : учебное пособие. - СПб. : Лань
, 2021 on-line (
экз. )
|
>2.
| Зюзьков, Валентин Михайлович. Введение в математическую логику [Электр.ресурс] : учебное пособие. - СПб. : Лань
, 2018 on-line (
экз. )
|
>3.
| Лихтарников, Леонид Моисеевич. Математическая логика. Курс лекций. Задачник-практикум и решения [Электр.ресурс] : учебное пособие. - СПб. : Лань
, 2021 on-line (
экз. )
|
>4.
| Зюзьков, Валентин Михайлович. Математическая логика и теория алгоритмов : учебное пособие. - Томск : ТМЦДО
, 2004. - 233, [1] с. (
8 экз. )
|
>5.
| Горбатов, Вячеслав Афанасьевич. Основы дискретной математики : учебное пособие для вузов. - М. : Высшая школа
, 1986. - 310[2] с. (
37 экз. )
|
>6.
| Ершов, Юрий Леонидович. Математическая логика : Учебное пособие для вузов. - М. : Наука
, 1979. - 320 с. (
4 экз. )
|
>7.
| Успенский, Владимир Андреевич. Вводный курс математической логики. - М. : Физматлит
, 2004. - 125[3] с. (
20 экз. )
|
>8.
| Ершов, Юрий Леонидович. Математическая логика : Учебное пособие для вузов. - М. : Наука
, 1987. - 336 с. (
3 экз. )
|
>9.
| Колмогоров, Андрей Николаевич. Математическая логика : Учебное пособие для вузов. - М. : Едиториал УРСС
, 2004. - 238[2] с. (
1 экз. )
|
>10.
| Шелупанов, Александр Александрович. Математическая логика и теория алгоритмов : Учебное пособие. - Томск : STT
, 2001. - 176 с. (
26 экз. )
|
>11.
| Смыслова, Зинаида Александровна. Математическая логика и ее приложения : Учебное пособие. - Томск : ТАСУР
, 1994. - 111, [1] с. (
27 экз. )
|
>12.
| Непейвода, Николай Николаевич. Прикладная логика : Учебное пособие для вузов. - Новосибирск : Издательство Новосибирского государственного университета
, 2000. - 490[4] с. (
2 экз. )
|
>13.
| Смыслова, Зинаида Александровна. Спецглавы математики [] : учебное пособие. Ч. 3 : Математическая логика. Булевы функции. - Томск : ТМЦДО
, 2001. - 80 с. (
10 экз. )
|
>14.
| Зюзьков, Валентин Михайлович. Математическая логика и теория алгоритмов : учебное пособие. - Томск : ТМЦДО
, 2001. - 154, [2] с. (
9 экз. )
|
>15.
| Шапорев, Сергей Дмитриевич. Математическая логика. Курс лекций и практических занятий : Учебное пособие для вузов. - СПб. : БХВ-Петербург
, 2005. - 410 с. (
59 экз. )
|
>16.
| Гринченков, Дмитрий Валерьевич. Математическая логика и теория алгоритмов для программистов : учебное пособие для вузов. - М. : КноРус
, 2010. - 208 с. (
1 экз. )
|
>17.
| Игошин, Владимир Иванович. Математическая логика и теория алгоритмов : учебное пособие. - М. : Академия
, 2010. - 448 с. (
2 экз. )
|
>18.
| Кирнос И. В. Математическая логика и теория алгоритмов : учебное пособие. - Томск
, 2012. - 99 с (
2 экз. )
|
>19.
| Игошин, Владимир Иванович. Сборник задач по математической логике и теории алгоритмов : учебное пособие. - М. : КУРС
. - М. : ИНФРА-М
, 2019. - 392 с. (
1 экз. )
|
>20.
| Смыслова, Зинаида Александровна. Спецглавы математики [] : учебное пособие. Ч. 3 : Математическая логика. Булевы функции. - Томск : ТМЦДО
, 2002. - 80 с. (
6 экз. )
|
|
|