Поисковый запрос: (<.>R=27.03$<.>) |
Общее количество найденных документов : 68
Показаны документы с 1 по 20 |
|
>1.
|
Вид документа : Однотомное издание Шифр издания : 510(075)/И 26
Автор(ы) : Игошин В. И.
Заглавие : Математическая логика и теория алгоритмов
: учеб. пособие
. -2-е изд., стер. Выходные данные : М.: ИЦ "Академия", 2008 Колич.характеристики :448 с.
; 22 см
Серия: Высшее профессиональное образование
Примечания : Библиогр.: с. 435-442. - Гриф: допущено М-вом образования Рос. Федерации в качестве учеб. пособия для студ. вузов, обуч. по спец. 050201 "Математика"
ISBN, Цена 978-5-7695-4593-1: 350.00 р.
ГРНТИ : 27.03.01.33 УДК : 510.6+510.5(075.8) ББК : 22.1 Предметные рубрики: Математика-- Математическая логика Математика-- Теория алгоритмов Ключевые слова (''Своб.индексиров.''): алгебра высказываний--формализованное исчисление высказываний--логика предикатов--неформальные аксиоматические теории--формальные аксиоматические теории--искусственный интеллект
Найти похожие
|
>2.
|
Вид документа : Однотомное издание Шифр издания : 51(075)/Н 56
Автор(ы) : Нестеренко Ю. П.
Заглавие : Элементы математической логики
: учеб. пособие
Выходные данные : Челябинск: ЧГТУ, 1996 Колич.характеристики :41 с.
; 20 см
Коллективы :
Челябинский гос. техн. ун-т, Каф. мат. анализа
ISBN, Цена 5-696-00720-1: 1850.00 р.
ГРНТИ : 27.03.01.33 УДК : 510.6(075.8) Предметные рубрики: Математика-- Математическая логика Ключевые слова (''Своб.индексиров.''): математическая логика--алгебра высказываний--исчисление предикатов--теория моделей Аннотация: В пособии систематически излагаются основные понятия и результаты математической логики по разделам: алгебра и исчисление высказываний, логика и исчисление предикатов.
Найти похожие
|
>3.
|
Вид документа : Однотомное издание Шифр издания : 510/Д 66
Автор(ы) : Доманский Е. Н.
Заглавие : Эквивалентность сходимости регуляризационного процесса существованию решения некорректной задачи
Выходные данные : Челябинск: ЧГТУ, 1996 Колич.характеристики :159 с.
; 20см
Коллективы :
Челябинский гос. техн. ун-т
ISBN, Цена 5-696-00729-5: 5600р. р.
ГРНТИ : 27.03.17 УДК : 510.5 Предметные рубрики: Математика-- Математическая логика Ключевые слова (''Своб.индексиров.''): регуляризирующий алгоритм--некорректные задачи--теорема в. п. маслова Аннотация: В книге рассмотрен широкий круг задач, связанных с существованием и свойствами регуляризирующих алгоритмов. Введены понятие регуляризирующего алгоритма по Маслову для разрывного отображения, необходимое и достаточное условие существование М-регуляризирующего алгоритма. Для научных работников в области некорректных задач, может быть полезной студентам соответствующих специальностей вузов.
Найти похожие
|
>4.
|
Вид документа : Однотомное издание Шифр издания : 51(075)/Л 65
Автор(ы) : Лихтарников Л. М.
Заглавие : Математическая логика. Курс лекций. Задачник-практикум и решения
: учеб. пособие для студ. вузов, обучающихся по математическим спец.
Выходные данные : СПб.: Лань, 1998 Колич.характеристики :288 с.
; 21см
ISBN, Цена 5811400829: 35р. р.
ГРНТИ : 27.03.01.33 УДК : 510.6(075.8) ББК : 22 Предметные рубрики: Математика-- Математическая логика Ключевые слова (''Своб.индексиров.''): алгебра логики--логика предикатов--алгоритмы--исчисление высказываний Аннотация: Учебное пособие предназначено для студентов университетов и пед. институтов, изучающих курс математической логики.
Найти похожие
|
>5.
|
Вид документа : Однотомное издание Шифр издания : 510/М 50
Автор(ы) : Мендельсон Э.
Заглавие : Введение в математическую логику
. -3.изд. Выходные данные : М.: Наука, 1984 Колич.характеристики :320 с.
; 22см
Цена : 1.80 р.
ГРНТИ : 27.03 УДК : 510.6 ББК : 22.12 Предметные рубрики: Математика-- Математическая логика Ключевые слова (''Своб.индексиров.''): исчисление--тавтологии--кванторы--теоремы--изоморфизмы--арифметика--арифметические функции--теорема гёделя--теорема тарского--система робинсона--числа--порядковые числа--гёдель--хартогс--теорема хартогса--алгорифмы маркова--алгорифмы тьюринга--алгорифмы--марков--тьюринг Аннотация: В книге освещается широкий круг вопросов. В ней излагаются следующие темы: логика высказываний и логика предиктов, элементарные теории, формализованная арифметика, аксиоматическая теория множеств, теория алгоритмов. Изложению присуща ясность, простота и лаконичность. Значительная роль в книге отведена упражнениям, куда вынесена часть материала, используемого в основном тексте.
Найти похожие
|
>6.
|
Вид документа : Однотомное издание Шифр издания : 510/К 56
Автор(ы) : Ковальски Р.
Заглавие : Логика в решении проблем
Выходные данные : М.: Наука, 1990 Колич.характеристики :280 с.
; 21см
Серия: Проблемы искусственного интеллекта
ISBN, Цена 5-02-014148-8: 4.00 р.
ГРНТИ : 27.03 + 27.47 УДК : 510.6+519.85 ББК : 22.18 Предметные рубрики: Математика-- Математическая логика Математика-- Математическое программирование Ключевые слова (''Своб.индексиров.''): банди--браун--гедель--ковалевски--ли--алгоритм--анализ--атом--база данных--бинарное дерево--вариант--входные данные--гиперрезолюция--задача--интерпретация--хорн--логика--лемма--аксиома--таблицы Аннотация: Изложены основы так называемой клаузальской логики, являющейся средством логического программирования.
Найти похожие
|
>7.
|
Вид документа : Однотомное издание Шифр издания : 510/Л 69
Заглавие : Логика и компьютер
: моделирование рассуждений и проверка правильности программ
Выходные данные : М.: Наука, 1990 Колич.характеристики :
; 20см
ISBN, Цена 5-02-007156-0: 0.65 р.
ГРНТИ : 27.03 + 27.47 + 50.05 УДК : 510.6:681.3.06 ББК : 32.81 Предметные рубрики: Математика-- Математическая логика Вычислительная техника-- Программирование Ключевые слова (''Своб.индексиров.''): математика--математическая логика--математическая кибернетика--логика--логистические системы--силлогизм--программирование--алгоритм--искусственный интеллект
Найти похожие
|
>8.
|
Вид документа : Однотомное издание Шифр издания : 510/К 98
Автор(ы) : Кэрролл Л.
Заглавие : Логическая игра
. -Пер. с англ. Ю. А. Данилова Выходные данные : М.: Наука, 1991 Колич.характеристики :192 с.
; 20см
ISBN, Цена 5-02-014220-4: 3.00 р.
ГРНТИ : 27.03 УДК : 510.6 ББК : 22.12 Предметные рубрики: Математика-- Математическая логика Ключевые слова (''Своб.индексиров.''): математическая логика--математика--силлогизм--сориты--графические изображения--логические игры--диаграммы Аннотация: Сборник логических задач знакомит читателя с оригинальным графическим методом решения силлогизмов и соритов.
Найти похожие
|
>9.
|
Вид документа : Однотомное издание Шифр издания : 510/Н 59
Заглавие : Нечеткие множества и теория возможностей
: последние достижения
Выходные данные : М.: Радио и связь, 1986 Колич.характеристики :408 с.:
ил.; 22см
Цена : 2.80 р.
ГРНТИ : 27.03 УДК : 510.22 Предметные рубрики: Математика-- Математическая логика Ключевые слова (''Своб.индексиров.''): множества--нечеткие множества--логические аспекты--логика--нечеткая логика--математическая логика--математика--семантика--семантические операторы--операторы--операции--математические аспекты--анализ--синтез--эквивалентность--случайные множества--преобразования--задачи--метод синтеза Аннотация: Собранные в этой книге статьи отражают широкое разнообразие направлений в теории нечётких множеств и знакомят читателя с современным состоянием развития теории и её достижениями.
Найти похожие
|
>10.
|
Вид документа : Однотомное издание Шифр издания : 51/С 81
Автор(ы) : Столяр А. А.
Заглавие : Как математика ум в порядок приводит
. -2-е изд. Выходные данные : Минск: Высшая школа, 1991 Колич.характеристики :207 с.:
ил.; 16 см
ISBN, Цена 5-339-00587-9: 1.00 р.
ГРНТИ : 27.03 УДК : 510.6 ББК : 22.1 Предметные рубрики: Математика-- Математическая логика Ключевые слова (''Своб.индексиров.''): математика--математическая логика--множества--многоугольники--конъюнкции--дизъюнкции--импликации--булева алгебра Аннотация: Излагается логика математики, как одна и та же математическая теория описывает различные системы объектов одинаковой структуры.
Найти похожие
|
>11.
|
Вид документа : Однотомное издание Шифр издания : 510/Т 65
Автор(ы) : Трауб Д. Ф.
Заглавие : Информация, неопределённость, сложность
: пер. с англ.
Выходные данные : М., 1988 Колич.характеристики :184 с.:
ил.; 20см
ISBN, Цена 5-03-000991-4: 1.50 р.
ГРНТИ : 27.03 УДК : 510 ББК : 22.12 Предметные рубрики: Математика-- Математическая логика Ключевые слова (''Своб.индексиров.''): математика--математическая логика--неопределенность--пространство--уравнение--численные методы--алгоритм--информация--кодирование--бинарные отношения--бисекция--булевы функции--аппроксимация--погрешности Аннотация: Рассмотрены способы учёта неопределённости в случае, когда пространство решений не снабжено ни нормой, ни метрикой.
Найти похожие
|
>12.
|
Вид документа : Однотомное издание Шифр издания : 510/Г 91
Автор(ы) : Грэй П.
Заглавие : Логика, алгебра и базы данных
: пер. с англ.
Выходные данные : М.: Машиностроение, 1989 Колич.характеристики :368 с.:
ил.; 22см
ISBN, Цена 5-217-00178-Х: 1.80 р.
ГРНТИ : 27.03 + 27.17 УДК : 510.6+512 ББК : 32.965 Предметные рубрики: Математика-- Математическая логика Математика-- Линейная алгебра Ключевые слова (''Своб.индексиров.''): булевы алгебры--дистрибутивный закон--математика--математическая логика--линейная алгебра--предикаты--база данных--экспертные системы--логическое программирование--язык пролог--оператор--реляционная модель--язык quel--язык qbe--язык fql--язык норе--аппликативный язык--реляционная алгебра Аннотация: Изложены основные понятия математической логики и алгебры, которые лежат в основе таких приложений этих дисциплин, как базы данных, экспертные системы, системы логического программирования и др.
Найти похожие
|
>13.
|
Вид документа : Однотомное издание Шифр издания : 517(075)/Н 64
Автор(ы) : Никольская И. Л.
Заглавие : Математическая логика
: учеб.
Выходные данные : М.: Высшая школа, 1981 Колич.характеристики :127 с.:
ил.; 20 см
Цена : 0.25 р.
ГРНТИ : 27.03.19.01.33 УДК : 51(075.32) ББК : 22.12 Предметные рубрики: Математика-- Математическая логика Ключевые слова (''Своб.индексиров.''): математика--математическая логика--логические операции--логическая равносильность--логическое следование--нормальные формы Аннотация: Книга предназначена для учащихся техникумов по специальности 1750 "Прикладная математика" и содержит теоретический материал, соответствующий программе курса "Математическая логика", а также упражнения для активного усвоения курса и приобретения необходимых навыков. Изложение базируется на знаниях по математике, полученных учащимися в восьмилетней школе, и на усвоенных ими языковых нормах.
Найти похожие
|
>14.
|
Вид документа : Однотомное издание Шифр издания : 519(075)/В 67
Автор(ы) : Волков В. А.
Заглавие : Элементы теории множеств и развитие понятия числа
: Учеб. пособие
Выходные данные : Л.: Изд-во Ленингр. ун-та, 1978 Колич.характеристики :84 с.:
ил.; 21см
Цена : 0.18 р.
ГРНТИ : 27.03.02.01.33 УДК : 510.2(075) Предметные рубрики: Математика-- Основания математики Ключевые слова (''Своб.индексиров.''): математика--основания математики--точечные множества Аннотация: Настоящая работа предназначена в качестве учебного пособия по математике для студентов философских факультетов университетов.В ней излагаются основные положения теории множеств и содержится последовательное расширение понятия числа,основанное на методе пар. Изложение строится на трех понятиях:"множество","принадлежность", "взаимно-однозначное соответствие".Основное внимание уделяется изучению бесконечных множеств и их свойств.Введение содержит краткий философский анализ математики.
Найти похожие
|
>15.
|
Вид документа : Однотомное издание Шифр издания : 51/Г 47
Автор(ы) : Гильберт Д.
Заглавие : Основания математики
: теория доказательств : пер с нем.
Выходные данные : М.: Наука, 1982 Колич.характеристики :652 с.
; 22см
Серия: Математическая логика и основания математики
Цена : 3.40 р.
ГРНТИ : 27.03.02 УДК : 51 ББК : 22.12 Предметные рубрики: Математика-- Высшая математика Математика-- Основания математики Ключевые слова (''Своб.индексиров.''): высшая математика--основания математики--математическая логика--теория доказательств--логический формализм--арифметизация--доказательство кальмара--доказательство аккермана
Найти похожие
|
>16.
|
Вид документа : Однотомное издание Шифр издания : 517/М 27
Автор(ы) : Марков А. А.
Заглавие : Теория алгорифмов
Выходные данные : М.: Наука, 1984 Колич.характеристики :432 с.:
ил.; 20см
Цена : 3.30 р.
ГРНТИ : 27.03.17 УДК : 517 ББК : 22.12 Предметные рубрики: Математика-- Анализ Ключевые слова (''Своб.индексиров.''): математический анализ--алгорифмы--семантика--семиотика--переменная--импликации
Найти похожие
|
>17.
|
Вид документа : Однотомное издание Шифр издания : 531/Б 68
Автор(ы) : Блехман И. И., Мышкис А. Д., Пановко Я. Г.
Заглавие : Механика и прикладная математика
: логика и особенности приложений математики
. -2-е изд., испр. и доп. Выходные данные : М.: Наука, 1990 Колич.характеристики :356 с.:
ил.; 22 см
Примечания : Библиогр.: с. 329-350 (550 назв.). - Имен. указ.: с. 351-356
ISBN, Цена 5-02-014002-3: 5.50 р.
ГРНТИ : 30.15 + 27.03.19 УДК : 531+510.6 ББК : 22.21 Предметные рубрики: Механика-- Теоретическая механика Математика-- Математическая логика Ключевые слова (''Своб.индексиров.''): физика--теоретическая механика--прикладные задачи--прикладная математика--логика--математическая логика--математика Аннотация: Рассматриваются основные особенности процесса применения математики к решению прикладных задач, главным образом из области механики, а также типичные способы рассуждения в этом процессе. Для студентов старших курсов технических факультетов с усиленной математической подготовкой и молодых специалистов, занимающихся решением сложных механических задач. Может быть полезна вузовским преподавателям механики и математики.
Найти похожие
|
>18.
|
Вид документа : Однотомное издание Шифр издания : 510/Н 16
Автор(ы) : Наголкин А. Н.
Заглавие : Алгебра логики в золотом сечении
: еще один шаг в область нечетких логик и компьютерного интеллекта
Выходные данные : М.: МАКС Пресс, 2006 Колич.характеристики :184 с.:
ил.; 22 см
Примечания : Библиогр.: с. 180-181 (26 назв.)
ISBN, Цена 5-317-01731-9: 180.00 р.
ГРНТИ : 27.03 УДК : 510.6 ББК : 22.12 Предметные рубрики: Математика-- Математическая логика Ключевые слова (''Своб.индексиров.''): математика--математическая логика--алгебра логики--переменная--логические векторы--золотое сечение Аннотация: В книге предложена оригинальная базовая основа алгебры логики, состоящая из двух корневых функций - обобщения и отрицания переменных. Значения логических векторов зависят от порядка расположения в них переменных. Порядок расположения переменных в логических векторах определяется временем возникновения переменных или присваиваемым им приоритетам.
Найти похожие
|
>19.
|
Вид документа : Однотомное издание Шифр издания : 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 Предметные рубрики: Математика-- Дискретная математика Математика-- Математическая логика Ключевые слова (''Своб.индексиров.''): математика--дискретная математика--математическая логика--теория множеств--элементы комбинаторики--теория графов--теория кодирования--логические исчисления--теория алгоритмов--теория нечетких множеств--алгебра--булевы алгебры--неклассические логики Аннотация: Рассматриваются основные темы дискретной математики и математической логики. Сложные вопросы математики рассматриваются на простых примерах.
Найти похожие
|
>20.
|
Вид документа : Однотомное издание Шифр издания : 51(075)/Ш 24
Автор(ы) : Шапорев С. Д.
Заглавие : Математическая логика
: курс лекций и практ. занятий: учеб пособие
Выходные данные : СПб.: БХВ-Петербург, 2005 Колич.характеристики :416 с.:
ил.; 24 см
Примечания : Библиогр.: с. 405 (26 назв.). - Гриф: допущено научно-метод. советом по математике вузов Северо-Запада в качестве учеб. пособия для студ. вузов, обуч. по спец. 220200 "Автоматизир. системы обработки информации и управления", 071900 "Информационные системы в технике и технологиях"
ISBN, Цена 5-94157-702-8: 153.51 р.
ГРНТИ : 27.03.01.33 УДК : 510.6(075.8) ББК : 22.12 Предметные рубрики: Математика-- Математическая логика Ключевые слова (''Своб.индексиров.''): математика--математическая логика--алгебра логики--логика предикатов--теория алгоритмов Аннотация: Рассматриваются алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального определения логики высказываний и логики предикатов.
Найти похожие
|
|
|