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

Базы данных


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

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

Вид документа : Однотомное издание
Шифр издания : 16(075)/Л 69
Автор(ы) : Берков В. Ф., Бартон В. И., Дубинин И. И.
Заглавие : Логика : учеб. пособие
Выходные данные : Минск: Вышэйшая школа, 1994
Колич.характеристики :296 с. ; 21 см
ISBN, Цена 5-339-00939-4: 2500р. р.
ГРНТИ : 02.21.01.33
УДК : 16(075.8)
ББК : 87.4я73
Предметные рубрики: Философия-- Логика
Ключевые слова (''Своб.индексиров.''): общение--логика--логика высказываний--теория имен--теория выводов--логическая теория--диалоговая ситуация
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : 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
Предметные рубрики: математика-- математическая логика-- теория чисел
Ключевые слова (''Своб.индексиров.''): логика высказываний--простые числа--лукасевича логика
Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : 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.

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

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

Вид документа : Однотомное издание
Шифр издания : 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)
Предметные рубрики: логика-- логика
математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): формальная логика--суждения--умозаключения--математическая логика--логика высказываний--логика предикатов
Найти похожие
7.

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

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

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

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

Вид документа : Однотомное издание
Шифр издания : 510.5(076.1)
Автор(ы) : Игошин, Владимир Иванович
Заглавие : Сборник задач по математической логике и теории алгоритмов : учебное пособие
Выходные данные : Москва: КУРС: ИНФРА-М, 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)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмов теория--булевы функции--логика предикатов--логика высказываний --исчисления высказываний
Найти похожие
12.

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

Вид документа : Однотомное издание
Шифр издания : 16(076)/Б 48
Автор(ы) : Берков В. Ф.
Заглавие : Логика: задачи и упражнения, практикум : учеб. пособие для студентов вузов
Выходные данные : Минск: ТетраСистемс, 1998
Колич.характеристики :223 с.: ил.; 20см
ISBN, Цена 9856317304: 12.00 р.
ГРНТИ : 02.21.01.33
УДК : 16(076)
ББК : 86.3я73
Предметные рубрики: Философия-- Логика
Ключевые слова (''Своб.индексиров.''): логика--логика высказываний--силлогизмы--имена--недедуктивные выводы--модальность--научное познание--словесный диалог--логика отношений--логика текста
Аннотация: В книге приведены задачи и упражнения, выполнение которых будет способствовать усвоению теоретических положений логики и приобретению практических навыков правильных рассуждений, уточнения формулировок, логического анализа учебных, научных, художественных и прочих текстов. Задачи и упражнения подобраны в соответствии с требованиями программы курса логики для вузов Республики Беларусь. Упражнения предпосланы краткие теоретические сведения. Для студентов вузов.
Найти похожие
14.

Вид документа : Однотомное издание
Шифр издания : 16(075)/Б 86
Автор(ы) : Бочаров В. А., Маркин В. И.
Заглавие : Основы логики : учебник для вузов
Выходные данные : М.: ИНФРА-М, 2002
Колич.характеристики :296 с. ; 22см
Серия: Высшее образование
ISBN, Цена 5160008705: 77.00 р.
ГРНТИ : 02.21.01.33
УДК : 16(075.8)
ББК : 87.4я73
Предметные рубрики: Философия-- Логика
Ключевые слова (''Своб.индексиров.''): философия--логика--логические законы--логические теории--логика высказываний--логика предикатов--силлогистика
Аннотация: Представляет собой введение в проблематику современной логики, содержит изложение основных ее разделов.
Найти похожие
15.

Вид документа : Однотомное издание
Шифр издания : 16(075)/И 25
Автор(ы) : Ивин А. А.
Заглавие : Логика : Учебник для студ.вузов
Выходные данные : М.: Гардарики, 2002
Колич.характеристики :352 с. ; 22см
Серия: Disciplinae
Примечания : Рекомендовано М-вом образования РФ
ISBN, Цена 5-7975-0122-8: 75.00 р.
ГРНТИ : 02.21.01.33
УДК : 16(075.8)
ББК : 87.4
Предметные рубрики: Философия-- Логика
Ключевые слова (''Своб.индексиров.''): философия--логика--высказывания--доказательство--индуктивные рассуждения--логика высказываний--неклассическая логика--софизмы--логические парадоксы--классическая логика
Аннотация: Излагаются основные понятия и операции современной логики.Главное внимание уделяется законам правильного мышления,применению логического анализа при решении содержательно интересных проблем.
Найти похожие
16.

