Поисковый запрос: (<.>KL=логика высказываний<.>) |
Общее количество найденных документов : 32
Показаны документы с 1 по 20 |
|
1. 
|
Вид документа : Однотомное издание
Шифр издания : 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
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): множества--функции--логические функции--логика высказываний--логика предикатов
Аннотация: Пособие содержит начальные понятия о множествах и функциях; рассмотрены основные законы алгебры двузначных логических функций с применением в логике высказываний и предикатов.
Найти похожие
|
2.
|
Вид документа : Однотомное издание
Шифр издания : 16/К 17
Автор(ы) : Калужнин Л. А.
Заглавие : Что такое математическая логика?
: научное издание
Выходные данные : М.: Изд-во "Наука", 1964
Колич.характеристики :152 с.:
ил., граф., табл.; 20 см
Примечания : Библиогр.: с. 149-150 (29 назв.)
Цена : 0.21 р.
УДК : 16
Ключевые слова (''Своб.индексиров.''): логика высказываний--формулы логики--предикаты--кванторы--математическая логика
Найти похожие
|
3.
|
Вид документа : Однотомное издание
Шифр издания : 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
Предметные рубрики: Философия-- Логика
Ключевые слова (''Своб.индексиров.''): понятие--суждение--умозаключение--доказательство--логика высказываний--логика предикатов--символическая логика
Аннотация: Пособие содержит основные темы курса «Логика», соответствующие общепринятой программе преподавания этой дисциплины. Благодаря простоте изложения и легкости стиля полезно не только как учебное пособие, но и как популяризирующее эту издание. Много внимания уделяется философско-методологическим проблемам логики.
Найти похожие
|
4.
|
Вид документа : Однотомное издание
Шифр издания : 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
Предметные рубрики: Математика-- Математическая логика
Математика-- Теория алгоритмов
Ключевые слова (''Своб.индексиров.''): математика--математическая логика--теория алгоритмов--логика высказываний--логика предикатов--алгебра логики
Аннотация: Излагаются основные положения математической логики и теории алгоритмов. Особое внимание уделяется алгебре логики, методам минимизации переключательных функций, синтезу и анализу логических схем.
Найти похожие
|
5.
|
Вид документа : Однотомное издание
Шифр издания : 16(075)/С 24
Автор(ы) : Светлов В. А.
Заглавие : Логика: экзаменационные ответы для студентов вузов
: учеб. пособие
Выходные данные : СПб. [и др.]: Питер, 2008
Колич.характеристики :160 с.:
ил.; 21 см
Серия: Завтра экзамен
ISBN, Цена 978-5-469-00910-8: 61.00 р.
ГРНТИ : 02.21.01.33
УДК : 16(075.8)
ББК : 87.4
Предметные рубрики: Философия-- Логика
Ключевые слова (''Своб.индексиров.''): символическая логика--суждения--умозаключения--силлогизмы--логика высказываний--предикаты--логика предикатов
Аннотация: Данное издание подготовлено на основе авторских курсов по логике для специалистов самого разного профиля. Написанная в форме ответов на вопросы, эта книга позволяет быстро повторить все основные темы годового курса по логике.
Найти похожие
|
6.
|
Вид документа : Однотомное издание
Шифр издания : 16/С 81
Автор(ы) : Столяр А. А.
Заглавие : Элементарное введение в математическую логику
: научное издание
Выходные данные : М.: Изд-во "Просвещение", 1965
Колич.характеристики :162 с.:
ил.; 21 см
Примечания : Библиогр.: с. 162
Цена : 0.22 р.
УДК : 16
Ключевые слова (''Своб.индексиров.''): математическая логика--логика высказываний--логика предикатов--множества--традиционная логика--кванторы--эквивалентные формулы
Найти похожие
|
7.
|
Вид документа : Однотомное издание
Шифр издания : 87.4
Автор(ы) : Кольман, Эрнест, Зих, Отокар
Заглавие : Занимательная логика
Выходные данные : Москва: Наука, 1966
Колич.характеристики :126 с
Серия: Научно-популярная серия
Примечания : Библиогр.: с. 124
Цена : 7.20 р.
ББК : 87.4
Предметные рубрики: Логика-- Общие вопросы логики
Ключевые слова (''Своб.индексиров.''): занимательная логика--логика высказываний--логика классов
Найти похожие
|
8.
|
Вид документа : Однотомное издание
Шифр издания : 22.12
Автор(ы) : Колмогоров, Андрей Николаевич, Драгалин, Альберт Григорьевич
Заглавие : Введение в математическую логику
: учебное пособие для вузов
Выходные данные : Москва: Издательство Московского государственного университета, 1982
Колич.характеристики :119 с
Цена : 0.25 р.
ББК : 22.12
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): логика высказываний--логика предикатов--логико-математические языки--логические законы--математическая логика--математический язык--теория множеств--формальные аксиоматические теории
Найти похожие
|
9.
|
Вид документа : Однотомное издание
Шифр издания : 87.4я73
Автор(ы) : Бочаров, Вячеслав Александрович, Маркин, Владимир Ильич
Заглавие : Введение в логику. Университетский курс
: учебник для высш. учеб. заведений
. -2-е изд., испр. и доп.
Выходные данные : Москва: ФОРУМ: ИНФРА-М, 2011
Колич.характеристики :560 с
Серия: Высшее образование
Примечания : Предм. указ.: с. 547 - 559
ISBN, Цена 978-5-8199-0465-7: 362.89 р.
ББК : 87.4я73
Предметные рубрики: Логика-- Общие вопросы логики
Ключевые слова (''Своб.индексиров.''): виды языков --исчисление предикатов--категориальный анализ языка--логика времени--логика высказываний--логика предикатов--логическая форма--логические законы--логические теории--многозначная логика--модальная логика--правдоподобные рассуждения--силлогистика--учебники для вузов--функциональный анализ языка--язык--языковая система--языковые выражения
Аннотация: Учебник представляет основное содержание курса лекций по логике, который автор в течение ряда лет читал на философском факультете Московского университета им. М. В. Ломоносова.
Найти похожие
|
10.
|
Вид документа : Однотомное издание
Шифр издания : 16/К 62
Автор(ы) : Кольман Э., Зих О.
Заглавие : Занимательная логика
: научно-популярная литература
Выходные данные : М.: Изд-во "Наука", 1966
Колич.характеристики :127 с.:
ил.; 19 см
Серия: Научно-популярная серия
Цена : 0.20 р.
УДК : 16
Ключевые слова (''Своб.индексиров.''): математическая логика--логика высказываний--логика классов--символическая логика--логические уравнения--элементы арифметики
Найти похожие
|
11.
|
Вид документа : Однотомное издание
Шифр издания : 87.4я73
Автор(ы) : Бочаров, Вячеслав Александрович, Маркин, Владимир Ильич
Заглавие : Введение в логику. Университетский курс
: учебник для вузов
Выходные данные : Москва: Форум: ИНФРА-М, 2008
Колич.характеристики :560 с
Серия: Высшее образование
Примечания : Предм. указ.: с. 542 - 554
ISBN, Цена 978-5-8199-0365-0: 313 р.
ББК : 87.4я73
Предметные рубрики: Логика-- Общие вопросы логики
Ключевые слова (''Своб.индексиров.''): виды языков --исчисление предикатов--категориальный анализ языка--логика времени--логика высказываний--логика предикатов--логическая форма--логические законы--логические теории--многозначная логика--модальная логика--определение--понятие--правдоподобные рассуждения--силлогистика--теория--учебники для вузов--функциональный анализ языка--язык--языковая система--языковые выражения
Аннотация: Учебник представляет основное содержание курса лекций по логике, который автор в течение ряда лет читал на философском факультете Московского университета им. М. В. Ломоносова.
Найти похожие
|
12.
|
Вид документа : Однотомное издание
Шифр издания : 16(075)/Л 69
Автор(ы) : Берков В. Ф., Бартон В. И., Дубинин И. И.
Заглавие : Логика
: учеб. пособие
Выходные данные : Минск: Вышэйшая школа, 1994
Колич.характеристики :296 с.
; 21 см
ISBN, Цена 5-339-00939-4: 2500р. р.
ГРНТИ : 02.21.01.33
УДК : 16(075.8)
ББК : 87.4я73
Предметные рубрики: Философия-- Логика
Ключевые слова (''Своб.индексиров.''): общение--логика--логика высказываний--теория имен--теория выводов--логическая теория--диалоговая ситуация
Найти похожие
|
13.
|
Вид документа : Однотомное издание
Шифр издания : 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
Предметные рубрики: математика-- математическая логика-- теория чисел
Ключевые слова (''Своб.индексиров.''): логика высказываний--простые числа--лукасевича логика
Найти похожие
|
14.
|
Вид документа : Однотомное издание
Шифр издания : 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)
Предметные рубрики: логика-- логика
математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): формальная логика--суждения--умозаключения--математическая логика--логика высказываний--логика предикатов
Найти похожие
|
15.
|
Вид документа : Однотомное издание
Шифр издания : 22.144я73
Автор(ы) : Горбатов, Вячеслав Афанасьевич
Заглавие : Основы дискретной математики
: учеб. пособие для ВУЗов
Выходные данные : Москва: Высшая школа, 1986
Колич.характеристики :311 с
Примечания : Библиогр.: с. 304-305. - Предм. указ.: с. 306
Цена : 01.00 р.
ББК : 22.144я73
Предметные рубрики: Математика-- Алгебра
Ключевые слова (''Своб.индексиров.''): аксиоматика теории множеств--алгебра отношений--бинарные отношения--взвешенные графы--вложение графов--дискретная математика--дифференцирование графов--дифференцирование мографов--исчисление высказываний--исчисление предикатов--класс днф--кодирование внутренних состояний--комбинаторные алгоритмы--логика высказываний--логические схемы--математическая логика--матричное задание--минимизация булевых функций--минимизация представления множеств--множество--модели--моделирование автоматных систем--общая алгебра--операции--операционные автоматы--паросочетания--покрытия--полнота--пособия для вузов--прикладная теория алгоритмов--проектирование автоматов--раскраска графов--решетки--связность графа--сети петри--синтез логических схем--структурное проектирование автоматов--теория графов--теория мографов--теория формальных грамматик--устойчивость--формальные грамматики--фундаментальные алгебры--функции--характеризационный анализ--характеризация раскраски--характеризация реберности--цикломатика--частичное упорядочение мографа
Аннотация: В книге излагаются основы алгебраических систем, математической логики, теории графов и мографов, теории формальных грамматик и автоматов, прикладной теории алгоритмов и характеризации моделей, которые в совокупности образуют единый методически взаимосвязанный курс "Дискретная математика".
Найти похожие
|
16.
|
Вид документа : Многотомное издание
Шифр издания : 574743
51.013/В 31
Автор(ы) : Верещагин, Николай Константинович
Заглавие : Лекции по математической логике и теории алгоритмов/ Н. К. Верещагин, А. Шень. - (Современные лекционные курсы. Математическая логика и теория алгоритмов). Ч. 2: Языки и исчисления
Выходные данные : Москва: Моск. Центр непрерыв. мат. образования, 2000
Колич.характеристики :286, [2] с
Примечания : Авт. и загл. указаны на тит. л.
ISBN, Цена 5-900916-66-9: 40.00 р.
УДК : 510.6(075)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--логика высказываний--исчисления высказываний--исчисления предикатов--языки первого порядка
Найти похожие
|
17.
|
Вид документа : Однотомное издание
Шифр издания : 22.12
Автор(ы) : Марков, Андрей Андреевич
Заглавие : Элементы математической логики
Выходные данные : Москва: Издательство Московского государственного университета, 1984
Колич.характеристики :79 с
Цена : 0.40 р.
ББК : 22.12
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): алгорифмы--высказывания--логика высказываний--математическая логика--предикаты--семиотика
Найти похожие
|
18.
|
Вид документа : Однотомное издание
Шифр издания : 87.4
Автор(ы) : Зегет, Вольфгант
Заглавие : Элементарная логика
Выходные данные : Москва: Высшая школа, 1985
Колич.характеристики :256 с
Примечания : Библиогр.: с. 254
Цена : 0.90 р.
ББК : 87.4
Предметные рубрики: Логика-- Общие вопросы логики
Ключевые слова (''Своб.индексиров.''): виды определений--виды понятий--высказывание--высказывание--дескрипции--дизъюнкция--импликация--конъюнкция--логика высказываний--логика предикатов--методы индукции--мышление--определения--отрицание--понятие--силлогистика--тождество--умозаключение--язык--язык и наука
Аннотация: По содержанию, структуре и организации материала книга В. Зегерта является оригинальным учебным пособием, в котором проблемы традиционной и современной формальной логики органично переплетены и связаны, что делает книгу интересной с методическо-дидактической точки зрения.
Найти похожие
|
19.
|
Вид документа : Однотомное издание
Шифр издания : 22.12
Автор(ы) : Гильберт Давид, Бернайс П.
Заглавие : Основания математики
: логические исчисления и формализация арифметики: пер. с нем.
. -2-е изд.
Выходные данные : Москва: Наука, 1982
Колич.характеристики :556 с.:
ил.
Серия: Математическая логика и основания математики
Цена : 02.70 р.
ББК : 22.12
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): аксиомы--аксиомы пеано--арифметика--бесконечное--выводимость--дедуктивное равенство--дедукционная теорема--доказательства независимости--интуитивные рассуждения--истинностные функции--исчисление предикатов--кванторы--логика высказываний--логические исчисления--математическая логика--нефинитные методы--основания математики--предикаты--проблема разрешимости--разрешимость--рассуждения--редукция--рекурсия--систематика--теоремы о полноте--теория истинностных функций--финитный способ рассуждений--формализация арифметики--формализм--формальная аксиоматика
Найти похожие
|
20.
|
Вид документа : Однотомное издание
Шифр издания : 22.12
Автор(ы) : Мендельсон, Эллиот
Заглавие : Введение в математическую логику
. -3-е изд.
Выходные данные : Москва: Наука, 1984
Колич.характеристики :320 с
Примечания : Библиогр.: с. 296-319
Цена : 1.80 р.
ББК : 22.12
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): аксиоматическая теория множеств--алгорифмы маркова--алгорифмы тьюринга--логика высказываний--логика предикатов--математическая логика--теорема хартогса--теория алгоритмов--формализованная арифметика--формальная арифметика--элементарные теории
Найти похожие
|
|
|
|
Электронный каталог
Стандартный (по одному полю)