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

Базы данных


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

Виды поиска

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

Вид документа : Однотомное издание
Шифр издания : 268444
16(075)/Б86
Автор(ы) : Бочаров, Вячеслав Александрович, Маркин, Владимир Ильич
Заглавие : Основы логики : учебник
Выходные данные : Москва: Космополис, 1994
Колич.характеристики :272 с
Примечания : На обл. и тит. л.: Прогр."Обновление гуманит. образования в России"
ISBN, Цена 5-900360-11-3: 3000.00 р.
УДК : 16(075.8)
Предметные рубрики: логика-- логика
Ключевые слова (''Своб.индексиров.''): логика высказываний --логика предикатов --дедуктивные рассуждения--правдоподобные рассуждения--силлогистика--понятия--определения
Экземпляры : всего : ОХФ(3), ОУОГН(1)
Свободны : ОХФ(3), ОУОГН(1)
Найти похожие

2.

Вид документа : Однотомное издание
Шифр издания : 504167
16(075)+616-071/Л69
Автор(ы) : Смирнов В. А., Анисов А. М., Арутюнов Г. П.
Заглавие : Логика и клиническая диагностика: Теоретические основы : учеб. для мед. вузов
Выходные данные : Москва: Наука, 1994
Колич.характеристики :297 с.: ил., табл.
Примечания : На обл. и тит. л.: Прогр."Обновление гуманит. образования в России"
ISBN, Цена 5-02-013593-3: 3000.00 р.
УДК : [16+616-071](075.8)
Предметные рубрики: логика; медицина-- логика-- патология
Ключевые слова (''Своб.индексиров.''): логика рассуждений--логика предикатов--рассуждения правдоподобные--диагноз--клиническая диагностика--дифференциальная диагностика--понятия--логика высказываний
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие

3.

Вид документа : Однотомное издание
Шифр издания : 996623
51.01+511.211/К26
Автор(ы) : Карпенко, Александр Степанович
Заглавие : Логики Лукасевича и простые числа
Параллельн. заглавия :Lukasiewicz' Logics and Prime Numbers
Выходные данные : Москва: Наука, 2000
Колич.характеристики :318, [2] с
Примечания : Библиогр.
ISBN (в пер.), Цена 5-02-013048-6: 40.00 р.
УДК : 510.6 + 511.213
Предметные рубрики: математика-- математическая логика-- теория чисел
Ключевые слова (''Своб.индексиров.''): логика высказываний--простые числа--лукасевича логика
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие

4.

Вид документа : Однотомное издание
Шифр издания : 119088
16(075)+51.01(075)+017.7:1+017.7:51/Г18
Автор(ы) : Гамова, Алла Николаевна
Заглавие : Формальная логика : учеб. пособие для студентов и аспирантов фак. гуманитар. и социал. наук
Выходные данные : Саратов: Издательство Саратовского университета, 2001
Колич.характеристики :71, [1] с
Примечания : Библиогр.
ISBN, Цена 5-292-2589-5: 20.00 р.
УДК : 16(075.8) + 510.6(075.8)
Предметные рубрики: логика-- логика
математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): формальная логика--суждения--умозаключения--математическая логика--логика высказываний--логика предикатов
Экземпляры : всего : ОХФ(4)
Свободны : ОХФ(4)
Найти похожие

5.

Вид документа : Многотомное издание
Шифр издания : 574743
51.013/В31
Автор(ы) : Верещагин, Николай Константинович
Заглавие : Лекции по математической логике и теории алгоритмов/ Н. К. Верещагин, А. Шень. - (Современные лекционные курсы. Математическая логика и теория алгоритмов). Ч. 2: Языки и исчисления
Выходные данные : Москва: Моск. Центр непрерыв. мат. образования, 2000
Колич.характеристики :286, [2] с
Примечания : Авт. и загл. указаны на тит. л.
ISBN, Цена 5-900916-66-9: 40.00 р.
УДК : 510.6(075)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--логика высказываний--исчисления высказываний--исчисления предикатов--языки первого порядка
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие

6.

Вид документа : Однотомное издание
Шифр издания : 328988
51.01+017.7:51/Т37
Автор(ы) : Тетерин П. Г.
Заглавие : Математическая логика: Синтез, декомпозиция, оценка и отбор высказываний: Обоснование целей, критериев и требований к новому : науч. изд.
Выходные данные : Саратов: [б. и.], 2002
Колич.характеристики :76 с
Примечания : Библиогр.
ISBN, Цена Б. и.: 20.00 р.
УДК : 510.6
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--синтез--логика высказываний--декомпозиция
Экземпляры : всего : ОХФ(2)
Свободны : ОХФ(2)
Найти похожие