Вид документа : Однотомное издание
Шифр издания : 510(07)/М 92
Автор(ы) : Муха Ю. П., Авдеюк О. А.
Заглавие : Математическая логика и теория алгоритмов : учеб. пособие
Выходные данные : Волгоград: РПК "Политехник", 2005
Колич.характеристики :92 с.: табл.; 20 см
Коллективы : Волгоградский гос. техн. ун-т
Примечания : Библиогр.: с. 92 (10 назв.)
ISBN, Цена 5-230-04465-5: 80.00 р.
ГРНТИ : 27.03.01.33
УДК : 510.6+510.5(07)
ББК : 22.1
Предметные рубрики: Математика-- Математическая логика
Математика-- Теория алгоритмов
Ключевые слова (''Своб.индексиров.''): математика--математическая логика--теория алгоритмов--логика высказываний--логика предикатов--алгебра логики
Аннотация: Излагаются основные положения математической логики и теории алгоритмов. Особое внимание уделяется алгебре логики, методам минимизации переключательных функций, синтезу и анализу логических схем.
Найти похожие
17.

Вид документа : Однотомное издание
Шифр издания : 16(075)/С 24
Автор(ы) : Светлов В. А.
Заглавие : Логика: экзаменационные ответы для студентов вузов : учеб. пособие
Выходные данные : СПб. [и др.]: Питер, 2008
Колич.характеристики :160 с.: ил.; 21 см
Серия: Завтра экзамен
ISBN, Цена 978-5-469-00910-8: 61.00 р.
ГРНТИ : 02.21.01.33
УДК : 16(075.8)
ББК : 87.4
Предметные рубрики: Философия-- Логика
Ключевые слова (''Своб.индексиров.''): символическая логика--суждения--умозаключения--силлогизмы--логика высказываний--предикаты--логика предикатов
Аннотация: Данное издание подготовлено на основе авторских курсов по логике для специалистов самого разного профиля. Написанная в форме ответов на вопросы, эта книга позволяет быстро повторить все основные темы годового курса по логике.
Найти похожие
18.

Вид документа : Однотомное издание
Шифр издания : 16(075)/П 58
Автор(ы) : Попов Ю. П.
Заглавие : Логика : учеб. пособие . -3-е изд., перераб. и доп.
Выходные данные : М.: Кнорус, 2009
Колич.характеристики :304 с.: ил.; 22 см
Примечания : Библиогр.: с. 294 (14 назв.). - Гриф: рек. Гос. образоват. учреждением высш. проф. образования "МПГУ" в качестве учеб. пособия для студ. вузов, обуч. по напр. подг. 520400 (030100) - философия и спец. 020100 (030101) - философия
ISBN, Цена 978-5-390-00251-3: 150.00 р.
ГРНТИ : 02.21.01.33
УДК : 16(075.8)
ББК : 87.4
Предметные рубрики: Философия-- Логика
Ключевые слова (''Своб.индексиров.''): понятие--суждение--умозаключение--доказательство--логика высказываний--логика предикатов--символическая логика
Аннотация: Пособие содержит основные темы курса «Логика», соответствующие общепринятой программе преподавания этой дисциплины. Благодаря простоте изложения и легкости стиля полезно не только как учебное пособие, но и как популяризирующее эту издание. Много внимания уделяется философско-методологическим проблемам логики.
Найти похожие
19.

Вид документа : Однотомное издание
Шифр издания : 510(075)/С 32
Автор(ы) : Серебряков А. В.
Заглавие : Элементарный курс математической логики : учеб. пособие для студентов всех спец.
Выходные данные : Саратов: СГТУ, 2011
Колич.характеристики :32 с.: ил.; 21 см
Коллективы : Саратовский гос. техн. ун-т, М-во образования и науки РФ (Москва)
Примечания : Библиогр.: с. 31 (13 назв.)
ISBN, Цена 978-5-7433-2368-5: 8.19 р.
ГРНТИ : 27.03.01.33
УДК : 510.6(075.8)
ББК : 22.12
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): множества--функции--логические функции--логика высказываний--логика предикатов
Аннотация: Пособие содержит начальные понятия о множествах и функциях; рассмотрены основные законы алгебры двузначных логических функций с применением в логике высказываний и предикатов.
Найти похожие
20.

Вид документа : Однотомное издание
Шифр издания : 16/К 17
Автор(ы) : Калужнин Л. А.
Заглавие : Что такое математическая логика? : научное издание
Выходные данные : М.: Изд-во "Наука", 1964
Колич.характеристики :152 с.: ил., граф., табл.; 20 см
Примечания : Библиогр.: с. 149-150 (29 назв.)
Цена : 0.21 р.
УДК : 16
Ключевые слова (''Своб.индексиров.''): логика высказываний--формулы логики--предикаты--кванторы--математическая логика
Найти похожие
 1-20    21-32 
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (г. Саратов)
Расширенный
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

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