Web ИРБИС


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

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

Базы данных

Электронный каталог - результаты поиска

Виды поиска

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

ЭБС "ЛАНЬ"

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ЭБС "ЛАНЬ" (1)

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

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

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

Поисковый запрос: (<.>KL=логические формулы<.>)

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

A865464-ОХФ, A865465-ОХФ, A865466-ОХФ, A865467-ОХФ, A865468-ОХФ, A871514-ОХФ, A878049-ОХФ
Непейвода, Николай Николаевич.
Прикладная логика [Текст] : учеб. пособие для студентов вузов / Н. Н. Непейвода ; . - Ижевск : Изд-во Удм. ун-та, 1997. - 384 с. - ISBN 5-7029-0074-X (в пер.) : 25.00 р.

УДК

[16:51](075.8)

Рубрики: логика--логика

Кл.слова (ненормированные):
естественный вывод -- математическая логика -- высказывания -- логические формулы -- классическая логика -- математические методы -- индукция -- нестандартный анализ
Экземпляры всего: 7
ОХФ (7)
Найти похожие

A894030-ОХФ
Попов, Сергей Викторович.
Прикладная логика [Текст] / С. В. Попов, Н. В. Брошкова. - Москва : ФИЗМАТЛИТ, 2011. - 212, [4] с. : ил., табл. - Библиогр.: с. 210-212 (45 назв.). - ISBN 978-5-9221-1340-3 (в пер.) : 380.00 р.

УДК

16:51

Рубрики: логика--логика

Кл.слова (ненормированные):
математическая логика -- логические формулы -- математические методы -- логика -- логические задачи -- логический анализ

Доп. точки доступа:
Брошкова, Наталья Леонидовна
Экземпляры всего: 1
ОХФ (1)
Найти похожие

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

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

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

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

Расширенный

Авторизация

Фамилия

Пароль

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

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

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