7.

Вид документа : Однотомное издание
Шифр издания : 304018
51.01(075)/М87
Автор(ы) : Мощенский, Андрей Владимирович, Мощенский, Владимир Андреевич
Заглавие : Математические основы информатики : пособие для студентов
Выходные данные : Минск: Изд-во Белорус. ун-та, 2002
Колич.характеристики :149, [3] с
ISBN, Цена 985-445-564-5: 45.00 р.
УДК : 510.5(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): информатика--множеств теория--комбинаторика--алгоритмы--логика высказываний--формальная грамматика--конечные автоматы
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие

8.

Вид документа : Однотомное издание
Шифр издания : 307583
16(075)+51.01(075)+017.7:1+017.7:51/Г18
Автор(ы) : Гамова, Алла Николаевна
Заглавие : Формальная логика : учеб. пособие для студентов и аспирантов фак. гуманитар. и социал. наук . -2-е изд., доп.
Выходные данные : Саратов: Издательство Саратовского университета, 2003
Колич.характеристики :68, [4] с.: ил.
Примечания : Библиогр.
ISBN, Цена 5-292-02575-5: 25.00 р.
УДК : 16(075.8) + 510.6(075.8)
Предметные рубрики: логика-- логика
математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): формальная логика--суждения--умозаключения--математическая логика--логика высказываний--логика предикатов
Экземпляры : всего : ОХФ(3)
Свободны : ОХФ(3)
Найти похожие

9.

Вид документа : Однотомное издание
Шифр издания : 680415
Автор(ы) : Светилинъ, Александръ Емельяновичъ (1842-1887)
Заглавие : Учебникъ формальной логики
Выходные данные : Санкт-Петербург: Тип. А. Траншеля, 1871
Колич.характеристики :[2], XII, 217, [3] с
Разночтения заглавия :Загл., сост. каталогизатором: Учебник формальной логики
ISBN (в пер.), Цена [Б. и.]: 8.34 р.
УДК : 16(075)
Предметные рубрики: логика-- логика
Ключевые слова (''Своб.индексиров.''): формальная логика--суждения--умозаключения--логика высказываний
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие

10.

