Web ИРБИС


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

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

Базы данных

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

Виды поиска

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

ЭБС "ЛАНЬ"

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Поисковый запрос: (<.>KL=алгебра высказываний<.>)

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

Вид документа : Однотомное издание
Шифр издания : 22.12я73
Автор(ы) : Игошин, Владимир Иванович
Заглавие : Задачи и упражнения по математической логике и теории алгоритмов : учеб. пособие для вузов . -2-е изд., стереотип.
Выходные данные : Москва: Академия, 2006
Колич.характеристики :304 с
Серия: Высшее профессиональное образование
ISBN, Цена 5-7695-2914-8: 50 р.
ББК : 22.12я73
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): алгебра высказываний--булевы функции--задачи--логика предикатов--пособия для вузов--теория алгоритмов--упражнения--учебники для вузов--учебные пособия для вузов--формализованное исчисление высказываний
Аннотация: Содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов.
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 510.6(075.8)
Автор(ы) : Игошин, Владимир Иванович
Заглавие : Математическая логика : учебное пособие
Выходные данные : Москва: Инфра-М, 2012
Колич.характеристики :398, [2] с. + 1 эл. опт. диск (CD-ROM)
Серия: Высшее образование
Примечания : Библиогр.: с. 389-392. - Рекомендовано УМО по образованию в обл. подгот. пед. кадров в качестве учеб. пособия для студентов вузов, обучающихся по специальности 050201.65-математика
ISBN (в пер.), Цена 978-5-16-005204-5: 229.00 р.
УДК : 510.6(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгебра высказываний--высказывания--логика предикатов --аксиоматические теории
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 510.6(072.3)
Автор(ы) : Игошин, Владимир Иванович
Заглавие : Тетрадь по математической логике : учебное пособие . -3-е изд., доп.
Выходные данные : Саратов: Издательский центр "Наука", 2010
Колич.характеристики :64 с
Примечания : На обл. авт. не указан
ISBN, Цена 978-5-9999-0269-6: 54.00 р.
УДК : 510.6(072.3)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгебра высказываний--высказывания--множества--предикаты--булевы функции--релейно-контактные схемы
Аннотация: Математическая логика - необязательный и необычный предмет для школы. Он преподаётся в качестве факультатива или спецкурса далеко не в каждой современной школе. Включение элементов математической логики в курс информатики средней школы, а также в единый государственный экзамен (ЕГЭ) по информатике и по математике сделало этот предмет широко известным в школе, но не сделало его родным для школы. Но этот предмет важен прежде всего не для информатики, а для математики. В информатике заключена прикладная сторона математической логики. В математике - её сущность: логика анализирует процессы и формы мышления. Именно поэтому данный предмет выбирают не только школы и классы с углубленным изучением предметов естественнонаучного цикла, но и школы и классы гуманитарного профиля.
Найти похожие

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

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

Вид документа : Однотомное издание
Шифр издания : 510.6(075.8)
Автор(ы) : Игошин, Владимир Иванович
Заглавие : Математическая логика : учебное пособие
Выходные данные : Москва: ИНФРА-М, 2017
Колич.характеристики :398, [2] с.: ил., табл.
Серия: Высшее образование: Бакалавриат
Примечания : Библиогр.: с. 389-392. - Рекомендовано УМО по образованию в обл. подгот. пед. кадров в качестве учеб. пособия для студентов вузов, обучающихся по направлению подгот. 44.03.05 "Педагогическое образование" (квалификация (степень) "бакалавр")
ISBN (в пер.), Цена 978-5-16-011691-4: 1006.39 р.
УДК : 510.6(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгебра высказываний--высказывания--логика предикатов --аксиоматические теории
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 51(075)/Н 56
Автор(ы) : Нестеренко Ю. П.
Заглавие : Элементы математической логики : учеб. пособие
Выходные данные : Челябинск: ЧГТУ, 1996
Колич.характеристики :41 с. ; 20 см
Коллективы : Челябинский гос. техн. ун-т, Каф. мат. анализа
ISBN, Цена 5-696-00720-1: 1850.00 р.
ГРНТИ : 27.03.01.33
УДК : 510.6(075.8)
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгебра высказываний--исчисление предикатов--теория моделей
Аннотация: В пособии систематически излагаются основные понятия и результаты математической логики по разделам: алгебра и исчисление высказываний, логика и исчисление предикатов.
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 510(075)/И 26
Автор(ы) : Игошин В. И.
Заглавие : Математическая логика и теория алгоритмов : учеб. пособие . -3-е изд., стер.
Выходные данные : М.: ИЦ "Академия", 2008
Колич.характеристики :448 с.: рис; 22 см
Серия: Высшее профессиональное образование
Примечания : Библиогр.: с. 435-442 . - Гриф: допущено М-вом образования РФ в качестве учеб. пособия для студ. вузов, обучающихся по спец. 050201 "Математика"
ISBN, Цена 978-5-7695-5200-7: 368.50 р.
ГРНТИ : 27.03.01.33
УДК : 510.6+510.5(075.8)
ББК : 22.1
Предметные рубрики: Математика-- Математическая логика
Математика-- Теория алгоритмов
Ключевые слова (''Своб.индексиров.''): алгебра высказываний--булевы функции--логика предикатов--формализованное исчисление высказываний--неформальные аксиоматические теории--аксиоматические теории--формальные аксиоматические теории--элементы теории алгоритмов--алгоритмы--компьютеры--информатика--искусственный интеллект
Аннотация: Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализа, геометрии, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами, информатикой, системами искусственного интеллекта.
Найти похожие

10.

Вид документа : Однотомное издание
Шифр издания : 510(075)/И 26
Автор(ы) : Игошин В. И.
Заглавие : Задачи и упражнения по математической логике и теории алгоритмов : учеб. пособие . -4-е изд., стер.
Выходные данные : М.: ИЦ "Академия", 2008
Колич.характеристики :304 с.: рис.; 22 см
Серия: Высшее профессиональное образование
Примечания : Библиогр.: с. 301 (22 назв.). - Гриф: допущено М-вом образования РФ в качестве учеб. пособия для студ. вузов, обучающихся по спец. 050201 "Математика"
ISBN, Цена 978-5-7695-5272-4: 291.50 р.
ГРНТИ : 27.03.01.33
УДК : 510.6+510.5(075.8)
ББК : 22.1
Предметные рубрики: Математика-- Математическая логика
Математика-- Теория алгоритмов
Ключевые слова (''Своб.индексиров.''): алгебра высказываний--булевы функции--логика предикатов--машина тьюринга--рекурсивные функции
Аннотация: Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов. В каждом параграфе подробно рассмотрены разнообразные типовые примеры и приведены многочисленные задачи разного уровня сложности для самостоятельного решения.
Найти похожие

11.

Вид документа : Многотомное издание
Шифр издания : 16(075)/В 65
Автор(ы) : Войшвилло Е. К.
Заглавие : Логика как часть теории познания и научной методологии (фундаментальный курс): учеб. пособие/ Е. К. Войшвилло, М. Г. Дегтярев. Кн. 1
Выходные данные : М.: Наука, 1994
Колич.характеристики :312 с. ; 21 см
ISBN, Цена 5-02-013514-3: Б.ц.
ГРНТИ : 02.21.01.33
УДК : 16(075)
Предметные рубрики: Философия-- Логика
Ключевые слова (''Своб.индексиров.''): классическая логика--исчисление высказываний--релевантная логика--алгебра высказываний--логические исчисления--синтаксис--семантика
Аннотация: Учебное пособие представляет собой систематическое изложение обширного курса логики, включающее логический анализ языка как знаковой системы, символическую логику (классическую и релевантную).
Найти похожие

12.

Вид документа : Многотомное издание
Шифр издания : 16(075)/В 65
Автор(ы) : Войшвилло Е. К.
Заглавие : Логика как часть теории познания и научной методологии (фундаментальный курс): учеб. пособие/ Е. К. Войшвилло, М. Г. Дегтярев. Кн. 2
Выходные данные : М.: Наука, 1994
Колич.характеристики :333 с.: ил.; 21 см
ISBN, Цена 5-02-013515-1: Б.ц.
ГРНТИ : 02.21.01.33
УДК : 16(075.8)
Предметные рубрики: Философия-- Логика
Ключевые слова (''Своб.индексиров.''): классическая логика--исчисление высказываний--релевантная логика--алгебра высказываний--логические исчисления--синтаксис--семантика
Аннотация: Учебное пособие представляет собой систематическое изложение обширного курса логики, включающее логический анализ языка как знаковой системы, символическую логику (классическую и релевантную).
Найти похожие

13.

Вид документа : Однотомное издание
Шифр издания : 510(075)/И 26
Автор(ы) : Игошин В. И.
Заглавие : Математическая логика и теория алгоритмов : учеб. пособие . -4-е изд., стер.
Выходные данные : М.: ИЦ "Академия", 2010
Колич.характеристики :448 с. ; 22 см
Серия: Высшее профессиональное образование
Примечания : Библиогр.: с. 435-442. - гриф: допущено М-вом образования Рос. Федерации в качестве учеб. пособия для студ. вузов, обуч. по спец. "Математика"
ISBN, Цена 978-5-7695-7045-2: 492.80 р.
ГРНТИ : 27.03.01.33
УДК : 510.6+510.5(075.8)
ББК : 22.1
Предметные рубрики: Математика-- Математическая логика
Математика-- Теория алгоритмов
Ключевые слова (''Своб.индексиров.''): алгебра высказываний--булевы функции--формализованное исчисление высказываний--логика предикатов--неформальные аксиоматические теории--формальные аксиоматические теории--элементы теории алгоритмов--компьютеры--информатика--искусственный интеллект
Аннотация: Предлагаемое учебное пособие составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (Игошин В. И. Задачи и упражнения по математической логике и теории алгоритмов). Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализa, геометрии, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами, информатикой, системами искусственного интеллекта.
Найти похожие

14.

Вид документа : Однотомное издание
Шифр издания : 510(07)/Э 19
Автор(ы) : Эдельман С. Л.
Заглавие : Математическая логика : учеб. пособие
Выходные данные : М.: Высшая школа, 1975
Колич.характеристики :176 с.: ил.; 20 см
Примечания : Библиогр.: с. 172 (14 назв.). - Гриф: допущено М-вом просвещения СССР в качестве учеб. пособия для студ. пед. ин-тов
Цена : 0.30 р.
ГРНТИ : 27.03.01.33
УДК : 510.6(07)
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): алгебра высказываний--алгебра предикатов--исчисление высказываний--аксиомы--отношение эквивалентности
Аннотация: Учебное пособие соответствует программе курса "Математическая логика" для пединститутов. Рассматривается теория алгебры высказываний, алгебры предикатов, исчисления высказываний и предикатов. Изложение сопровождается рядом примеров, способствующих усвоению логики математических методов. Включены задачи и упражнения по каждому из разделов.
Найти похожие

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

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

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

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

Расширенный

Авторизация

Фамилия

Пароль

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

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

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