Поисковый запрос: (<.>KL=логические исчисления<.>) |
Общее количество найденных документов : 19
Показаны документы с 1 по 19 |
1. 
|
Вид документа : Многотомное издание
Шифр издания : 242287
16(075)/В 65
Автор(ы) : Войшвилло, Евгений Казимирович
Заглавие : Логика как часть теории познания и научной методологии. Фундаментальный курс: учеб. пособие для студентов филос. фак. и преподавателей логики : [в 2 кн.]/ Е. К. Войшвилло, М. Г. Дегтярев. Кн. 1
Выходные данные : Москва: Наука, 1994
Колич.характеристики :311 с
Примечания : На обл. и тит. л.: Прогр. "Обновление гуманит. образования в России"
ISBN, Цена 5-02-013514-3: 3000.00 р.
УДК : 16(075.8)
Предметные рубрики: логика-- логика
Ключевые слова (''Своб.индексиров.''): познание--язык--знаки--логический анализ языка--классическая логика --релевантная логика --символическая логика --дедукция--логические исчисления
Найти похожие
|
2.
|
Вид документа : Однотомное издание
Шифр издания : 692086
16/С 50
Автор(ы) : Смирнов, Владимир Александрович
Заглавие : Теория логического вывода
: научное издание
Выходные данные : Москва: РОССПЭН, 1999
Колич.характеристики :318 с.:
портр.
Примечания : Библиогр.
ISBN (в пер.), Цена 5-8243-0046-1: 40.00 р.
УДК : 16 + 929Смирнов
Предметные рубрики: логика-- логика --Россия, 20 в.
Ключевые слова (''Своб.индексиров.''): логика--логические системы--логический вывод--логические исчисления--классическая логика--формальная логика--персоналии
Найти похожие
|
3.
|
Вид документа : Однотомное издание
Шифр издания : 346377
518.8/Н 73
Автор(ы) : Новиков, Федор Александрович
Заглавие : Дискретная математика для программистов
: учебное пособие
Выходные данные : Санкт-Петербург; Москва; Харьков; Минск: Питер, 2001
Колич.характеристики :301, [3] с
ISBN (в пер.), Цена 5-272-00183-4: 86.49 р.
УДК : 519.1(075.8)
Предметные рубрики: математика-- комбинаторный анализ-- теория графов
Ключевые слова (''Своб.индексиров.''): дискретная математика--комбинаторика--булевы функции--кодирование--логические исчисления--графы--алгебраические структуры
Найти похожие
|
4.
|
Вид документа : Однотомное издание
Шифр издания : 636261
518.8/Н 73
Автор(ы) : Новиков, Федор Александрович
Заглавие : Дискретная математика для программистов
: учебник
Выходные данные : Санкт-Петербург; Москва; Харьков; Минск: Питер, 2002
Колич.характеристики :301, [3] с
ISBN (в пер.), Цена 5-272-00183-4: 89.89 р.
УДК : 519.1(075.8)
Предметные рубрики: математика-- комбинаторный анализ-- теория графов
Ключевые слова (''Своб.индексиров.''): дискретная математика--комбинаторика--булевы функции--кодирование--логические исчисления--графы--алгебраические структуры--множества--связность--раскраска графов
Аннотация: Изложены основные разделы дискретной математики и описаны важнейшие алгоритмы на дискретных структурах данных.
Найти похожие
|
5.
|
Вид документа : Однотомное издание
Шифр издания : 519(075)/Н 73
Автор(ы) : Новиков Ф. А.
Заглавие : Дискретная математика для программистов
: учеб. пособие для вузов
. -2-е изд.
Выходные данные : СПб.: Питер, 2004, 2005
Колич.характеристики :364 с.:
ил.; 24 см
Серия: Учебник для вузов
Примечания : Библиогр.: с. 349-350 (28 назв.). - Допущено М-вом образования РФ
ISBN, Цена 5-94723-741-5: 139.81 р.
ГРНТИ : 27.41.41.01.33
УДК : 519.1(075.8)
ББК : 22.176
Предметные рубрики: Математика-- Дискретная математика
Ключевые слова (''Своб.индексиров.''): математика--дискретная математика--множества--отношения--алгебраические структуры--булевы функции--логические исчисления--комбинаторика--кодирование--графы--связность--деревья--циклы
Найти похожие
|
6.
|
Вид документа : Однотомное издание
Шифр издания : 674197
163/В 20
Автор(ы) : Васюков, Владимир Леонидович
Заглавие : Категорная логика
: научное издание
Выходные данные : Москва: АНО Ин-т логики, 2005
Колич.характеристики :194 с
Коллективы :
Рос. акад. наук, Ин-т философии
Примечания : Библиогр.: с. 185-190 . - Предм. указ.: с. 191-194
ISBN, Цена 5-85593-145-5: 65.00 р.
УДК : 161/162
Предметные рубрики: логика-- категории логики
Ключевые слова (''Своб.индексиров.''): категории логики--дедукция--дедуктивные системы--логические исчисления
Найти похожие
|
7.
|
Вид документа : Однотомное издание
Шифр издания : 989664
518.8/Н 73
Автор(ы) : Новиков, Федор Александрович
Заглавие : Дискретная математика для программистов
: учеб. пособие : учебник
. -2-е изд.
Выходные данные : Москва; Санкт-Петербург [и др.]: Питер, 2007
Колич.характеристики :363, [5] с.:
рис.
Серия: Учебник для вузов
Примечания : Библиогр.: с. 349-350 (28 назв.). - Предм. указ.: с. 351-363. - Рекомендовано М-вом образования Рос. Федерации в качестве учеб. для студентов вузов, обучающихся по экон. специальностям
ISBN (в пер.), Цена 5-94723-741-5: 114.00 р.
УДК : 519.1(075.8)
Предметные рубрики: математика-- комбинаторный анализ-- теория графов
Ключевые слова (''Своб.индексиров.''): дискретная математика--комбинаторика--булевы функции--кодирование--графы--связность--логические исчисления--алгебраические структуры--множества--раскраска графов
Найти похожие
|
8.
|
Вид документа : Однотомное издание
Шифр издания : 942589
Автор(ы) : Новиков, Федор Александрович
Заглавие : Дискретная математика
: для бакалавров и магистров : учебник
. -2-е изд.
Выходные данные : Москва; Санкт-Петербург [и др.]: Питер, 2013
Колич.характеристики :400 с.:
ил.
Серия: Учебник для вузов
.
Стандарт третьего поколения
Примечания : Библиогр.: с. 386- 387 (31 назв.). - Предм. указ.: с. 388-399. - Рекомендовано Учеб.-метод. об-нием по унив. политех. образованию в качестве учеб. для студентов вузов, обучающихся по направлению подготовки "Системный анализ и управление"
ISBN (в пер.), Цена 978-5-496-00015-4: 378.00 р.
УДК : 519.1(075.8)
Предметные рубрики: математика-- комбинаторный анализ-- теория графов
Ключевые слова (''Своб.индексиров.''): дискретная математика--множеств теория--алгебраические структуры--булевы функции--логические исчисления--комбинаторика--кодирование--графов теория--связность--деревья
Найти похожие
|
9.
|
Вид документа : Однотомное издание
Шифр издания : 519(075)/А 60
Автор(ы) : Аляев Ю. А., Тюрин С. Ф.
Заглавие : Дискретная математика и математическая логика
: учебник
Выходные данные : М.: Финансы и статистика, 2006
Колич.характеристики :368 с.:
ил.; 21 см
Примечания : Библиогр.: с. 355-357 (41 назв.). - Гриф: допущено УМО по образованию в обл. прикладной информатики в качестве учебника для студ. вузов, обучающихся по спец. "Прикладная информатика (по областям)" и др. экон. спец.
ISBN, Цена 5-279-03045-7: 260.00 р.
ГРНТИ : 27.41.41.01.33 + 27.03.01.33
УДК : 519.1+510.6(075.8)
ББК : 22.176 + 22.12
Предметные рубрики: Математика-- Дискретная математика
Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): математика--дискретная математика--математическая логика--теория множеств--элементы комбинаторики--теория графов--теория кодирования--логические исчисления--теория алгоритмов--теория нечетких множеств--алгебра--булевы алгебры--неклассические логики
Аннотация: Рассматриваются основные темы дискретной математики и математической логики. Сложные вопросы математики рассматриваются на простых примерах.
Найти похожие
|
10.
|
Вид документа : Однотомное издание
Шифр издания : 519(075)/Н 73
Автор(ы) : Новиков Ф. А.
Заглавие : Дискретная математика для программистов
: учеб. пособие для вузов
. -2-е изд.
Выходные данные : М. [и др.]: Питер, 2006
Колич.характеристики :364 с.:
ил.; 24 см
Серия: Учебник для вузов
Примечания : Библиогр.: с. 349-250 (28 назв.). - Гриф: допущено М-вом образования РФ в качестве учеб. пособия для студ. вузов, обуч. по направ. подготовки дипломир. спец. "Информатика и вычислительная техника"
ISBN, Цена 5-94723-741-5: 147.18 р.
ГРНТИ : 27.41.41.01.33
УДК : 519.1(075.8)
ББК : 22.176
Предметные рубрики: Математика-- Дискретная математика
Ключевые слова (''Своб.индексиров.''): математика--дискретная математика--множества--отношения--алгебраические структуры--булевы функции--логические исчисления--комбинаторика--кодирование--графы--связность
Аннотация: Рассматриваются бытовые шкалы и упорядоченные списки, булевы матрицы, отношения и ориентированные графы, логические исчисления и автоматическое доказательство теорем, комбинаторные конфигурации и рекурентные соотношения, кодирование, сжатие данных и шифрование, алгоритмы на графах, методы решения переборных задач и приближенные алгоритмы.
Найти похожие
|
11.
|
Вид документа : Однотомное издание
Шифр издания : 519(075)/Н 73
Автор(ы) : Новиков Ф. А.
Заглавие : Дискретная математика для программистов
: учеб.
. -3-е изд.
Выходные данные : СПб. [и др.]: Питер, 2009
Колич.характеристики :384 с.:
ил.; 24 см
Серия: Учебник для вузов
Примечания : Библиогр.: с. 368-369 (31 назв.). - Гриф: допущено М-вом образования и науки РФ в качестве учеб. пособия для студ. вузов, обучающихся по направлению подгот. дипломир. спец. "Информатика и вычислительная техника"
ISBN, Цена 978-5-91180-759-7: 205.70 р.
ГРНТИ : 27.41.41.01.33
УДК : 519.1(075.8)
ББК : 22.176
Предметные рубрики: Математика-- Дискретная математика
Ключевые слова (''Своб.индексиров.''): множества--отношения--алгебраические структуры--булевы функции--логические исчисления--комбинаторика--кодирование--графы--связность
Аннотация: Изложены основные разделы дискретной математики и описаны важнейшие алгоритмы на дискретных структурах данных.
Найти похожие
|
12.
|
Вид документа : Однотомное издание
Шифр издания : 510(075)/Л 13
Автор(ы) : Лавров И. А.
Заглавие : Математическая логика
: учеб. пособие
Выходные данные : М.: ИЦ "Академия", 2006
Колич.характеристики :240 с.
; 22 см
Серия: Университетский учебник
.
Прикладная математика и информатика
Примечания : Библиогр.: с. 230 (14 назв.). - Гриф: допущено М-вом образования и науки Рос. Федерации в качестве учеб. пособия для студ. вузов, обуч. по техн. и естеств.-науч. спец.
ISBN, Цена 5-7695-2735-8: 238.70 р.
ГРНТИ : 27.03.01.33
УДК : 510.6(075.8)
ББК : 22.12
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): семантика--синтаксис--аксиоматические теории--теории множеств--геометрические теории--интерпретации--исчисление высказываний--исчисление предикатов--логические исчисления--алгебраические системы--логические системы
Аннотация: В учебном пособии изложены основы современного подхода к изучению математических теорий с привлечением логических понятий и методов, а также концепция программы Д. Гильберта о построении математических теорий аксиоматическим путем. Рассмотрены аксиоматические теории для множеств натуральных и действительных чисел и для геометрии.
Найти похожие
|
13.
|
Вид документа : Многотомное издание
Шифр издания : 16(075)/В 65
Автор(ы) : Войшвилло Е. К.
Заглавие : Логика как часть теории познания и научной методологии (фундаментальный курс): учеб. пособие/ Е. К. Войшвилло, М. Г. Дегтярев. Кн. 1
Выходные данные : М.: Наука, 1994
Колич.характеристики :312 с.
; 21 см
ISBN, Цена 5-02-013514-3: Б.ц.
ГРНТИ : 02.21.01.33
УДК : 16(075)
Предметные рубрики: Философия-- Логика
Ключевые слова (''Своб.индексиров.''): классическая логика--исчисление высказываний--релевантная логика--алгебра высказываний--логические исчисления--синтаксис--семантика
Аннотация: Учебное пособие представляет собой систематическое изложение обширного курса логики, включающее логический анализ языка как знаковой системы, символическую логику (классическую и релевантную).
Найти похожие
|
14.
|
Вид документа : Многотомное издание
Шифр издания : 16(075)/В 65
Автор(ы) : Войшвилло Е. К.
Заглавие : Логика как часть теории познания и научной методологии (фундаментальный курс): учеб. пособие/ Е. К. Войшвилло, М. Г. Дегтярев. Кн. 2
Выходные данные : М.: Наука, 1994
Колич.характеристики :333 с.:
ил.; 21 см
ISBN, Цена 5-02-013515-1: Б.ц.
ГРНТИ : 02.21.01.33
УДК : 16(075.8)
Предметные рубрики: Философия-- Логика
Ключевые слова (''Своб.индексиров.''): классическая логика--исчисление высказываний--релевантная логика--алгебра высказываний--логические исчисления--синтаксис--семантика
Аннотация: Учебное пособие представляет собой систематическое изложение обширного курса логики, включающее логический анализ языка как знаковой системы, символическую логику (классическую и релевантную).
Найти похожие
|
15.
|
Вид документа : Однотомное издание
Шифр издания : 519(075)/Н 73
Автор(ы) : Новиков Ф. А.
Заглавие : Дискретная математика для программистов
: учеб. пособие
. -3-е изд.
Выходные данные : СПб. [и др.]: Питер , 2008
Колич.характеристики :384 с.:
ил.; 24 см
Серия: Учебник для вузов
Примечания : Библиогр.: с. 368-369 (31 назв.). - Гриф: допущено М-вом образования и науки Рос. Федерации в качестве учеб. пособия для студентов вузов, обуч. по напр. подгот. дипломир. спец. "Информатика и вычислительная техника"
ISBN, Цена 978-5-91180-759-7: 330.00 р.
ГРНТИ : 27.41.41.01.33
УДК : 519.1(075.8)
ББК : 22.176
Предметные рубрики: Математика-- Дискретная математика
Ключевые слова (''Своб.индексиров.''): множества--отношения--алгебраические структуры--булевы функции--логические исчисления--комбинаторика--кодирование--графы--связность--деревья--циклы
Аннотация: Изложены основные разделы дискретной математики и описаны важнейшие алгоритмы на дискретных структурах данных.
Найти похожие
|
16.
|
Вид документа : Однотомное издание
Шифр издания : 519(075)/Н 73
Автор(ы) : Новиков Ф. А.
Заглавие : Дискретная математика для программистов
: учеб. пособие
. -2-е изд.
Выходные данные : СПб. [и др.]: Питер , 2005
Колич.характеристики :364 с.:
ил.; 24 см
Серия: Учебник для вузов
Примечания : Библиогр.: с. 349-350 (28 назв.) . - Гриф: допущено М-вом образования Рос. Федерации в качестве учеб. пособия для студентов вузов, обучающихся по направлению подгот. дипломир. спец. "Информатика и вычислит. техника"
ISBN, Цена 5-94723-741-5: 240.00 р.
ГРНТИ : 27.41.41.01.33
УДК : 519.1(075.8)
ББК : 22.176
Предметные рубрики: Математика-- Дискретная математика
Ключевые слова (''Своб.индексиров.''): множества--алгебраические структуры--булевы функции--логические исчисления--комбинаторика--кодирование--графы--связность--битовые шкалы--булевы матрицы--рекуррентные соотношения--алгоритмы на графах--сжатие данных--шифрование--комбинаторные конфигурации
Аннотация: Изложены основные разделы дискретной математики и описаны важнейшие алгоритмы на дискретных структурах данных.
Найти похожие
|
17.
|
Вид документа : Однотомное издание
Шифр издания : 62-50/С 32
Автор(ы) : Серебрянников О. Ф.
Заглавие : Эвристические принципы и логические исчисления
: научное издание
Выходные данные : М.: Изд-во "Наука", 1970
Коллективы :
Акад. наук СССР, Научный Совет по комплексной проблеме "Кибернетика"
Примечания : Библиогр.: с. 280-282
Цена : 0.81 р.
УДК : 62-50
Ключевые слова (''Своб.индексиров.''): логические исчисления--методы формальной дедукции--критерии выводимости--логические знаки--логические системы--регулярное исчисление
Найти похожие
|
18.
|
Вид документа : Однотомное издание
Шифр издания : 22.12
Автор(ы) : Гильберт Давид, Бернайс П.
Заглавие : Основания математики
: логические исчисления и формализация арифметики: пер. с нем.
. -2-е изд.
Выходные данные : Москва: Наука, 1982
Колич.характеристики :556 с.:
ил.
Серия: Математическая логика и основания математики
Цена : 02.70 р.
ББК : 22.12
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): аксиомы--аксиомы пеано--арифметика--бесконечное--выводимость--дедуктивное равенство--дедукционная теорема--доказательства независимости--интуитивные рассуждения--истинностные функции--исчисление предикатов--кванторы--логика высказываний--логические исчисления--математическая логика--нефинитные методы--основания математики--предикаты--проблема разрешимости--разрешимость--рассуждения--редукция--рекурсия--систематика--теоремы о полноте--теория истинностных функций--финитный способ рассуждений--формализация арифметики--формализм--формальная аксиоматика
Найти похожие
|
19.
|
Вид документа : Однотомное издание
Шифр издания : 22.12
Автор(ы) : Косовский, Николай Кириллович
Заглавие : Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов
: учеб. пособие
Выходные данные : Ленинград: Издательство Ленинградского государственного университета, 1981
Колич.характеристики :192 с.:
ил.
Примечания : Библиогр.: с. 75
Цена : 0.40 р.
ББК : 22.12
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): булевы функции--исчисление высказываний--логические исчисления--математическая логика--пособия для вузов--предикты--секвенциальное исчисление--система цермело-френкеля--субрекурсивные алгоритмы
Найти похожие
|
|
|
Электронный каталог
Стандартный (по одному полю)