Поисковый запрос: (<.>K=логика предикатов<.>) |
Общее количество найденных документов : 15
Показаны документы с 1 по 15 |
>1.
| Машины Тьюринга и рекурсивные функции : научное издание. - М. : Мир
, 1972. - 264 с. (
2 экз. )
|
>2.
| Зюзьков, Валентин Михайлович. Дискретная математика [] : Учебное пособие. Ч. 1 : Теория множеств и математическая логика. - Томск : ТМЦДО
, 1999. - 71 с. (
24 экз. )
|
>3.
| Сафьянова, Елена Николаевна. Дискретная математика [] : учебное пособие. Ч. 1
, 2000. - 106 с. (
34 экз. )
|
>4.
| Шелупанов, Александр Александрович. Математическая логика и теория алгоритмов : Учебное пособие. - Томск : STT
, 2001. - 176 с. (
26 экз. )
|
>5.
| Шапорев, Сергей Дмитриевич. Математическая логика. Курс лекций и практических занятий : Учебное пособие для вузов. - СПб. : БХВ-Петербург
, 2005. - 410 с. (
59 экз. )
|
>6.
| Дискретная математика : Учебник для вузов. - Томск : В-Спектр
, 2006. - 288 с. (
47 экз. )
|
>7.
| Зюзьков, Валентин Михайлович. Математическая логика и теория алгоритмов : Учебное пособие для вузов. - М. : Горячая линия-Телеком
, 2007. - 176 с. (
101 экз. )
|
>8.
| История и методология информатики и вычислительной техники [] : Учебное пособие: В 2 ч. / Федеральное агентство по образованию, Томский государственный университет систем управления и радиоэлектроники ; ред. И. Г. Боровский. Ч. 2. - Томск : ТУСУР
, 2007. - 128 с. (
100 экз. )
|
>9.
| Галушкина, Юлия Ивановна. Конспект лекций по дискретной математике. С упражнениями и контрольными работами : . - М. : Айрис-Пресс
, 2007. - 173[3] с. (
2 экз. )
|
>10.
| Игошин, Владимир Иванович. Задачи и упражнения по математической логике и теории алгоритмов : учебное пособие для вузов. - М. : Академия
, 2008. - 304 с. (
1 экз. )
|
>11.
|
Приборы и системы. Управление, контроль, диагностика. - Журнал, 2010г. N 5 (Введено оглавление) (
1 экз. )
|
>12.
| Игошин, Владимир Иванович. Математическая логика и теория алгоритмов : учебное пособие. - М. : Академия
, 2010. - 448 с. (
2 экз. )
|
>13.
| Ивлев, Юрий Васильевич. Логика : учебник для вузов. - М. : Проспект
, 2013. - 304 с. (
32 экз. )
|
>14.
| Просветов, Георгий Иванович. Дискретная математика: задачи и решения : учебно-практическое пособие. - М. : Альфа-Пресс
, 2016. - 240 с. (
2 экз. )
|
>15.
| Игошин, Владимир Иванович. Сборник задач по математической логике и теории алгоритмов : учебное пособие. - М. : КУРС
. - М. : ИНФРА-М
, 2019. - 392 с. (
1 экз. )
|
|