Поисковый запрос: (<.>KL=логика предикатов<.>) |
Общее количество найденных документов : 45
Показаны документы с 1 по 20 |
|
1. 
|
Вид документа : Однотомное издание
Шифр издания : 51/Н 73
Автор(ы) : Новиков П. С.
Заглавие : Элементы математической логики
: научное издание
Выходные данные : М.: Гос. изд-во физико-мат. лит., 1959
Колич.характеристики :400 с.
; 21 см
Серия: Математическая логика и основания математики
Цена : 11.05 р.
ГРНТИ : 27.03
УДК : 51
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): аксиоматическая арифметика--теория доказательств--логика предикатов--исчисление высказываний--основания математики
Аннотация: Одной из основных задач математической логики остается анализ оснований математики. В настоящей книге сделана попытка дать по возможности доступное изложение основ математической логики.
Найти похожие
|
2.
|
Вид документа : Однотомное издание
Шифр издания : 16/С 81
Автор(ы) : Столяр А. А.
Заглавие : Элементарное введение в математическую логику
: научное издание
Выходные данные : М.: Изд-во "Просвещение", 1965
Колич.характеристики :162 с.:
ил.; 21 см
Примечания : Библиогр.: с. 162
Цена : 0.22 р.
УДК : 16
Ключевые слова (''Своб.индексиров.''): математическая логика--логика высказываний--логика предикатов--множества--традиционная логика--кванторы--эквивалентные формулы
Найти похожие
|
3.
|
Вид документа : Однотомное издание
Шифр издания : 510/П 25
Автор(ы) : Пензов Ю. Е.
Заглавие : Элементы математической логики и теории множеств
: научное издание
Выходные данные : Саратов: Изд-во Сарат. ун-та , 1968
Колич.характеристики :143 с.:
ил.; 20 см
Примечания : Библиогр.: с. 141 (16 назв.)
Цена : 0.60 р.
ГРНТИ : 27.03
УДК : 510.6
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): теория множеств--логика математическая--логика--логика предикатов--бинарные отношения--преобразования множеств
Найти похожие
|
4.
|
Вид документа : Однотомное издание
Шифр издания : 512/Г 49
Автор(ы) : Гиндикин С. Г.
Заглавие : Алгебра логики в задачах
: научное издание
Выходные данные : М.: Изд-во "Наука", 1972
Колич.характеристики :286 с.:
ил.; 21 см
Примечания : Библиогр.: с. 283-284
Цена : 0.76 р.
ГРНТИ : 27.17
УДК : 512.64
Предметные рубрики: Математика-- Алгебра
Ключевые слова (''Своб.индексиров.''): арифметические операции--закон двойственности--монотонные функции--теорема поста--релейно-контактные схемы--логика предикатов
Аннотация: Книга знакомит читателей с идеями конечной математики, в частности, алгебры логики, поскольку они качественно отличаются от идей традиционного курса математики.
Найти похожие
|
5.
|
Вид документа : Однотомное издание
Шифр издания : 51/Н 73
Автор(ы) : Новиков П. С.
Заглавие : Элементы математической логики
: научное издание
. -2-е изд., испр.
Выходные данные : М.: Наука, 1973
Колич.характеристики :399 с.
; 21 см
Цена : 1.43 р.
ГРНТИ : 27.03
УДК : 51
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): аксиоматическая арифметика--теория доказательств--логика предикатов--исчисление высказываний
Аннотация: Одной из основных задач математической логики остается анализ оснований математики.
Найти похожие
|
6.
|
Вид документа : Однотомное издание
Шифр издания : 22.12
Автор(ы) : Колмогоров, Андрей Николаевич, Драгалин, Альберт Григорьевич
Заглавие : Введение в математическую логику
: учебное пособие для вузов
Выходные данные : Москва: Издательство Московского государственного университета, 1982
Колич.характеристики :119 с
Цена : 0.25 р.
ББК : 22.12
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): логика высказываний--логика предикатов--логико-математические языки--логические законы--математическая логика--математический язык--теория множеств--формальные аксиоматические теории
Найти похожие
|
7.
|
Вид документа : Однотомное издание
Шифр издания : 22.12
Автор(ы) : Лавров, Игорь Андреевич, Максимова, Лариса Львовна
Заглавие : Задачи по теории множеств, математической логике и теории алгоритмов.
. -2-е изд.
Выходные данные : Москва: Наука, 1984
Колич.характеристики :224 с
Цена : 0.90 р.
ББК : 22.12
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): алгоритмы--задачи--логика предикатов--математическая логика--машины тьюринга--нумерации клини--нумерации поста--предикаты--теория алгоритмов--теория множеств
Найти похожие
|
8.
|
Вид документа : Однотомное издание
Шифр издания : 22.12
Автор(ы) : Мендельсон, Эллиот
Заглавие : Введение в математическую логику
. -3-е изд.
Выходные данные : Москва: Наука, 1984
Колич.характеристики :320 с
Примечания : Библиогр.: с. 296-319
Цена : 1.80 р.
ББК : 22.12
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): аксиоматическая теория множеств--алгорифмы маркова--алгорифмы тьюринга--логика высказываний--логика предикатов--математическая логика--теорема хартогса--теория алгоритмов--формализованная арифметика--формальная арифметика--элементарные теории
Найти похожие
|
9.
|
Вид документа : Однотомное издание
Шифр издания : 87.4
Автор(ы) : Зегет, Вольфгант
Заглавие : Элементарная логика
Выходные данные : Москва: Высшая школа, 1985
Колич.характеристики :256 с
Примечания : Библиогр.: с. 254
Цена : 0.90 р.
ББК : 87.4
Предметные рубрики: Логика-- Общие вопросы логики
Ключевые слова (''Своб.индексиров.''): виды определений--виды понятий--высказывание--высказывание--дескрипции--дизъюнкция--импликация--конъюнкция--логика высказываний--логика предикатов--методы индукции--мышление--определения--отрицание--понятие--силлогистика--тождество--умозаключение--язык--язык и наука
Аннотация: По содержанию, структуре и организации материала книга В. Зегерта является оригинальным учебным пособием, в котором проблемы традиционной и современной формальной логики органично переплетены и связаны, что делает книгу интересной с методическо-дидактической точки зрения.
Найти похожие
|
10.
|
Вид документа : Однотомное издание
Шифр издания : 083139
51.01(075)+51.017+017.7:51/И 26
Автор(ы) : Игошин, Владимир Иванович
Заглавие : Математическая логика и теория алгоритмов
: Учеб. пособ. для студентов физ.-мат. спец. пед. ин-тов
Выходные данные : Саратов: Издательство Саратовского университета, 1991
Колич.характеристики :255, [2] c.
Примечания : Библиогр.
ISBN (в пер.), Цена 5-292-00259-3: 25.00 р.
УДК : [510.5+510.6](075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмов теория--исчисления высказываний--логика предикатов--булевы функции
Найти похожие
|
11.
|
Вид документа : Однотомное издание
Шифр издания : 61(075)/Л 69
Автор(ы) : Смирнов В. А., Анисов А. М., Арутюнов Г. П.
Заглавие : Логика и клиническая диагностика
: учебник для вузов
Выходные данные : М.: Наука, 1994
Колич.характеристики :297 с.
; 24см
Серия: Обновление гуманитарного образования в России
ISBN, Цена 5020135933: б/ц.
ГРНТИ : 76.29.01.33
УДК : 616(075.8)
ББК : 87.4
Предметные рубрики: Медицина-- Клиническая медицина
Ключевые слова (''Своб.индексиров.''): клиническая диагностика--логика--логика предикатов--клинические синдромы--диагностика--параметры--симптомы
Найти похожие
|
12.
|
Вид документа : Однотомное издание
Шифр издания : 525181
16(03)/П 27
Автор(ы) : Переверзев, Василий Николаевич
Заглавие : Логистика
: Справ. кн. по логике
Выходные данные : Москва: Мысль, 1995
Колич.характеристики :222 с.:
ил.
Примечания : Библиогр.
ISBN (в пер.), Цена 5-244-00798-X: 4500.00 р.
УДК : 16(035)
Предметные рубрики: логика-- логика
Ключевые слова (''Своб.индексиров.''): история логики--понятия--суждения--умозаключения--высказывания--логический синтаксис--логическая семантика--логическая прагматика--логика предикатов--логистика--логика
Найти похожие
|
13.
|
Вид документа : Многотомное издание
Шифр издания : 254338
51.01(075)/С 81
Автор(ы) : Столбоушкин, Алексей Петрович
Заглавие : Математические основания информатики: учеб. пособие/ А. П. Столбоушкин, М. А. Тайцлин. Ч. 1
Выходные данные : Тверь: [б. и.], 1998
Колич.характеристики :170, [2] с
ISBN, Цена [Б. и.]: 15.00 р.
УДК : 510.6(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--информатика--автоматы--логика предикатов
Найти похожие
|
14.
|
Вид документа : Однотомное издание
Шифр издания : 51(075)/Л 65
Автор(ы) : Лихтарников Л. М.
Заглавие : Математическая логика. Курс лекций. Задачник-практикум и решения
: учеб. пособие для студ. вузов, обучающихся по математическим спец.
Выходные данные : СПб.: Лань, 1998
Колич.характеристики :288 с.
; 21см
ISBN, Цена 5811400829: 35р. р.
ГРНТИ : 27.03.01.33
УДК : 510.6(075.8)
ББК : 22
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): алгебра логики--логика предикатов--алгоритмы--исчисление высказываний
Аннотация: Учебное пособие предназначено для студентов университетов и пед. институтов, изучающих курс математической логики.
Найти похожие
|
15.
|
Вид документа : Однотомное издание
Шифр издания : 22.12
Автор(ы) : Никольская, Инна Львовна
Заглавие : Знакомство с математической логикой
: учебно-методическая литература для школ и вузов
Выходные данные : Москва: Флинта, 1998
Колич.характеристики :128 с
Серия: Библиотека педагога-практика
ISBN, Цена 5-89502-036-4: 23.00 р.
ББК : 22.12
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): логика высказываний--логика предикатов--математическая логика
Аннотация: Книга содержит теоретический материал и систему упражнений,обеспечивающие первоначальное знакомство с основными понятиями и языком математической логики,выработку некоторых навыков их применения.Для школьников,студентов.
Найти похожие
|
16.
|
Вид документа : Однотомное издание
Шифр издания : 87.4я73
Автор(ы) : Бочаров, Вячеслав Александрович, Маркин, Владимир Ильич
Заглавие : Основы логики
: учебник для ВУЗов
Выходные данные : Москва: ИНФРА-М., 1999
Колич.характеристики :296 с
Серия: Высшее образование
Примечания : Предм. указ.:с.287-294
Цена : 60.00 р.
ББК : 87.4я73
Предметные рубрики: Логика-- Общие вопросы логики
Ключевые слова (''Своб.индексиров.''): дедукция--индукция--логика предикатов--логические законы--логические теории--определения--понятия--рассуждения--силлогистика--учебники для вузов--энтимемы
Аннотация: Знакомство с учебником позволит получить представление о предмете логики, природе и специфике логического знания, о наиболее известных логических теориях, а также о той методологической роли, которую играет логика в интеллектуальной познавательной деятельности человека
Найти похожие
|
17.
|
Вид документа : Однотомное издание
Шифр издания : 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)
Предметные рубрики: логика-- логика
математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): формальная логика--суждения--умозаключения--математическая логика--логика высказываний--логика предикатов
Найти похожие
|
18.
|
Вид документа : Однотомное издание
Шифр издания : 16(075)/Б 86
Автор(ы) : Бочаров В. А., Маркин В. И.
Заглавие : Основы логики
: учебник для вузов
Выходные данные : М.: ИНФРА-М, 2002
Колич.характеристики :296 с.
; 22см
Серия: Высшее образование
ISBN, Цена 5160008705: 77.00 р.
ГРНТИ : 02.21.01.33
УДК : 16(075.8)
ББК : 87.4я73
Предметные рубрики: Философия-- Логика
Ключевые слова (''Своб.индексиров.''): философия--логика--логические законы--логические теории--логика высказываний--логика предикатов--силлогистика
Аннотация: Представляет собой введение в проблематику современной логики, содержит изложение основных ее разделов.
Найти похожие
|
19.
|
Вид документа : Однотомное издание
Шифр издания : 502316
1Н252/С 50
Автор(ы) : Смирнов, Владимир Александрович
Заглавие : Логические методы анализа научного знания
: научное издание
Выходные данные : Москва: Эдиториал УРСС, 2002
Колич.характеристики :263, [1] с
Примечания : Библиогр.
ISBN (в пер.), Цена 5-8360-0308-4: 65.00 р.
УДК : 510.6:1 + 929Смирнов
Предметные рубрики: философия-- философия науки
Ключевые слова (''Своб.индексиров.''): научное знание--методология науки--теория--язык--логика предикатов--математическая логика--персоналии--эмпирическая интерпретация--философия математической логики
Найти похожие
|
20.
|
Вид документа : Однотомное издание
Шифр издания : 519(075)/М 82
Автор(ы) : Москинова Г. И.
Заглавие : Дискретная математика
: математика для менеджера в примерах и упражнениях : учеб. пособие для студ. вузов
Выходные данные : М.: Логос, 2003
Колич.характеристики :240 с.:
ил.; 22 см
Серия: Учебник для XXI века
Примечания : Рекомендовано М-вом образования РФ
ISBN, Цена 5-94010-016-3: 108.00 р.
ГРНТИ : 27.41.41.01.33
УДК : 519.1(075.8)
ББК : 22.1+65.290-2в6(я7)
Предметные рубрики: Математика-- Дискретная математика
Ключевые слова (''Своб.индексиров.''): математика--дискретная математика--логика--теория графов--множества--математическая логика--логика предикатов
Аннотация: Содержит основные понятия теории множеств, логики, теории графов в иллюстрациях и поясняющих примерах, адаптированных к потребностям менеджмента и управления.
Найти похожие
|
|
|
|
Электронный каталог
Стандартный (по одному полю)