Библиотека Российской академии наук (БАН)

Библиотека Российской академии наук (БАН)

Базы данных

ЭК отдела БАН при Физико-техническом институте им. А.Ф.Иоффе РАН (ФТИ) - результаты поиска

Вид поиска

Электронный каталог (ЭК) Библиотеки Российской академии наук (БАН)

ЭК изданий на восточных языках отдела литературы стран Азии и Африки (ОЛСАА)

Имидж-каталог БАН

Рукописный фонд БАН

Фонд редкой книги БАН

Газетный фонд БАН

Подносные экземпляры из библиотеки Петра I

Рукописи старообрядцев-скрытников из Каргопольского собрания

Наука в СССР в годы Великой Отечественной войны 1941 - 1945 гг.

Русские биографические и биобиблиографические словари и справочники, 1956-2000 гг.

Санкт-Петербургские ведомости (1728 - 1781)

ЭК подразделений БАН при научно-исследовательских учреждениях (НИУ)
- ЭК подразделений БАН при НИУ физико-математического профиля
  - ЭК отдела БАН при Главной (Пулковской) астрономической обсерватории РАН (ГАО)
  - ЭК сектора БАН при Институте прикладной астрономии РАН (ИПА)
  - ЭК отдела БАН при Санкт-Петербургском отделении Математического института им. В.А. Стеклова РАН (ПОМИ)
- ЭК подразделений БАН при НИУ химического профиля
  - ЭК отдела БАН при Институте высокомолекулярных соединений РАН (ИВС)
  - ЭК отдела БАН при Институте химии силикатов им. И.В.Гребенщикова РАН (ИХС)
- ЭК подразделений БАН при НИУ биологического профиля
- ЭК подразделений БАН при НИУ геолого-географического профиля
  - ЭК сектора БАН при Институте геологии и геохронологии докембрия РАН (ИГГД)
  - ЭК отдела БАН при Институте озероведения РАН (ИНОЗ)
- ЭК подразделений БАН при НИУ общественного и гуманитарного профиля

Область поиска

в найденном

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=математическая логика<.>)

Общее количество найденных документов : 53
Показаны документы с 1 по 10

1-10 11-20 21-30 31-40 41-50 51-53

1.

   Мт|1224-3
   Л 13

    Лавров, И. А.
    Задачи по теории множеств, математичсекой логике и теории алгоритмов [Текст] / И. А. Лавров, Л. Л. Максимова. - 3-е изд. - М. : Физматлит, 1995. - 255 с. : ил. - Библиогр.: с. 248-249. - ISBN 5-02-014844-Х : 2305.00 р.

ББК Мт I-1 + Мт VI-1

Кл.слова (ненормированные):
ТЕОРИЯ МНОЖЕСТВ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- АЛГОРИТМЫ -- МАТЕМАТИЧЕСКИЙ АНАЛИЗ

Доп.точки доступа: Максимова, Л.Л.
Найти похожие

2.

   Ф|12321
   А 79

    Аракелян, Г. Б.
    Основания физической теории [Текст] : монография / Г.Б. Аракелян ; НАН Армении. Ин-т философии и права. - Ереван : [б. и.], 1997. - 229 с. - Б. ц.

УДК

Рубрики: ФИЗИКА
Кл.слова (ненормированные):
Философские вопросы физики -- методологические вопросы физики -- Математическая логика

Найти похожие

3.

   Мт|3623
   Н 53

    Непейвода, Н. Н.
    Прикладная логика [Текст] : учеб. пособие / Н.Н. Непейвода,. - 2-е изд., испр. и доп. - Новосибирск : Изд-во Новосиб. ун-та, 2000. - 490 с. : ил. - Библиогр.: с. 479-481. - Предм. указ.: с. 482-490 . - ISBN 5-7615-0490-1 : 247.00 р.

УДК

Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- МАТЕМАТИЧЕСКАЯ ЛИНГВИСТИКА -- ЛОГИКА

Найти похожие

