Научная Библиотека Пермского Государственного Университета

Главная

Упрощенный режим

Базы данных

Основная библиотечная БД - результаты поиска

Вид поиска

Основная библиотечная БД

Труды учёных ПГНИУ

Диссертации

Журналы

Рациональное природопользование

Иностранная периодика

Дореволюционная периодика

Библиотека юридичеcкого факультета (статьи)

Туризм

История Пермского университета

Продолжающиеся издания

Музейный книжный фонд

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

Найдено в других БД:

Труды учёных ПГНИУ (1)

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

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

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

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

   16
   В659

   Войшвилло, Евгений Казимирович
    Логика как часть теории познания и научной методологии. Фундаментальный курс : учебное пособие для студентов философских факультетов и преподавателей логики / Е. К. Войшвилло, М. Г. Дегтярев. - Москва : Наука, 1994 - . - (Программа "Обновление гуманитарного образования в России").
   Кн. 1. - 1994. - 312 с. - ISBN 5-02-013514-3 : 3000.00 р., 3000.00 р.

02.21
УДК	16(075.8)

ББК Ю4 я73
Рубрики: Логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
Логика -- язык (логический анализ) -- дедукция -- логика высказываний -- исчисление высказываний

Доп.точки доступа:
Дегтярев, Михаил Григорьевич
Экземпляры всего: 2
Х (1), АБУ (1)
Свободны: Х (1), АБУ (1)
Найти похожие

51
Г 474

Гильберт, Д.
Основы теоретической логики [Текст] : пер.с нем. / Ред.С.А.Яновский. - Биробиджан : Тривиум, 2000. - 304с. - ISBN 5-1251-0180-X : 129 р.

УДК

510.6

РУБ 51
Рубрики: Математическая логика
Кл.слова (ненормированные):
Исчисление высказываний -- Математическая логика -- Исчисление предикатов

Доп.точки доступа:
Аккерман, В.
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие

   517
   Л 656

    Лихтарников, Леонид Моисеевич.
    Математическая логика : Курс лекций. Задачник-практикум и решения: Учеб. пособие / Л. М. Лихтарников, Т. Г. Сукачева. - СПб. : Лань, 1999. - 288 с. - (Учебники для вузов). - Библиогр.: с. 282. - ISBN 5-8114-0082-9 : 60.00 р.

ГРНТИ	27.03.19
УДК	510.6(075.8)

Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
Математическая логика -- Исчисление высказываний -- Логика предикатов -- Алгоритмы -- Практикумы -- Сборники задач

Доп.точки доступа:
Сукачева, Тамара Геннадьевна
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие

   517
   Е 804

    Ершов, Юрий Леонидович.
    Математическая логика : учебное пособие / Ю. Л. Ершов, Е. А. Палютин. - 3-е изд., стер. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2004. - 336 с. - (Учебники для вузов. Специальная литература). - ISBN 5-8114-0533-2 : 195.80 р., 195.80 р.

27.23
УДК	510.6(075.8)

Рубрики: Математическая логика
Кл.слова (ненормированные):
Математическая логика -- Исчисление высказываний -- Исчисление предикатов -- Алгоритмы

Доп.точки доступа:
Палютин, Евгений Андреевич
Экземпляры всего: 19
Х (1), ЧЗЕ (1), АБУ (17)
Свободны: Х (1), ЧЗЕ (1), АБУ (17)
Найти похожие

   517
   К 493

    Клини, Стивен Коул.
    Математическая логика / С. К. Клини ; ред. Г. Е. Минц ; пер. Ю. А. Гастев. - Москва : Ком Книга, 2007. - 480 с. - ISBN 5-484-00802-6. - ISBN 978-5-484-00802-5 : 244.00 р., 244.00 р., 244 р.

27.03.19
УДК	510.6(075.8)

Рубрики: Математика
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ПРЕДИКАТОВ -- РАЗРЕШИМОСТЬ

Доп.точки доступа:
Минц, Г. Е. \ред.\; Гастев, Ю. А. \пер.\
Экземпляры всего: 3
Х (1), ЧЗЕ (1), АБУ (1)
Свободны: Х (1), ЧЗЕ (1), АБУ (1)
Найти похожие

   517
   Л 136

    Лавров, Игорь Андреевич.
    Математическая логика : учебное пособие для вузов / И. А. Лавров ; . - Москва : Академия, 2006. - 240 с. - (Университетский учебник. Прикладная математика и информатика.). - Библиогр.: с. 230. - ISBN 5-7695-2735-8 : 151.50 р., 151.50 р.

27.03
УДК	510.6(075.8)

Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- алгебраические системы -- исчисление предикатов -- исчисление высказываний -- ИСЧИСЛЕНИЕ ФУНКЦИЙ -- АКСИОМАТИЧЕСКИЕ ТЕОРИИ

