Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> математика
----> математическая логика
------> теория алгоритмов и вычислимых функций
Печать списка
Экз. чит. зала
Экз. чит. зала
Доступно
1 из 1
Доступно
5 из 9
Доступно
3 из 31
Доступно
1 из 9
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 3
Доступно
1 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Экз. чит. зала
Доступно
7 из 8
Доступно
4 из 7
Доступно
1 из 1
Экз. чит. зала
Экз. чит. зала
Доступно
3 из 3
Экз. чит. зала
Экз. чит. зала
Нет экз.
Нет экз.
--> математика
----> математическая логика
------> теория алгоритмов и вычислимых функций
Рубрика
- Название:
- теория алгоритмов и вычислимых функций
- См. также:
- 22.127 кибернетические вопросы 22.181
Печать списка
Связанные описания:
Экз. чит. зала
Книга
Лавров, Игорь Андреевич
Задачи по теории множеств, математической логике и теории алгоритмов
Физматлит, 1995 г.
ISBN 5-02-014844-X
Лавров, Игорь Андреевич
Задачи по теории множеств, математической логике и теории алгоритмов
Физматлит, 1995 г.
ISBN 5-02-014844-X
На полку Экз. чит. зала
Книга
Лавров, Игорь Андреевич
Задачи по теории множеств, математической логике и теории алгоритмов
Физматлит, 2004 г.
ISBN 5-9221-0026-2
Лавров, Игорь Андреевич
Задачи по теории множеств, математической логике и теории алгоритмов
Физматлит, 2004 г.
ISBN 5-9221-0026-2
Доступно
1 из 1
Книга
Горбатов, Вячеслав Афанасьевич
Задачник по математической логике: Учебное пособие
ISBN отсутствует
Горбатов, Вячеслав Афанасьевич
Задачник по математической логике: Учебное пособие
Серия: Каф. вычисл. математики
МЭИ, 1972 г.ISBN отсутствует
Заказать
Книга (аналит. описание)
Макаренков, Юрий Алексеевич
Из опыта работы спецсеминара по изучению алгоритмов на факультативных занятиях в средней школе
б.г.
ISBN отсутствует
Макаренков, Юрий Алексеевич
Из опыта работы спецсеминара по изучению алгоритмов на факультативных занятиях в средней школе
б.г.
ISBN отсутствует
Доступно
5 из 9
Электронный ресурс (аналит. описание)
Гончаров, Сергей Севостьянович
Индексные множества автоустойчивых относительно сильных конструктивизаций конструктивных моделей ...
б.г.
ISBN отсутствует
Гончаров, Сергей Севостьянович
Индексные множества автоустойчивых относительно сильных конструктивизаций конструктивных моделей ...
б.г.
ISBN отсутствует
Доступно
3 из 31
Книга
Королев, Лев Николаевич
Информатика: Введ. в компьютер. науки: Учеб. для вузов
Высшая школа, 2003 г.
ISBN 5-06-004272-3
Королев, Лев Николаевич
Информатика: Введ. в компьютер. науки: Учеб. для вузов
Высшая школа, 2003 г.
ISBN 5-06-004272-3
Доступно
1 из 9
Книга
Матросов, Виктор Леонидович
Информатика: Учеб.-метод.комплект по специальности 030100
ISBN 5-89349-462-8, 5-02-002959-9
Матросов, Виктор Леонидович
Информатика: Учеб.-метод.комплект по специальности 030100
Серия: Педагогический университет
Флинта, Наука, 2002 г.ISBN 5-89349-462-8, 5-02-002959-9
Доступно
2 из 2
Доступно
1 из 1
Книга
Исследования по теории алгоритмов и математической логике. Т. 1: Сборник работ
ВЦ АН СССР, 1973 г.
ISBN отсутствует
Исследования по теории алгоритмов и математической логике. Т. 1: Сборник работ
ВЦ АН СССР, 1973 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Исследования по теории алгоритмов и математической логике. Т. 2: Сборник работ
ВЦ АН СССР, 1976 г.
ISBN отсутствует
Исследования по теории алгоритмов и математической логике. Т. 2: Сборник работ
ВЦ АН СССР, 1976 г.
ISBN отсутствует
Книга (аналит. описание)
Мирзоев, Махмашариф Сайфович
Исследования понятия предикатов с помощью машины Тьюринга
б.г.
ISBN отсутствует
Мирзоев, Махмашариф Сайфович
Исследования понятия предикатов с помощью машины Тьюринга
б.г.
ISBN отсутствует
Доступно
1 из 3
Книга
Мозговой, Максим Владимирович
Классика программирования: алгоритмы, языки, автоматы, компиляторы: Практ. подход
ISBN 5-94387-224-8
Мозговой, Максим Владимирович
Классика программирования: алгоритмы, языки, автоматы, компиляторы: Практ. подход
Серия: Секреты мастерства
Наука и техника, 2006 г.ISBN 5-94387-224-8
Электронный ресурс (аналит. описание)
Игошин, Владимир Иванович
Курс математической логики для будущих учителей математики и информатики с точки зрения теории ал...
б.г.
ISBN отсутствует
Игошин, Владимир Иванович
Курс математической логики для будущих учителей математики и информатики с точки зрения теории ал...
б.г.
ISBN отсутствует
Доступно
1 из 2
Доступно
1 из 1
Книга
Верещагин, Николай Константинович
Лекции по математической логике и теории алгоритмов. Ч. 1: Начала теории множеств
ISBN 978-5-4439-0943-1
Верещагин, Николай Константинович
Лекции по математической логике и теории алгоритмов. Ч. 1: Начала теории множеств
Серия: Современные лекционные курсы
МЦНМО, 2017 г.ISBN 978-5-4439-0943-1
Доступно
1 из 1
Книга
Верещагин, Николай Константинович
Лекции по математической логике и теории алгоритмов. Ч. 2: Языки исчисления
ISBN 978-5-4439-0944-8
Верещагин, Николай Константинович
Лекции по математической логике и теории алгоритмов. Ч. 2: Языки исчисления
Серия: Современные лекционные курсы
МЦНМО, 2017 г.ISBN 978-5-4439-0944-8
Доступно
1 из 1
Книга
Верещагин, Николай Константинович
Лекции по математической логике и теории алгоритмов. Ч. 3: Вычислимые функции
ISBN 978-5-4439-0014-8
Верещагин, Николай Константинович
Лекции по математической логике и теории алгоритмов. Ч. 3: Вычислимые функции
Серия: Современные лекционные курсы
МЦНМО, 2012 г.ISBN 978-5-4439-0014-8
Статья
Семенов, Алексей Львович
Логические теории одноместных функций на натуральном ряде
б.г.
ISBN отсутствует
Семенов, Алексей Львович
Логические теории одноместных функций на натуральном ряде
б.г.
ISBN отсутствует
Экз. чит. зала
Доступно
7 из 8
Книга
Гладкий, Алексей Всеволодович
Математическая логика: [Учеб. пособие для ун-тов и пед. ин-тов]
РГГУ, 1998 г.
ISBN 5-7281-0025-2
Гладкий, Алексей Всеволодович
Математическая логика: [Учеб. пособие для ун-тов и пед. ин-тов]
РГГУ, 1998 г.
ISBN 5-7281-0025-2
Доступно
4 из 7
Книга
Колмогоров, Андрей Николаевич
Математическая логика: учебное пособие для математических специальностей вузов
УРСС, 2004 г.
ISBN 5-354-00389-X
Колмогоров, Андрей Николаевич
Математическая логика: учебное пособие для математических специальностей вузов
УРСС, 2004 г.
ISBN 5-354-00389-X
Доступно
1 из 1
Книга
Игошин, Владимир Иванович
Математическая логика в системе подготовки учителей математики: Моногр.
СЛОВО, 2002 г.
ISBN 5-85571-037-8
Игошин, Владимир Иванович
Математическая логика в системе подготовки учителей математики: Моногр.
СЛОВО, 2002 г.
ISBN 5-85571-037-8
Экз. чит. зала
Книга
Математическая логика и алгебра: Сб. ст.
Наука, МАИК Наука/Интерпериодика, 2003 г.
ISBN 5-02-032604-6
Математическая логика и алгебра: Сб. ст.
Наука, МАИК Наука/Интерпериодика, 2003 г.
ISBN 5-02-032604-6
Экз. чит. зала
Книга
Игошин, Владимир Иванович
Математическая логика и теория алгоритмов: Учеб.пособие для студентов физ.-мат. специальностей пед. ин-тов
Изд-во Саратовского ун-та, 1991 г.
ISBN 5-292-00259-3
Игошин, Владимир Иванович
Математическая логика и теория алгоритмов: Учеб.пособие для студентов физ.-мат. специальностей пед. ин-тов
Изд-во Саратовского ун-та, 1991 г.
ISBN 5-292-00259-3
Доступно
3 из 3
Экз. чит. зала
Книга
Судоплатов, Сергей Владимирович
Математическая логика и теория алгоритмов: Учеб. по направлениям 654600 Информатика и вычислит.техника и др.
ISBN 5-16-001975-8, 5-7782-0458-2
Судоплатов, Сергей Владимирович
Математическая логика и теория алгоритмов: Учеб. по направлениям 654600 Информатика и вычислит.техника и др.
Серия: Высшее образование, Высшее образование
ИНФРА-М, Изд-во НГТУ, 2004 г.ISBN 5-16-001975-8, 5-7782-0458-2
Экз. чит. зала
Книга
Судоплатов, Сергей Владимирович
Математическая логика и теория алгоритмов: учебник и практикум для академического бакалавриата
ISBN 978-5-9916-8277-0
Судоплатов, Сергей Владимирович
Математическая логика и теория алгоритмов: учебник и практикум для академического бакалавриата
Серия: Бакалавр. Академический курс
Юрайт, 2016 г.ISBN 978-5-9916-8277-0
Нет экз.
Электронный ресурс
Вайнштейн, Юлия Владимировна
Математическая логика и теория алгоритмов: Учебное пособие
СФУ, 2019 г.
ISBN 978-5-7638-4076-6
Вайнштейн, Юлия Владимировна
Математическая логика и теория алгоритмов: Учебное пособие
СФУ, 2019 г.
ISBN 978-5-7638-4076-6
Нет экз.
Электронный ресурс
Михальченко, Галина Ефимовна
Математическая логика и теория алгоритмов: Учебное пособие
СФУ, 2018 г.
ISBN 978-5-7638-3932-6
Михальченко, Галина Ефимовна
Математическая логика и теория алгоритмов: Учебное пособие
СФУ, 2018 г.
ISBN 978-5-7638-3932-6