4.

   II-80 т. 242
   М 34


    Математическая логика и алгебра [Текст] : сб. ст.: к 100-летию со дня рождения П.С. Новикова / под ред. С.И. Адяна. - М. : Наука - МАИК Наука/Интерпериодика, 2003. - 207 с. : ил. - (Тр. мат. ин-та им. В.А. Стеклова / РАН ; т. 242). - Библиогр.: в конце ст. - ISBN 5-02-032604-6 : 130.00 р.

ББК Мт I.2 + Мт III;082

Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- АЛГЕБРА; СБОРНИКИ

Доп.точки доступа: Адян, С.И. \ред.\
Найти похожие

5.

   Мт|3859
   А 39

    Акимов, О. Е.
    Дискретная математика: логика, группы, графы [Текст] : научное издание / О.Е. Акимов. - 2-е изд., и доп. - М. : Лаб. базовых знаний, 2003. - 376 с. : ил. - (Технический Университет). - ISBN 5-93208-025-6 : 114.19 р.

ББК Мт I-2 + Мт III-1 + Мт VII-2 + Мт XI-4

Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- алгебра -- теория групп -- ТЕОРИЯ ГРАФОВ -- МАТЕМАТИЧЕСКОЕ ПРОГРАММИРОВАНИЕ

Найти похожие

6.

   Мт|3920
   Р 39

    Реньи, А.
    Диалоги о математике [Текст] / А. Реньи; пер. с англ. Д.Б. Гнеденко, Е.А. Масловой; под ред. Б.В. Гнеденко. - 2-е изд., стереотип. - М. : Едиториал УРСС, 2004. - 96 с. - ISBN 5-354-00536-1 : 48.17 р.

ББК Мт I-1

Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
ОСНОВАНИЯ МАТЕМАТИКИ -- ФИЛОСОФИЯ -- ИСТОРИЯ НАУКИ -- ПОПУЛ. МАТЕМАТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ИСТОРИЯ МАТЕМАТИКИ -- МЕТОДОЛОГИЯ НАУКИ -- МЕТАФИЗИКА -- ОНТОЛОГИЯ -- ГНОСЕОЛОГИЯ -- ИСТОРИЯ ФИЛОСОФИИ -- НАУКОВЕДЕНИЕ
Аннотация: Предлагаемая вниманию читателя книга написана известным венгерским математиком, профессором Будапештского университета Альфредом Реньи, и посвящена многочисленным философским проблемам математики. Каков предмет математики? Каково ее отношение к действительности? Как возникают ее понятия? На эти и многие другие вопросы автор дает определенные и обоснованные ответы. А. Реньи, благодаря оригинальной форме изложения, не поучает читателя, а как бы беседует с ним, заранее предугадывая возможные сомнения, и в результате читатель сам становится участником диалога и воспринимает обсуждаемые проблемы как близкие своим интересам. Книга предназначена самому широкому кругу читателей, интересующихся историей и методологией математики.

Доп.точки доступа: Гнеденко, Б.В. \ред.\; Гнеденко, Д.Б. \пер.\; Маслова, Е.А. \пер.\
Найти похожие

7.

   Мт|3944
   К 60

    Колмогоров, А. Н.
    Математическая логика [Текст] : учеб. пособие / А.Н. Колмогоров, А.Г. Драгалин. - 2-е изд., стер. - М. : Едиториал УРСС, 2005. - 240 с. - (Классический университетский учебник). - ISBN 5-354-01003-9 : 144.35 р., 144.34 р., 153.77 р.

ББК Мт I-2;07

Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Аннотация: А. Н. Колмогоров (1903-1987) и А. Г.Драгалин (1941-1998) - выдающиеся отечественные логики и математики, оказавшие глубокое воздействие на стиль и направление мировых исследований по логике и философии математики.В настоящее издание включены учебники А. Н. Колмогорова и А. Г. Драгалина "Введение в математическую логику" и "Математическая логика. Дополнительные главы", содержащие классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики. Учебники написаны на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ им. М. В.Ломоносова.Изложение фундаментальных фактов современной логики (основ логики высказываний и логики предикатов, начал аксиоматической теории множеств, теории алгоритмов, теоремы Гёделя о неполноте, программы Гильберта обоснования математики) не предполагает специальной подготовки и рассчитано на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики.

Доп.точки доступа: Драгалин, А.Г.
Найти похожие