Доп.точки доступа:
Максимова, Лариса Львовна
Экземпляры всего: 2
Х (1), ЧЗЕ (1)
Свободны: Х (1), ЧЗЕ (1)
Найти похожие

   517
   И 269

    Игошин, Владимир Иванович.
    Математическая логика и теория алгоритмов : учебное пособие для вузов / В. И. Игошин. - Москва : Академия, 2004. - 448 с. - (Высшее профессиональное образование. Педагогические специальности). - ISBN 5-7695-1363-2 : 201.40 р., 201.40 р.

27.03.19	27.03.17
УДК	510.6	510.51](075.8)

Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Алгоритмы--Теория--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
БУЛЕВЫ ФУНКЦИИ -- ЛОГИКА ПРЕДИКАТОВ -- АЛГОРИТМОВ ТЕОРИЯ -- АЛГЕБРА ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ

Экземпляры всего: 20
Х (1), ЧЗЕ (1), АБУ (18)
Свободны: Х (1), ЧЗЕ (1), АБУ (18)
Найти похожие

   517
   А 456


    Алгебра логики / В. Б. Кудрявцев, Г. Н. Блохина, Ж. Кнап, В. В. Кудрявцев ; Моск. гос. ун-т им. М. В. Ломоносова. - М. ; Любляна : Изд-во ЦПИ при мех.-мат. фак. МГУ, 2006. - 200 с. : ил. - Библиогр.: с. 198-199. - 70 р.

ГРНТИ	27.03.19
УДК	510.63

Рубрики: Математическая логика
Кл.слова (ненормированные):
АЛГЕБРА ЛОГИКИ -- АЛГЕБРА ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- АЛГЕБРЫ БУЛЕВЫХ ФУНКЦИЙ -- БУЛЕВЫ ФУНКЦИИ -- МИНИМИЗАЦИЯ БУЛЕВЫХ ФУНКЦИЙ

Доп.точки доступа:
Кудрявцев, Валерий Борисович; Блохина, Галина Николаевна; Кнап, Жига; Кудрявцев, Валерий Валерьевич; Московский государственный университет им. М. В. Ломоносова (М.). Механико-математический факультет
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие

   517
   Л 656

    Лихтарников, Леонид Моисеевич.
    Математическая логика : курс лекций: задачник-практикум и решения: учебное пособие / Л. М. Лихтарников, Т. Г. Сукачева. - 3-е изд., испр. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2008. - 276 с. : ил. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 273 (12 назв.). - ISBN 978-5-8114-0082-9 : 255.80 р., 255.80 р.

ГРНТИ	27.03.19
УДК	510.6(075.8)

Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
Математическая логика -- Исчисление высказываний -- Логика предикатов -- Алгоритмы

Доп.точки доступа:
Сукачева, Тамара Геннадьевна
Экземпляры всего: 3
Х (1), ЧЗЕ (1), АБУ (1)
Свободны: Х (1), ЧЗЕ (1), АБУ (1)
Найти похожие

10.

   517
   Е 804

    Ершов, Юрий Леонидович.
    Математическая логика : учебное пособие для студентов математических специальностей вузов / Ю. Л. Ершов, Е. А. Палютин. - 2-е изд., испр. и доп. - Москва : Наука , 1987. - 336 с. - Предм. указ.: с. 335-336. - 0.95 р., 1.10 р.

ГРНТИ	27.03.19
УДК	510.6(075.8)

Рубрики: Математический анализ--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ТЕОРИЯ МНОЖЕСТВ -- ИСЧИСЛЕНИЕ ПРЕДИКАТОВ -- ТЕОРИЯ МОДЕЛЕЙ -- ТЕОРИЯ ДОКАЗАТЕЛЬСТВ -- АЛГОРИТМЫ -- РЕКУРСИВНЫЕ ФУНКЦИИ

Доп.точки доступа:
Палютин, Евгений Андреевич
Экземпляры всего: 10
Х (1), АБЗ (9)
Свободны: Х (1), АБЗ (9)
Найти похожие

11.

   517
   И 918


    Исчисление высказываний : методич. указ. по курсу "Мат. логика" для студентов-заочников 1 курса мех.-мат. фак. (спец. "Математика") / Перм. ун-т. - Пермь : [б. и.], 1983. - 32 с. - Б. ц.

УДК

510.6(07.07)

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

Доп.точки доступа:
Пермский государственный университет им. А. М. Горького
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие

12.

   51
   K 89


    Algebra logike / V. B. Kudrjavcev. - Ljubljana : ZOTKS, 2010. - 200 с. : ил. - (Zbirka Univerza za 21. stoletje). - На англ. яз. - Библиогр.: с. 198-199. - ISBN 978-961-6243-58-2 : 150.00 р.

ГРНТИ	27.03.19
УДК	510.63

Рубрики: Математическая логика
Кл.слова (ненормированные):
АЛГЕБРА ЛОГИКИ -- АЛГЕБРА ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- АЛГЕБРЫ БУЛЕВЫХ ФУНКЦИЙ -- БУЛЕВЫ ФУНКЦИИ -- МИНИМИЗАЦИЯ БУЛЕВЫХ ФУНКЦИЙ