Вид документа : Однотомное издание
Шифр издания : 510.63(075.8)/М 761
Автор(ы) : Молчанов, Владимир Александрович
Заглавие : Логика высказываний : учебное пособие для студентов факультета компьютерных наук и информационных технологий
Выходные данные : Саратов: Издательство Саратовского университета, 2014
Колич.характеристики :60, [3] с.: рис., табл.
Коллективы : Сарат. гос. ун-т им. Н. Г. Чернышевского
Примечания : Библиогр.: с. 59
ISBN, Цена 978-5-292-04256-3: 182.81 р.
УДК : 510.63(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--логика высказываний--алгебра высказываний--аксиоматика--исчисления высказываний
Экземпляры : всего : ОХФ(3), ОУОЕН(35)
Свободны : ОХФ(3), ОУОЕН(35)
Найти похожие

11.

Вид документа : Однотомное издание
Шифр издания : 510.6(075.8)/Л 248
Автор(ы) : Лапшева, Елена Евгеньевна, Огнева, Марина Валентиновна
Заглавие : Математическая логика : учебное пособие для студентов факультета компьютерных наук и информационных технологий
Выходные данные : Саратов: Издательство Саратовского университета, 2015
Колич.характеристики :124 с.: ил.
Коллективы : Сарат. гос. ун-т им. Н. Г. Чернышевского
Примечания : Библиогр.: с. 115 (4 назв.)
ISBN, Цена 978-5-292-04346-1: 261.32, 261.31, р.
УДК : 510.6(075.8)
Ключевые слова (''Своб.индексиров.''): математическая логика--логические функции--карно-вейча метод--алгебра логики--логика высказываний
Экземпляры : всего : ОХФ(2), ОХФ-ЧЗ-4(1), ОУОЕН(35)
Свободны : ОХФ(2), ОХФ-ЧЗ-4(1), ОУОЕН(35)
Найти похожие

12.

Вид документа : Однотомное издание
Шифр издания : 510.63(075.8)/К 445
Автор(ы) : Кислов, Алексей Геннадьевич, Ольховиков, Григорий Константинович, Уколов, Сергей Юрьевич
Заглавие : Логика высказываний: язык, алгебра, исчисления : учебное пособие
Выходные данные : Екатеринбург: Издательство Уральского университета, 2012
Колич.характеристики :112, [4] с.: ил., табл.
Коллективы : Урал. федер. ун-т им. первого президента России Б. Н. Ельцина
Примечания : Библиогр.: с. 114 (14 назв.). - Рекомендовано метод. советом УрФУ в качестве учеб. пособия для студентов, обучающихся по прогр. бакалавриата по социал.-экон. и гуманитар. направлениям подгот.
ISBN, Цена 978-5-7996-0773-9: 64.00 р.
УДК : 510.63(075.8) + 16(075.8)
Предметные рубрики: математика-- математическая логика
логика-- логика
Ключевые слова (''Своб.индексиров.''): логика--логика высказываний--алгебра логики--алгебра высказываний--аксиоматика--исчисления высказываний
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие

13.

Вид документа : Однотомное издание
Шифр издания : 510.5(076.1)/И 269
Автор(ы) : Игошин, Владимир Иванович
Заглавие : Сборник задач по математической логике и теории алгоритмов : учебное пособие
Выходные данные : Москва: КУРС: ИНФРА-М, 2017
Колич.характеристики :392 с.: ил., табл.
Серия: Бакалавриат
Примечания : Библиогр.: с. 388-390 (50 назв.). - Рекомендовано УМО по образованию в обл. подгот. пед. кадров в качестве учеб. пособия для студентов вузов, обучающихся по направлению 44.03.01 "Педагогическое образование" (квалификация Бакалавр)
ISBN, Цена 978-5-906818-08-9 (в пер.): 1078.00 р.
ISBN, Цена 978-5-16-011429-3: Б.ц.
УДК : 510.5(076.1) + 510.6(076.1)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмов теория--булевы функции--логика предикатов--логика высказываний --исчисления высказываний
Экземпляры : всего : ОХФ(1), ОХФ-ЧЗ-4(1), ОУОЕН(78)
Свободны : ОХФ(1), ОХФ-ЧЗ-4(1), ОУОЕН(78)
Найти похожие

14.

Вид документа : Многотомное издание
Шифр издания : 519.1(075.8)/Р 642
Автор(ы) : Розен, Виктор Владимирович
Заглавие : Введение в дискретную математику: учебное пособие для студентов, изучающих курс дискретной математики и смежные дисциплины : 2 ч./ В. В. Розен, Ю. А. Бродская ; Сарат. нац. исслед. гос. ун-т им. Н. Г. Чернышевского. Ч. 1
Выходные данные : Саратов: Издательство Саратовского университета, 2016
Колич.характеристики :90, [2] с.: ил.
Коллективы : Сарат. нац. исслед. гос. ун-т им. Н. Г. Чернышевского
Серия:
Примечания : Библиогр.: с. 89 (13 назв.)
ISBN, Цена 978-5-292-04407-9: 233.59, 233.76, р.
УДК : 519.1(075.8)
Предметные рубрики: математика-- комбинаторный анализ-- теория графов
Ключевые слова (''Своб.индексиров.''): дискретная математика--математическая логика--математические структуры--логика высказываний --логика предикатов --бинарные отношения--универсальная алгебра--полугруппы--кольца
Экземпляры : всего : ОХФ(3), ОУОЕН(35)
Свободны : ОХФ(3), ОУОЕН(35)
Найти похожие

15.

Вид документа : Однотомное издание
Шифр издания : 16(075.8)/Т 37
Автор(ы) : Тетюев, Леонид Иванович
Заглавие : Логика и язык: учебное пособие для магистров гуманитарного направления / Л. И. Тетюев. Ч. 2: Основы языка теоретической логики и теории аргументации
Выходные данные : Саратов: Издательский центр "Наука", 2019
Колич.характеристики :39, [1] с.: ил., табл.
Примечания : Библиогр.: с. 39
ISBN, Цена 978-5-9999-3135-1: 100.00 р.
УДК : 16(075.8)
Предметные рубрики: логика-- логика
Ключевые слова (''Своб.индексиров.''): логика--теоретическая логика --аргументация--логика высказываний --истина--суждения
Экземпляры : всего : ОХФ(2), ОУОГН(1)
Свободны : ОХФ(2), ОУОГН(1)
Найти похожие

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

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