| 1 |
|
Многозначная пороговая логика / Н. Н. Айзенберг, Ю. Л. Иваськив; Академия наук Украинской ССР Ордена Ленина институт кибернетики. — Киев: Наукова Думка, 1977. — 145, [3] с. — Библиогр.: с. 145-146. — 1.10.
|
| 2 |
|
Фундаментальные основы дискретной математики: информационная математика: учеб. пособие / В. А. Горбатов. — М.: Наука. Физматлит, 2000. — 544 с.: ил. — Предм. указ.: с. 536-540. — Библиогр.: с. 533-535. — ISBN 5-02-015238-2.
|
| 3 |
|
Дискретная математика для инженера / О. П. Кузнецов, Г. М. Адельсон-Вельский. — М.: Энергия, 1980. — 344 с.: ил. — Предм. указ.: с. 338-341. — Библиогр.: с. 335-337. — 1.40.
|
| 4 |
|
Курс дискретной математики: учеб. пособие / В. Н. Нефедов, В. А. Осипова. — М.: Издательство МАИ, 1992. — 264 с.: ил. — Библиогр.: с. 261. — ISBN 5-7035-0157-X.
Излагаются основы современной дискретной математики. Рассматриваются вопросы, связанные с математической логикой, теорией алгебраических систем, комбинаторикой, теорией графов. Приводится ряд практических задач и даются алгоритмы их решения. Учебное пособие предназначено для студентов, обучающихся по специальности "Прикладная математика", но может оказаться полезным также и студентам экономических и технических факультетов изучающих курс "Дискретная математика".
|
| 5 |
|
Элементы математической логики / П. С. Новиков. — 2-е изд., испр. — М.: Наука. Главная редакция физико-математической литературы, 1973. — 399, [1] с. — (Математическая логика и основания математики). — Предм. указ.: с. 397-399. — 1.43.
|
| 6 |
|
Математическая логика: дополнительные главы: [учебное пособие для математических специальностей] / А. Н. Колмогоров, А. Г. Драгалин; Моск. гос. ун-т им. М. В. Ломоносова. — Изд. 4-е, обновл. — М.: Едиториал УРСС, [2013?]. — 236, [1] с.; 22 см. — (Классический университетский учебник). — На тит. с. и обл.: Моск. гос. ун-т им. М. В. Ломоносова-250 лет. — Библиогр.: с. 227-228. — ISBN 978-5-354-01448-4: 461.00.
Авторы начтоящей книги - А.Н.Колмогоров и А.Г.Драгалин - выдыющиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Учебник "Математическая логика: Дополнительные главы" написан на основании курса математической логики, который читали оба автора на механико-математическом факультете МГУ им. М.В.Ломоносова. Изложение фундаментальных факторов современной логики (начал аксиоматической теории множетв, теории алгоритмов, теоремы Гёделя о неполноте, программы Гильберта обоснования математики) не предполагает спец.подготовки и рассчитано на широкий круг читателей, которым интересны математическая логика и философские проблемы современной математики.
|
| 7 |
|
Теорема Геделя о неполноте / В. А. Успенский. — М.: Наука, 1982. — 111 с.: ил. — (Популярные лекции по математике). — 0.15.
|
| 8 |
|
Вопросы алгебры и логики / Рос. АН, Сиб. отд-ние ; отв. ред. : Л. Ю. Ершов, В. Д. Мазуров. — Новосибирск: ИМ СО РАН, 1996. — 192 с.: ил. — (Труды Института математики им. С. Л. Соболева СО РАН). — ISBN 5-86134-019-6: 10000.00. |
| 9 |
|
Справочная книга по математической логике. В четырех частях. — М.; : Наука. Главная редакция физико-математической литературы.
:. — М.: Наука. Главная редакция физико-математической литературы, 1983. — 391, [1] с.: ил. — Библиогр.: с. — 2.10.
|
| 10 |
|
Математическая логика: Учебное пособие / Ю. Л. Ершов, Е. А. Палютин. — М.: Наука, 1979. — 320 с.: ил. — Предм. указ.: с. 314-318. — 0.80.
|
| 11 |
|
Введение в математическую логику / Э. Мендельсон; Под ред. С. И. Адяна; Пер. с англ. Ф. А. Кабакова. — М.: Наука, 1971. — 320 с.: ил. — Алфав. указ.: с. 310-317. — 1.77.
|
| 12 |
|
Математическая логика / Дж. Шенфилд; Пер. с англ.; под ред. Ю. Л. Ершова. — М.: Наука. Главная редакция физико-математической литературы, 1975. — 527, [1] с. — (Математическая логика и основания математики). — 2.16.
|
| 13 |
|
Программы и алгоритмы / АН СССР ; Центральный экономико-математический институт. — М.; : ЦЭМИ АН СССР.
: Программа декомпозиции сложной системы / сост. : Б. С. Байриев, Б. А. Лагоша, М. Сеидов. — М.: ЦЭМИ АН СССР, 1981. — 21 с.: ил. — Библиогр.: с. 18. — 0.10.
|
| 14 |
|
Дискретная математика для инженера / О. П. Кузнецов, Г. М. Адельсон-Вельский. — 2-е изд., перераб. и доп. — М.: Энергоатомиздат, 1988. — 480 с.: ил. — Предм. указ.: с. 476-478. — Библиогр.: с. 473-475. — 1.80.
|
| 15 |
|
Математическая логика / С. К. Клини ; пер с англ. Ю. А. Гастева ; под ред. Г. Е. Минца. — М.: Мир, 1973. — 480 с.: ил. — Парал. тит. лист англ. — Авт. и предм. указ.: с. 470-478. — Библиогр.: с. 451-465. — 2.50.
|
| 16 |
|
Справочное руководство по основам информатики и вычислительной техники / Я. Л. Шрайберг, М. В. Гончаров. — М.: Финансы и статистика и др., 1990. — 32 с.: ил. — Библиогр.: с. 32. — ISBN 5-279-00476-6: 0.75.
|
| 17 |
|
Молекулярный спектральный анализ и ЭВМ / М. Е. Эляшберг, Л. А. Грибов, В. В. Серов. — М.: Наука, 1980. — 306, [2] с.: ил., табл. — Библиогр.: с. 301-305. — 3.25.
|
| 18 |
|
Задачи по теории множеств математической логике и теории алгоритмов / И. А. Лавров, Л. Л. Максимова. — 2-е изд. — М.: Наука, 1984. — 223, [1] с.: ил. — Предм. указ.: с. 216-220. — Библиогр.: с. 214-215. — 0.90.
|
| 19 |
|
Крушение метафизической концепции универсальности предметной области в логике. Контроверза Фреге-Шрёдер: монография / Б. В. Бирюков. — Изд. 3-е. — Москва: URSS: Либроком, 2012. — 133, [1] с. — ISBN 978-5-397-03625-2: 352.00.
|
| 20 |
|
Линейные модели принятия решений при управлении химическими процессами: учеб. пособие / А. А. Егоров, В. В. Сотников. — Л.: Издательство Ленинградского университета, 1989. — 245, [3] с.: ил., табл. — Библиогр.: с. 242-243. — ISBN 5-288-00231-2: 0.40.
В учебном пособии излагаются методы обработки результатов измерений и первичной переработки информации в автоматизированных комплексах для построения моделей технологических процессов с целью прогнозирования и управления ими. В методе наименьших квадратов использован принципиально новый и методически простой алгоритм одновременного обращения двух матриц путем построения цепочки взаимных косых проекторов, имеющий определенные вычислительные преимущества перед существующими. Показана связь этого алгоритма с тензорным анализом цепей Крона. Для студентов технологических вузов.
|
| 21 |
|
Задачи по теории множеств, математической логике и теории алгоритмов / И. А. Лавров, Л. Л. Максимова. — М.: Наука, 1975. — 240 с.: ил. — Предм. указ.: с. 233-237. — 0.90.
|
| 22 |
|
Сборник задач по дискретной математике: [Уч. пособие] / Г. П. Гаврилов, А. А. Сапоженко. — М.: Наука, 1977. — 368 с.: ил. — Предм. указ.: с. 360-364. — 0.84.
|
| 23 |
|
Малая математическая энциклопедия = MATEMATIKAI KISENCIKLOPEDIA / Э. Фрид [и др.] ; пер. с венгерского Я. Кочиш и М. Соколов, редакторы пер. Ю. Н. Благовещенский и Б. Кочиш. — Будапешт: Издательство Академии наук Венгрии, 1976. — 693, [1] с.: ил., табл. — 3.60. |
| 24 |
|
Построение и анализ вычислительных алгоритмов / А. Ахо, Дж. Хопкрофт, Дж. Ульман ; пер. с англ. А. О. Слисенко под ред. Ю. В. Матиясевича. — М.: Мир, 1979. — 535 с.: ил. — Парал. тит. лист англ. — Имен. указ.: с. 516-518 - Предм. указ.: с. 519-531. — 2.60.
|
| 25 |
|
Математика для бакалавров технических направлений : учеб. пособие для втузов : в 6-ти томах / Л. В. Васильев [и др.] ; под общ. ред. Ю. Д. Максимова. — СПб.; : Специальная литература.
: Общие разделы : Предмет математики. Логика. Множества. Функции. Математические модели. Правдоподобные рассуждения. Вычислительный практикум. — СПб.: Специальная литература, 1999. — 256 с.: ил. — ISBN 5-263-00001-4: 31.00.
|
| 26 |
|
Избранные вопросы алгебры и логики: сборник, посвященный памяти А. И. Мальцева / АН СССР, Сиб. отд-ние, Институт математики. — Новосибирск: Наука, 1973. — 338 с.: ил. — 2.20. |
| 27 |
|
Введение в дискретную математику: учеб. пособие для вузов по спец. "Прикл. математика" / С. В. Яблонский. — 2-е изд., перераб. и доп. — М.: Наука, 1986. — 384 с.: ил. — Предм. указ.: с. 373-379. — Библиогр.: с. 370-372. — 0.95.
|
| 28 |
|
Диалектическая логика: очерки истории и теории / Э. В. Ильенков. — 2-е изд., доп. — М.: Издательство политической литературы, 1984. — 318, [2] с. — 1.50.
|
| 29 |
|
Понятие информации. Логико-методологический аспект / И. И. Гришкин; АН СССР, Науч. совет по комплекс. пробл. "Кибернетика". — М.: Наука, 1973. — 231 с. — Алф. указ.: с. 227-229. — Предм. указ.: с. 224-226. — 0.76.
|
| 30 |
|
Цифровая электроника / А. Н. Партала ; под ред. С. Л. Корякина-Черняка. — М.: Наука и техника, 2000. — 208 с. — (Радиомастер). — ISBN 5-7931-0102-0: 63.00.
|
| 31 |
|
Представление знаний о времени и пространстве в интеллектуальных системах / Е. Ю. Кандрашина, Л. В. Литвинцева, Д. А. Поспелов ; под ред. Д. А. Поспелова. — М.: Наука, Главная редакция физико-математической литературы, 1989. — 326, [2] с. — (Проблемы искусственного интеллекта). — Библиогр.: с. 321-328. — ISBN 5-02-014096-1: 2.70.
|
| 32 |
|
Логический подход к искусственному интеллекту. От классической логики к логическому программированию = Approche logique de Lintelligence artificielle de la logique classique a la programmation logique / пер. с фр.. П. П. Пермякова, под ред. Г. П. Гаврилова. — М.: Мир, 1990. — 429, [3] с.: ил. — Библиогр.: с. 411-417. — ISBN 5-03-001636-8: 2.90. |
| 33 |
|
Математический аппарат инженера / В. П. Сигорский. — 2-е изд., стереотип. — Киев: Технiка, 1977. — 766 с.: ил. — Предм. указ.: с. 753-764. — Библиогр. в конце глав. — 2.89.
|
| 34 |
|
Заметки по логике = NOTES ON LOGIC / Р. Линдон ; пер. с англ. Ю. А. Гастева, под ред. И. М. Яглома. — М.: Мир, 1968. — 127, [1] с.: табл. — (Современная математика. Популярная серия). — Библиогр.: с. 123. — 0.40.
|
| 35 |
|
Логико-гносеологические проблемы квантовой физики / А. И. Панченко; Институт философии, АН СССР. — М.: Наука, 1981. — 200 с.: ил. — 1.20.
|
| 36 |
|
Математическое мышление: Пер. с англ. и нем. / Г. Вейль ; Под ред. Б. В. Бирюкова, А. Н. Паршина. — М.: Наука, 1989. — 400 с.: ил. — Именн. указ.: с. 393-398. — ISBN 5-02-013910-6: 2.50.
|
| 37 |
|
Научное исследование. Методика проведения и оформление / И. Н. Кузнецов. — М.: Издательско-торговая корпорация "Дашков и К", 2004. — 432 с.: ил. — Библиогр.: с. 424-428. — ISBN 5-9479-8374-5: 80.84.
|
| 38 |
|
Методы математической физики и специальные функции: [Учебное пособие] / В. Я. Арсенин. — 2-е изд., перераб. и доп. — М.: Наука, 1984. — 384 с.: ил. — Библиогр.: с. 382-384. — 1.10.
|
| 39 |
|
Уравнения математической физики: учеб. пособие для студентов физ. и механико-мат. специальностей вузов / В. С. Владимиров. — М.: Физматлит, 1976. — 527 с.: ил. — Предм. указ.: с. 521-527. — Библиогр.: с. 518-520. — 1.05.
|
| 40 |
|
Уравнения математической физики: учебник для вузов / В. С. Владимиров. — М.: Физматлит, 1971. — 512 с. — Библиогр.: с. 510-512. — 1.05.
|
| 41 |
|
Уравнения математической физики: учеб. для физ. и мех.-мат. спец. вузов / В. С. Владимиров. — 4-е изд., испр. и доп. — М.: Наука, 1981. — 512 с.: ил. — Предм. указ.: с. 509-512. — Библиогр.: с. 505-508. — 1.20.
|
| 42 |
|
Математическая физика. Основные уравнения и специальные функции / В. Я. Арсенин. — М.: Наука, 1966. — 267 с.: ил. — (Физико-математическая библиотека инженера). — 1.35.
|
| 43 |
|
Специальные функции математической физики: учеб. пособие для вузов / А. Ф. Никифоров. — 2-е изд., перераб. и доп. — М.: Наука. Физматлит, 1984. — 344 с.: ил. — Предм. указ.: с.342-343. — Библиогр.: с. 340-341. — 1.10.
|
| 44 |
|
Методы математической физики: учеб. пособие / Е. И. Несис. — М.: Просвещение, 1977. — 198, [2] с.: ил. — 0.55.
|
| 45 |
|
Вводный курс цифровой электроники: учеб. пособие для вузов / К. Фрике ; пер. с нем. под ред. и с доп. В. Я. Кремлева. — 2-е изд., исправ. — М.: Техносфера, 2004. — 432 с.: ил. — (Мир электроники). — ISBN 5-94836-015-6: 172.00.
|
| 46 |
|
Математические методы физики. Избранные вопросы: учебник / Е. А. Краснопевцев. — Новосибирск: НГТУ, 2003. — 244 с.: ил. — (Учебники НГТУ). — Предм. указ.: с. 236-240. — ISBN 5-7782-0357-8: 95.00.
|
| 47 |
|
Логика и компьютер. Моделирование рассуждений и проверка правильности программ / Н. А. Алешина [и др.]; Академия наук СССР. — М.: Наука, 1990. — 238, [2] с. — (Кибернетика: неограниченные возможности и возможные ограничения). — Библиогр.: с. 231-234. — ISBN 5-02-007156-0: 0.65. |
| 48 |
|
Микропроцессорные комплекты БИС на основе интегральной инжекционной логики / В. С. Борисов [и др.] ; под ред. Э. П. Калошкина. — М.: Радио и связь, 1984. — 246 с.: ил. — Библиогр.: с. 244-245. — 1.00. |
| 49 |
|
Толковый словарь по искусственному интеллекту: словарь / авт.-сост.: А. Н. Аверкин, М. Г. Гаазе-Рапопорт, Д. А. Поспелов. — М.: Радио и связь, 1992. — 255 с. — Библиогр.: с.254. — ISBN 5-256-00605-3: 6.44.
Даются определения и интерпретации основных терминов из области искусственного интеллекта (представление знаний, общение на естественном языке, методы поиска решений, планирование целесообразной деятельности, восприятие, обучение, программная и аппаратная поддержка) и пограничных с ней областей (логики, лингвистики, психологии, математики). Приводятся словники на английском, французском, испанском, немецком, польском, венгерском, словацком, чешском, болгарском и румынском языках. Для специалистов в области искусственного интеллекта, вычислительной техники.
|
| 50 |
|
Синергетика и информация. Динамическая теория информации: научное издание / Д.С. Чернавский; Рос. акад. наук. Физ. ин-т им. П.Н. Лебедева. — Москва: Наука, 2001. — 243, [1] с.: ил. — Библиогр.: с. 236-242. — ISBN 5-02-013118-0: 288.00.
|