Доп.точки доступа:
Kudrjavcev, Valeriy Borisovitch; Blohina, Galina Nikolayevna; Ziga, Knap; Kudrjavcev, Valeriy Valerievitch
Экземпляры всего: 1
ОИЛ (1)
Свободны: ОИЛ (1)
Найти похожие

13.

   51
   Н 731

    Новиков, Петр Сергеевич.
    Элементы математической логики / П. С. Новиков. - Москва : Физматлит, 1959. - 400 с. - 1.11 р., 1.11 р.

ГРНТИ	27
УДК	51

Рубрики: Математика
Кл.слова (ненормированные):
Математическая логика -- Алгебра высказываний -- Исчисление высказываний -- Логика предикатов -- Аксиоматическая арифметика -- Теория доказательств

Экземпляры всего: 2
АБН (1), Х (1)
Свободны: АБН (1), Х (1)
Найти похожие

14.

   517
   К 493

    Клини, Стивен Коул.
    Математическая логика / пер. с англ. Ю. А. Гастева, под ред. Г. Е. Минца. - Москва : Мир, 1973. - 480 с. - Библиогр.: с. 451. - 2.50 р., 2.50 р.

27.23
УДК	510.6

Рубрики: Математический анализ
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ПРЕДИКАТОВ -- РАЗРЕШИМОСТЬ

Доп.точки доступа:
Минц, Г. Е. \ред.\; Гастев, Ю. А. \пер.\
Экземпляры всего: 2
АБН (1), Х (1)
Свободны: АБН (1), Х (1)
Найти похожие

15.

   517
   Н 731

    Новиков, Петр Сергеевич.
    Элементы математической логики / П. С. Новиков. - 2-е изд., испр. - Москва : Наука, 1973. - 400 с. - (Математическая логика и основания математики). - 1.43 р., 1.43 р.

ГРНТИ	27
УДК	517

Рубрики: Математика
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- АЛГЕБРА ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ЛОГИКА ПРЕДИКАТОВ -- АКСИОМАТИЧЕСКАЯ АРИФМЕТИКА -- ЭЛЕМЕНТЫ ТЕОРИИ ДОКАЗАТЕЛЬСТВ

Экземпляры всего: 2
АБН (1), Х (1)
Свободны: АБН (1), Х (1)
Найти похожие

16.

   517
   Н 731

    Новиков, Петр Сергеевич.
    Конструктивная математическая логика с точки зрения классической / П. С. Новиков. - Москва : Наука, 1977. - 328 с. - (Математическая логика и основания математики). - Библиогр.: с. 318. - 1.43 р., 1.43 р.

ГРНТИ	27
УДК	517

Рубрики: Математика
Кл.слова (ненормированные):
Математическая логика -- Алгебра высказываний -- Исчисление высказываний -- Логика предикатов -- Аксиоматическая арифметика

Экземпляры всего: 3
АБН (2), Х (1)
Свободны: АБН (2), Х (1)
Найти похожие

17.

22190

Зарипова, Э. Р.
Лекции по дискретной математике. Математическая логика [Электронный ресурс] : учебное пособие / Зарипова Э. Р. - Москва : Российский университет дружбы народов, 2014. - 120 с. - ISBN 978-5-209-05455-9 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.

УДК

512.563

ББК 22.176

Кл.слова (ненормированные):
булева алгебра -- дискретная математика -- исчисление высказываний -- исчисление предикатов -- математическая логика
Аннотация: В пособии излагаются основы математической логики, булева алгебра, исчисление высказываний, исчисление предикатов. Пособие состоит из 3 разделов и включает в себя конспект лекций по дисциплине, фонды оценочных средств, а также программу дисциплины «Математическая логика и теория алгоритмов». Предназначено для студентов I и II курсов математических, экономических и компьютерных специальностей. Подготовлено на кафедре систем телекоммуникаций Российского университета дружбы народов.

Перейти: Перейти к просмотру издания

Доп.точки доступа:
Кокотчикова, М. Г.; Севастьянов, Л. А.
Свободных экз. нет
Найти похожие

18.

24064

Малыхина, Г. И.
Логика [Текст] : учебник / Малыхина Г. И. - Минск : Вышэйшая школа, 2013. - 335 с. - ISBN 978-985-06-2297-6 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.

УДК

ББК 87.4я73

Кл.слова (ненормированные):
исчисление высказываний -- исчисление предикатов -- логика -- структура суждения -- форма мышления
Аннотация: В основе учебника – опыт преподавания общего курса логики студентам учреждений высшего образования. В оригинальной и последовательной форме изложено содержание дисциплины в контексте разнообразных форм человеческой деятельности. Обосновывается фундаментальное значение логических знаний для учебной практики и интеллектуального творчества, в том числе и технического. Для студентов учреждений высшего образования, учащихся гимназий, лицеев, колледжей и училищ. Может быть использовано магистрантами и аспирантами, а также изучающими логику самостоятельно.

Перейти: Перейти к просмотру издания
Свободных экз. нет
Найти похожие

Тематический навигатор

Статистика обращений

Статистика за 28.06.2024
Число запросов	1970
Число посетителей	269
Число заказов	0

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