Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


Электронный каталог НТГСПИ - результаты поиска

Вид поиска
Электронный каталог НТГСПИ
Картотека газет и журналов
Картотека статей
Полнотекстовая база изданий НТГСПИ
Полнотекстовая база ВКР
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>A=Лихтарников, Леонид Моисеевич$<.>)
Общее количество найденных документов : 1
1.
   51
   Л656

    Лихтарников, Леонид Моисеевич.
    Математическая логика [Текст] : курс лекций : задачник-практикум и решения : учебное пособие / Л. М. Лихтарников, Т. Г. Сукачева. - Изд. 4-е, стер. - СПб. : Лань, 2009. - 276 с. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 273. - ISBN 978-5-8114-0082-9 (в пер.) : 552.00 р.
РУБ 51(075.3)
Рубрики: Математическая логика--Учебники и пособия
Кл.слова (ненормированные):
математическая логика -- логика
Аннотация: Учебное пособие состоит из двух частей - курса лекций по математической логике, включающего теоретический материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упражнения по перечисленным разделам. Учебное пособие предназначено для студентов университетов и педагогических вузов, изучающих математическую логику.

Держатели документа:
Библиотека НТГСПА

Доп.точки доступа:
Сукачева, Тамара Геннадьевна
Экземпляры всего: 2
ЧЗ (1), АБ (1)
Свободны: ЧЗ (1), АБ (1)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
По словарю
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)