| начало | написать нам | в избранное | сделать стартовой |
ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных


Сводный каталог библиотек (СГУ, СГТУ, ЦБС) - результаты поиска

Виды поиска
Электронный каталог
ЭБС "ЛАНЬ"
ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")
ЭБС "ЮРАЙТ"
ЭБС "АЙБУКС"
ЭБС "РУКОНТ"
ЭБС "IPRBOOKS"
ЭБС "BOOK.ru"
Электронная библиотека
Известные деятели культуры в Саратовской губернии
Работы В. А. Артисевич и литература о ней
Издания вузовских библиотек Среднего и Нижнего Поволжья
Публикации учёных СГУ
Краеведческий обзор
Поступления журналов в ЗНБ СГУ
БД коллекций в фонде ЗНБ СГУ
БД выпускных квалификационных работ
Сводный каталог библиотек (СГУ, СГТУ, ЦБС)
Область поиска
В текущей базе данных найдено документов :2
 В других БД по вашему запросу найдено:ЭБС "РУКОНТ" (2)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>U=510.6(07)<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.

    Лихтарников, Л. М.
    Математическая логика. Курс лекций. Задачник-практикум и решения [Текст] : учеб. пособие / Л. М. Лихтарников, Т. Г. Сукачева. - 3-е изд., испр. - СПб. ; М. ; Краснодар : Лань, 2008. - 288 с. ; 21 см. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 273 (12 назв.) . - ISBN 978-5-8114-0082-9 : 304.48 р.
ГРНТИ
27.01.01.33
УДК
510.6(07)
ББК 22.12

Рубрики: Математика--Математическая логика

Кл.слова (ненормированные):
МАТЕМАТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- АЛГЕБРА ЛОГИКИ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ЛОГИКА ПРЕДИКАТОВ -- МАТЕМАТИЧЕСКИЕ ТЕОРИИ -- АЛГОРИТМЫ -- ЗАДАЧНИК
Аннотация: Учебное пособие предназначено дли студентов университетов и педагогических институтов, изучающих курс математической логики. Включает в себя разделы: Алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.


Доп. точки доступа:
Сукачева, Т. Г.
Найти похожие
2.

    Эдельман, С. Л.
    Математическая логика [Текст] : учеб. пособие / С. Л. Эдельман. - М. : Высшая школа, 1975. - 176 с. : ил. ; 20 см. - Библиогр.: с. 172 (14 назв.). - 0.30 р.
Гриф: допущено М-вом просвещения СССР в качестве учеб. пособия для студ. пед. ин-тов
ГРНТИ
27.03.01.33
УДК
510.6(07)

Рубрики: Математика--Математическая логика

Кл.слова (ненормированные):
АЛГЕБРА ВЫСКАЗЫВАНИЙ -- АЛГЕБРА ПРЕДИКАТОВ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- АКСИОМЫ -- ОТНОШЕНИЕ ЭКВИВАЛЕНТНОСТИ
Аннотация: Учебное пособие соответствует программе курса "Математическая логика" для пединститутов. Рассматривается теория алгебры высказываний, алгебры предикатов, исчисления высказываний и предикатов. Изложение сопровождается рядом примеров, способствующих усвоению логики математических методов. Включены задачи и упражнения по каждому из разделов.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (г. Саратов)
Расширенный
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)