Библиотека ТУСУРа

Базы данных

Основная база библиотеки - результаты поиска

Вид поиска

Основная база библиотеки

База данных нормативных документов

Персоналии ученых-профессоров ТУСУРа

Календарь знаменательных дат

Электронные книги ЛитРес

ЭБС «Лань»

ЭБС «Юрайт»

Область поиска

Формат представления найденных документов:
полный	для рабочих программ

Поисковый запрос: (<.>K=ВЫВОДИМОСТЬ<.>)

Общее количество найденных документов : 1

51
Л 656

    Лихтарников, Леонид Моисеевич.
    Математическая логика. Курс лекций. Задачник-практикум и решения [Электронный ресурс] : учебное пособие / Л. М. Лихтарников, Т. Г. Сукачева. - 4-е изд., стер. - Электрон. текстовые дан. - СПб. : Лань, 2021. - on-line : табл., схемы. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 273. - ISBN 978-5-8114-0082-9 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6(075.8)
~РУБ 51

Кл.слова (ненормированные):
УЧЕБНЫЕ ПОСОБИЯ -- ВЫСКАЗЫВАНИЯ -- ДВОЙСТВЕННОСТЬ -- РАЗРЕШИМОСТЬ -- ВЫВОДИМОСТЬ -- ПРЕДИКАТЫ -- АЛГОРИТМЫ -- ФУНКЦИИ -- ИЗОМОРФИЗМ -- ДОКАЗУЕМОСТЬ

Доп.точки доступа:
Сукачева, Тамара Геннадьевна

Перейти к внешнему ресурсу https://reader.lanbook.com/book/167754#1
Постоянная гиперссылка

Статистика за 18.06.2024
Число запросов	28239
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)