8.

   Мт|3939
   Г 67

    Горбатов, В. А.
    Дискретная математика [Текст] : учеб. для студентов втузов / В.А. Горбатов, А.В. Горбатов, М.В. Горбатова. - М. : АСТ ; М. : Астрель, 2003. - 447 с. : ил. - (Высшая школа). - ISBN 5-17-019257-6 (АСТ). - ISBN 5-271-06991-5 (Астрель) : 161.53 р.

ББК Мт I-2 + Мт II-0 + Мт VII-2

Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ЭЛЕМЕНТАРНАЯ ТЕОРИЯ ЧИСЕЛ -- ТЕОРИЯ ГРАФОВ
Аннотация: В учебнике излагаются основы теории множеств, отношений и переключательных функций, теории графов и мографов, основы функциональных композиций и декомпозиций, которые образуют единый методически взаимосвязанный курс "Дискретная математика". В конце каждой главы приведены задачи и упражнения, а также история и прагматика соответствующего раздела дискретной математики. Книга предназначена для студентов технических университетов, академий и институтов, обучающихся по направлению "Информатика и вычислительная техника", а также будет полезна научным работникам и инженерам, работающим в области информатизации промышленности, экономики и управления

Доп.точки доступа: Горбатов, А.В.; Горбатова, М.В.
Найти похожие

9.

   Мт|3947
   А 65

    Андерсон, Дж. А.
    Дискретная математика и комбинаторика [Текст] / Дж.А. Андерсон; [пер. с англ. М.М. Беловой]. - М. и др. : Вильямс, 2004. - 960 с. : ил. - Предм.-имен. указ.: с. 942-953. - ISBN 5-8459-0498-6 (рус.) : 558.34 р., 558.32 р.

ББК Мт I-2 + Мт II-0 + Мт VII-2 + Мт XI-4

Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ЭЛЕМЕНТАРНАЯ ТЕОРИЯ ЧИСЕЛ -- ТЕОРИЯ ГРАФОВ -- МАТЕМАТИЧЕСКОЕ ПРОГРАММИРОВАНИЕ
Аннотация: Эта книга представляет собой современный учебник по дискретной математике. Кроме таких разделов, как математическая логика, теория множеств, комбинаторика, теория графов, теория алгоритмов и вычислений, традиционно включаемых в основной курс дискретной математики, она содержит обширные сведения по теории вероятностей, алгебре и теории чисел. Особое внимание уделено теории доказательств. Чтение книги требует некоторой математической культуры, хотя для изучения основных глав достаточно знаний по математике в объеме средней школы. Материал сопровождается многочисленными примерами, в конце каждого раздела приводится большое количество упражнений.Книга адресована в первую очередь преподавателям и студентам технических специальностей. Она будет также полезна тем, кто интересуется дискретной математикой и желает изучить ее самостоятельно.

Доп.точки доступа: Белова, М.М. \пер. с англ.\
Найти похожие

10.

   Мт|3963
   Б 64

    Бирюков, Б. В.
    Жар холодных числ и пафос бесстрастной логики. Формализация мышления от античных времен до эпохи кибернетики [Текст] / Б.В. Бирюков, В.Н. Тростников. - 3-е изд., перераб. и доп. - М. : Едиториал УРСС, 2004. - 232 с. - ISBN 5-354-00310-5 : 108.14 р.

ББК Мт I-2

Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- КИБЕРНЕТИКА -- ИНФОРМАТИКА
Аннотация: Книга рисует картину развития логико-математических аспектов кибернетики и информатики. Авторы рассказывают о длительной истории науки логики, возникшей еще в Древней Греции, прослеживают непрерывную нить преемственности, тянущейся от Аристотеля и Лейбница к современным информационным системам. Показано становление идей вычислимости и алгоритмизации, связанных с такими титанами науки XX века, как Давид Гильберт и Курт Гёдель. В заключительных главах обсуждается вопрос о современном смысле идеала рациональности знания и критикуется редукционистская установка в науке, несовместимая с новейшими данными физики и психологии.

Доп.точки доступа: Тростников, В.Н.
Найти похожие

1-10 11-20 21-30 31-40 41-50 51-53

Описание ЭК

Стандартный

Расширенный

Профессиональный

По словарю