Web ИРБИС


	\| начало \| написать нам \| в избранное \| сделать стартовой \|

ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных

ЭБС "ZNANIUM.com" (ИД "ИНФРА-М") - результаты поиска

Виды поиска

Электронный каталог

ЭБС "ЛАНЬ"

ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")

Электронная библиотека

Известные деятели культуры в Саратовской губернии

Работы В. А. Артисевич и литература о ней

Издания вузовских библиотек Среднего и Нижнего Поволжья

Публикации учёных СГУ

Краеведческий обзор

Поступления журналов в ЗНБ СГУ

БД коллекций в фонде ЗНБ СГУ

БД выпускных квалификационных работ

Сводный каталог библиотек (СГУ, СГТУ, ЦБС)

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

В текущей базе данных найдено документов :4

В других БД по вашему запросу найдено:

Электронный каталог (18)

Сводный каталог библиотек (СГУ, СГТУ, ЦБС) (22)

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

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>U=510.6(075.8)<.>)

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

Новые поступления (книга в стадии обработки)
Ершов, Ю. Л.
Математическая логика [Электронный ресурс] : учебное пособие / Ю. Л. Ершов. - 6, испр. - Москва : Издательская фирма "Физико-математическая литература" (ФИЗМАТЛИТ), 2011. - 356 с. - ISBN 9785922113014 : Б. ц.

УДК

510.6(075.8)

ББК 22.12

Аннотация: В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно чем это предусмотрено программой. Для студентов математических специальностей ВУЗов. Может служить пособием для спецкурсов.
Перейти к внешнему ресурсу http://znanium.com/go.php?id=395379

Доп. точки доступа:
Палютин, Е. А.
Найти похожие

Новые поступления (книга в стадии обработки)
Игошин, В. И.
Сборник задач по математической логике и теории алгоритмов [Электронный ресурс] : учебное пособие / В. И. Игошин. - 1. - Москва : ООО "КУРС", 2017. - 392 с. - ISBN 9785906818089 : Б. ц.

УДК

510.6(075.8)

ББК 22.12я73

Аннотация: Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов: I. Содержательная логика высказываний; II. Булевы функции; III. Содержательная логика предикатов; IV. Формальные логические теории; V. Элементы теории алгоритмов. В каждом ?параграфе подробно рассматриваются разнообразные типовые примеры и даются многочисленные задачи разного уровня сложности для самостоятельного решения. Теоретический материал изложен в учебниках: Игошин В.И. Математическая логика: Учеб. пособие. М.: ИНФРА-М, 2012. 399 с. +CD-R. (Высшее образование); Игошин В.И. Теория алгоритмов: Учеб. пособие. М.: ИНФРА-М, 2012. 318 с. (Высшее образование). ? Для студентов университетов, технических и педагогических вузов, обучающихся как на уровне бакалавриата, так и на уровне магистратуры по направлениям «Математика», «Информатика», «Прикладная математика и информатика», «Математика и компьютерные науки», «Бизнес-информатика», «Математик-педагог», «Учитель математики».
Перейти к внешнему ресурсу http://znanium.com/go.php?id=524332
Найти похожие

УДК

510.6(075.8)

УДК

510.6(075.8)

Стандартный (по одному полю)

По словарю (по одному полю)

Профессиональный (по нескольким полям со словарями)

Распределенный (г. Саратов)

Расширенный

Авторизация

Фамилия

Пароль

Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru

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