Сводный электронный каталог

научно-технических библиотек Томского научного центра СО РАН

Результат поиска

Результаты: 1 - 10 из 1649 для dc.subject any/relevant "предикат матема ... ( 0.175 сек.)

1
Ершов, Ю. Л.
Математическая логика: Учебное пособие / Ю. Л. Ершов, Е. А. Палютин. — М.: Наука, 1979. — 320 с.: ил. — Предм. указ.: с. 314-318. — 0.80.
Детальное описание | Добавить в корзину | Похожие записи
2
Лавров, Игорь Андреевич.
Задачи по теории множеств математической логике и теории алгоритмов / И. А. Лавров, Л. Л. Максимова. — 2-е изд. — М.: Наука, 1984. — 223, [1] с.: ил. — Предм. указ.: с. 216-220. — Библиогр.: с. 214-215. — 0.90.
Детальное описание | Добавить в корзину | Похожие записи
3
Лавров, И. А.
Задачи по теории множеств, математической логике и теории алгоритмов / И. А. Лавров, Л. Л. Максимова. — М.: Наука, 1975. — 240 с.: ил. — Предм. указ.: с. 233-237. — 0.90.
Детальное описание | Добавить в корзину | Похожие записи
4
Кузнецов, Олег Петрович.
Дискретная математика для инженера / О. П. Кузнецов, Г. М. Адельсон-Вельский. — 2-е изд., перераб. и доп. — М.: Энергоатомиздат, 1988. — 480 с.: ил. — Предм. указ.: с. 476-478. — Библиогр.: с. 473-475. — 1.80.
Детальное описание | Добавить в корзину | Похожие записи
5
Кузнецов, Олег Петрович.
Дискретная математика для инженера / О. П. Кузнецов, Г. М. Адельсон-Вельский. — М.: Энергия, 1980. — 344 с.: ил. — Предм. указ.: с. 338-341. — Библиогр.: с. 335-337. — 1.40.
Детальное описание | Добавить в корзину | Похожие записи
6
Нефедов, Виктор Николаевич.
Курс дискретной математики: учеб. пособие / В. Н. Нефедов, В. А. Осипова. — М.: Издательство МАИ, 1992. — 264 с.: ил. — Библиогр.: с. 261. — ISBN 5-7035-0157-X.
Излагаются основы современной дискретной математики. Рассматриваются вопросы, связанные с математической логикой, теорией алгебраических систем, комбинаторикой, теорией графов. Приводится ряд практических задач и даются алгоритмы их решения. Учебное пособие предназначено для студентов, обучающихся по специальности "Прикладная математика", но может оказаться полезным также и студентам экономических и технических факультетов изучающих курс "Дискретная математика".
Детальное описание | Добавить в корзину | Похожие записи
7
Горбатов, Вячеслав Афанасьевич.
Фундаментальные основы дискретной математики: информационная математика: учеб. пособие / В. А. Горбатов. — М.: Наука. Физматлит, 2000. — 544 с.: ил. — Предм. указ.: с. 536-540. — Библиогр.: с. 533-535. — ISBN 5-02-015238-2.
Детальное описание | Добавить в корзину | Похожие записи
8
Малая математическая энциклопедия = MATEMATIKAI KISENCIKLOPEDIA / Э. Фрид [и др.] ; пер. с венгерского Я. Кочиш и М. Соколов, редакторы пер. Ю. Н. Благовещенский и Б. Кочиш. — Будапешт: Издательство Академии наук Венгрии, 1976. — 693, [1] с.: ил., табл. — 3.60.
Детальное описание | Добавить в корзину | Похожие записи
9
Колмогоров, Андрей Николаевич.
Математическая логика: дополнительные главы: [учебное пособие для математических специальностей] / А. Н. Колмогоров, А. Г. Драгалин; Моск. гос. ун-т им. М. В. Ломоносова. — Изд. 4-е, обновл. — М.: Едиториал УРСС, [2013?]. — 236, [1] с.; 22 см. — (Классический университетский учебник). — На тит. с. и обл.: Моск. гос. ун-т им. М. В. Ломоносова-250 лет. — Библиогр.: с. 227-228. — ISBN 978-5-354-01448-4: 461.00.
Авторы начтоящей книги - А.Н.Колмогоров и А.Г.Драгалин - выдыющиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Учебник "Математическая логика: Дополнительные главы" написан на основании курса математической логики, который читали оба автора на механико-математическом факультете МГУ им. М.В.Ломоносова. Изложение фундаментальных факторов современной логики (начал аксиоматической теории множетв, теории алгоритмов, теоремы Гёделя о неполноте, программы Гильберта обоснования математики) не предполагает спец.подготовки и рассчитано на широкий круг читателей, которым интересны математическая логика и философские проблемы современной математики.
Детальное описание | Добавить в корзину | Похожие записи
10
Вопросы алгебры и логики / Рос. АН, Сиб. отд-ние ; отв. ред. : Л. Ю. Ершов, В. Д. Мазуров. — Новосибирск: ИМ СО РАН, 1996. — 192 с.: ил. — (Труды Института математики им. С. Л. Соболева СО РАН). — ISBN 5-86134-019-6: 10000.00.
Детальное описание | Добавить в корзину | Похожие записи