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

Базы данных


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

Виды поиска

Область поиска
В текущей базе данных найдено документов :2
 В других БД по вашему запросу найдено:ЭБС "ЛАНЬ" (1)Сводный каталог библиотек (СГУ, СГТУ, ЦБС) (2)
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=логические формулы<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.

Вид документа : Однотомное издание
Шифр издания : 995996
16(075)/Н53
Автор(ы) : Непейвода, Николай Николаевич
Заглавие : Прикладная логика : учеб. пособие для студентов вузов
Выходные данные : Ижевск: Изд-во Удм. ун-та, 1997
Колич.характеристики :384 с
ISBN (в пер.), Цена 5-7029-0074-X: 25.00 р.
УДК : [16:51](075.8)
Предметные рубрики: логика-- логика
Ключевые слова (''Своб.индексиров.''): естественный вывод--математическая логика--высказывания--логические формулы--классическая логика--математические методы--индукция--нестандартный анализ
Экземпляры : всего : ОХФ(7)
Свободны : ОХФ(7)
Найти похожие

2.

Вид документа : Однотомное издание
Шифр издания : 16:51/П 58
Автор(ы) : Попов, Сергей Викторович, Брошкова, Наталья Леонидовна
Заглавие : Прикладная логика
Выходные данные : Москва: ФИЗМАТЛИТ, 2011
Колич.характеристики :212, [4] с.: ил., табл.
Примечания : Библиогр.: с. 210-212 (45 назв.)
ISBN (в пер.), Цена 978-5-9221-1340-3: 380.00 р.
УДК : 16:51
Предметные рубрики: логика-- логика
Ключевые слова (''Своб.индексиров.''): математическая логика--логические формулы--математические методы--логика--логические задачи--логический анализ
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие

 
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

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