Библиотека ТУСУРа

Базы данных

- результаты поиска

Вид поиска

Основная база библиотеки

База данных нормативных документов

Персоналии ученых-профессоров ТУСУРа

Календарь знаменательных дат

Электронные книги ЛитРес

ЭБС «Лань»

ЭБС «Юрайт»

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

в найденном

Найдено в других БД:

Основная база библиотеки (95)

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

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

Поисковый запрос: (<.>K=МАТЕМАТИЧЕСКАЯ ЛОГИКА<.>)

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

1-20 21-40 41-60 61-80 81-95

518
Л 694


    Логика. Автоматы. Алгоритмы : научное издание / М. А. Айзерман [и др.] ; ред. Н. А. Королев. - М. : Физматгиз, 1963. - 556 с. : ил. - Библиогр.: с. 536-549. - Предм. указ.: с. 551-556. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
519.7
681.5
~РУБ 518

Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- КОНЕЧНЫЕ АВТОМАТЫ -- ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ
Доп.точки доступа:
Айзерман, Марк Аронович
Гусев, Леонид Алексеевич
Розоноэр, Лев Ильич
Смирнова, Ирина Михайловна
Таль, Алексей Алексеевич
Королев, Н. А. \ред.\

Имеются экземпляры в отделах: аунл (5 экз.), счз1 (1 экз.)
Свободны: аунл (5), счз1 (1)
Постоянная гиперссылка

519
Д 354

    Депман, Иван Яковлевич.
    Первое знакомство с математической логикой [Текст] : научное издание / И. Я. Депман ; Общество "Знание" (Л.), Ленинградская организация. - 2-е изд. - Л. : [б. и.], 1965. - 56 с. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6
~РУБ 519

Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Доп.точки доступа:
Общество "Знание" (Л.). Ленинградская организация

Имеются экземпляры в отделах: аунл (1 экз.)
Свободны: аунл (1)
Постоянная гиперссылка

51
И 257

    Ивс, Г. И.
    О математической логике и философии математики. Начальные сведения об основаниях математике [Текст] : научное издание / Г. И. Ивс, К. В. Ньюсом ; пер. Ф. Л. Варпаховский. - М. : [б. и.], 1968. - 48 с с черт. - (Математика, кибернетика : новое в жизни, науке, технике). - пер. с англ. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
51
~РУБ 51

Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ФИЛОСОФСКИЕ ПРОБЛЕМЫ -- МАТЕМАТИКА
Доп.точки доступа:
Ньюсом, К.В.
Варпаховский, Ф.Л. \пер.\

Имеются экземпляры в отделах: аунл (1 экз.)
Свободны: аунл (1)
Постоянная гиперссылка

519
К 268

    Карри, Хаскелл Б..
    Основания математической логики / Х. Б. Карри ; пер. В. В. Донченко ; ред. пер. Ю. А. Гастев. - М. : Мир, 1969. - 567[1] с. : ил., табл. - Пер. с англ. - Библиогр.: с. 516-517. - Предм. указ.: с. 518-562. - Алф. указ.: с. 563-567. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6
~РУБ 519

Кл.слова (ненормированные):
ВЫСШАЯ МАТЕМАТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА
Доп.точки доступа:
Донченко, В. В. \пер.\
Гастев, Ю. А. \ред. пер.\

Имеются экземпляры в отделах: аунл (2 экз.)
Свободны: аунл (2)
Постоянная гиперссылка

51
М 501

    Мендельсон, Эллиот.
    Введение в математическую логику : пер. с англ. / Э. Мендельсон ; пер. Ф. А. Кабаков, ред. С. И. Адян. - М. : Наука, 1971. - 320 с. - Библиогр.: с. 296-309. - Алф. указ.: с. 310-317. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6
~РУБ 51

Кл.слова (ненормированные):
математическая логика
Доп.точки доступа:
Кабаков, Ф. А. \пер.\
Адян, С. И. \ред.\

Имеются экземпляры в отделах: аунл (3 экз.), счз1 (1 экз.)
Свободны: аунл (3), счз1 (1)
Постоянная гиперссылка

51
К 493

    Клини, Стефан Коул.
    Математическая логика : Пер. с англ. / С. К. Клини ; пер. Ю. А. Гастев, ред. пер. Г. Е. Минц. - М. : Мир, 1973. - 480 с. : ил., табл. - Библиогр.: с. 451-465. - Предм. указ.: с. 470-478. - (в пер.) : 2.00 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6
~РУБ 51

Кл.слова (ненормированные):
математика -- математическая логика
Доп.точки доступа:
Гастев, Ю. А. \пер.\
Минц, Г. Е. \ред. пер.\
Клини, Стивен Коул

Имеются экземпляры в отделах: , аунл (2 экз.)
Свободны: аунл (2)
Постоянная гиперссылка

16
Ф 561


    Философия и логика : / ред.: П. В. Таванец, В. А. Смирнов ; ред.: П. В. Таванец, В. А. Смирнов. - М. : Наука, 1974. - 478, [2] с. : табл. - (Философия в современном мире). - Библиогр. в конце ст. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
16
510.6
~РУБ 16

Кл.слова (ненормированные):
философия -- логика -- математическая логика -- теория познания -- методология науки
Доп.точки доступа:
Таванец, Петр Васильевич \ред.\
Смирнов, Владимир Александрович \ред.\
Академия наук СССР
Институт философии (М.)

Имеются экземпляры в отделах: аунл (2 экз.)
Свободны: аунл (2)
Постоянная гиперссылка

62-5
О-753


    Основы кибернетики. Математические основы кибернетики [Текст] : учебное пособие / А. И. Галушкин [и др.] ; ред. К. А. Пупков. - М. : Высшая школа, 1974. - 416 с : граф., рис., табл. - Библиогр.: с. 405-406. - Алф. указ.: с. 407-411. - 00.88 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
62-50:51(075.8)
~РУБ 62-5

Кл.слова (ненормированные):
УЧЕБНЫЕ ПОСОБИЯ -- ТЕОРИЯ МНОЖЕСТВ -- ТЕОРИЯ ГРАФОВ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ТЕОРИЯ АЛГОРИТМОВ -- ЛИНЕЙНОЕ ПРОГРАММИРОВАНИЕ -- НЕЛИНЕЙНОЕ ПРОГРАММИРОВАНИЕ -- СЛУЧАЙНЫЕ ПРОЦЕССЫ -- МАТЕМАТИЧЕСКАЯ СТАТИСТИКА -- КОМБИНАТОРНЫЙ АНАЛИЗ
Доп.точки доступа:
Галушкин, Александр Иванович
Дегтярев, Юрий Иванович
Калинин, Борис Николаевич
Костюк, Георгий Александрович
Марков, Вячеслав Николаевич
Пупков, Константин Александрович \ред.\

Имеются экземпляры в отделах: , аунл (5 экз.)
Свободны: аунл (5)
Постоянная гиперссылка

16
П 305

    Петров, Юрий Александрович.
    Математическая логика и материалистическая диалектика. (Проблемы логико-философских оснований и обоснования теорий) : / Ю. А. Петров. - М. : Издательство Московского университета, 1974. - 191, [1] с. : ил., табл. - Библиогр.: с. 190-191. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
164
510.6
167
~РУБ 16

Кл.слова (ненормированные):
философия -- математическая логика -- материалистическая диалектика -- методология науки -- языковые системы -- обоснование -- семиотика -- семантика

Имеются экземпляры в отделах: аунл (1 экз.), кабинет ОН
Свободны: аунл (1)
Постоянная гиперссылка

10.

519
Ф 366

    Фейс, Роберт.
    Модальная логика : пер. с англ. / Р. Фейс ; ред. пер. с доп. Г. Е. Минц. - М. : Наука, 1974. - 520 с. : черт. - (Математическая логика и основания математики). - Библиогр. в конце глав. - Имен. указ.: с. 510-413. - Предм. указ.: с. 514-520. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6
~РУБ 519

Кл.слова (ненормированные):
модальные логики -- математическая логика
Доп.точки доступа:
Минц, Г. Е. \ред. пер. с доп.\

Имеются экземпляры в отделах: аунл (2 экз.)
Свободны: аунл (2)
Постоянная гиперссылка

11.

51
С 345

    Сигорский, Виталий Петрович.
    Математический аппарат инженера : научное издание / В. П. Сигорский. - 2-е изд., стереотип. - Киев : Техника, 1977. - 765[3] с. : ил. - (Библиотека инженера). - Библиогр. в конце глав. - Предм. указ.: с. 752-764. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
51:658.3-057.4
~РУБ 51

Кл.слова (ненормированные):
математика -- множества -- матрицы -- графы -- математическая логика -- теория вероятностей

Имеются экземпляры в отделах: аунл (3 экз.), счз1 (1 экз.)
Свободны: аунл (3), счз1 (1)
Постоянная гиперссылка

12.

681.3
А 955

   Ахо, Альфред
    Теория синтаксического анализа, перевода и компиляции : в 2 т.: пер. с англ. / А. В. Ахо, Дж. Д. Ульман. - М. : Мир, 1978 - .
   Т. 1 : Синтаксический анализ. - М. : Мир, 1978. - 612 с. : ил. - Библиогр.: с. 575-589. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
681.3.062
~РУБ 681.3

Кл.слова (ненормированные):
теория графов -- теория перевода -- синтаксический анализ -- компиляция -- системное программирование -- математика -- языки программирования -- алгоритмы -- математическая логика -- множества
Доп.точки доступа:
Ульман, Джефри

Имеются экземпляры в отделах: , аунл (3 экз.)
Свободны: аунл (3)
Постоянная гиперссылка

13.

51
Д 843

    Дурнев, Валерий Георгиевич.
    Элементы теории множеств и математической логики [Текст] : учебное пособие / В. Г. Дурнев ; Ярославский государственный университет. - Ярославль : ЯрГУ, 1978. - 116 с. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6(075)
510.22(075)
~РУБ 51

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

Имеются экземпляры в отделах: аунл (1 экз.)
Свободны: аунл (1)
Постоянная гиперссылка

14.

51
Е 804

    Ершов, Юрий Леонидович.
    Математическая логика : Учебное пособие для вузов / Ю. Л. Ершов, Е. А. Палютин. - М. : Наука, 1979. - 320 с. : ил. - Предм. указ.: с. 314-318. - Указ. обознач.: с. 319-320. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6(075.8)
~РУБ 51

Кл.слова (ненормированные):
учебные пособия -- математическая логика
Доп.точки доступа:
Палютин, Евгений Андреевич

Имеются экземпляры в отделах: аунл (3 экз.), счз1 (1 экз.)
Свободны: аунл (3), счз1 (1)
Постоянная гиперссылка

15.

51
С 500

    Смаллиан, Рэймонд.
    Как же называется эта книга? : пер. с англ. / Р. М. Смаллиан ; пер. Ю. А. Данилов. - М. : Мир, 1981. - 237[3] с. : ил. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6
~РУБ 51

Кл.слова (ненормированные):
занимательная математика -- математическая логика
Доп.точки доступа:
Данилов, Ю. А. \пер.\

Имеются экземпляры в отделах: аунл (2 экз.)
Свободны: аунл (2)
Постоянная гиперссылка

16.

510
Г 474

    Гильберт, Давид.
    Основания математики. Логические исчисления и формализация арифметики [Текст] : научное издание / Д. Гильберт, П. Бернаис ; ред. С. И. Адян. - 2-е изд. - М. : Наука, 1982. - 556 с. - (Математическая логика и основания математики). - Пер. с нем. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.2
510.6
~РУБ 510

Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ФУНДАМЕНТАЛЬНАЯ МАТЕМАТИКА
Доп.точки доступа:
Бернаис, Пауль
Адян, С. И. \ред.\

Имеются экземпляры в отделах: аунл (2 экз.)
Свободны: аунл (2)
Постоянная гиперссылка

17.

51
Г 474

    Гильберт, Давид.
    Основания математики. Теория доказательств [Текст] : научное издание / Д. Гильберт, П. Бернаис ; ред. С. И. Адян. - 2-е изд. - М. : Наука, 1982. - 656 с. - (Математическая логика и основания математики). - Пер. с нем. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510
~РУБ 51

Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ФУНДАМЕНТАЛЬНАЯ МАТЕМАТИКА
Доп.точки доступа:
Бернаис, Пауль
Адян, С. И. \ред.\

Имеются экземпляры в отделах: аунл (2 экз.)
Свободны: аунл (2)
Постоянная гиперссылка

18.

51
М 340

    Математическая энциклопедия / ред. И. М. Виноградов. - М. : Советская энциклопедия, 1977 - . - (Энциклопедии. Словари. Справочники).
   Т. 3 : Коо-Од / ред.: В. И. Битюцков [и др.]. - 1982. - 1184 столбца : ил. - 15.83 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
51(031)
~РУБ 51

Кл.слова (ненормированные):
СПРАВОЧНЫЕ ИЗДАНИЯ -- КЭЛИ АЛГЕБРА -- КООРДИНАТЫ -- КОШИ ЗАДАЧИ -- ЛЕЖАНДРА ПРЕОБРАЗОВАНИЕ -- ЛИНЕЙНАЯ ТОПОЛОГИЯ -- МАТЕМАТИЧЕСКАЯ ЛИНГВИСТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- МЕДИАНА -- НЕЕВКЛИДОВА ГЕОМЕТРИЯ
Доп.точки доступа:
Виноградов, И. М. \ред.\
Битюцков, В. И. \ред.\
Войцеховский, М. И. \ред.\
Горьков, Ю. А. \ред.\
Иванов, А. Б. \ред.\

Имеются экземпляры в отделах: , сбо (1 экз.), счз1 (1 экз.)
Свободны: сбо (1), счз1 (1)
Постоянная гиперссылка

19.

519
Э 824

    Эртли-Каякоб, П.
    Экономическая кибернетика на практике [Текст] : научное издание / П. Эртли-Каякоб ; ред. пер. К. А. Багриновский. - М. : Экономика, 1983. - 160 с. - Пер. с нем. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
519.86
658.012.011.56
~РУБ 519

Кл.слова (ненормированные):
ПРОМЫШЛЕННОЕ ПРОИЗВОДСТВО -- ЭКОНОМИЧЕСКИЕ НАУКИ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА
Доп.точки доступа:
Багриновский, К. А. \ред. пер.\

Имеются экземпляры в отделах: аунл (1 экз.)
Свободны: аунл (1)
Постоянная гиперссылка

20.

51
Б 189

    Байиф, Жан-Клод.
    Логические задачи [Текст] : научное издание / Ж. К. Байиф ; пер. Ю. Н. Сударев ; ред. И. М. Яглом. - М. : Мир, 1983. - 172 с. - Пер. с фр. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
51-8
~РУБ 51

Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ЗАДАЧНИКИ
Доп.точки доступа:
Сударев, Ю. Н. \пер.\
Яглом, Исаак Моисеевич \ред.\

Имеются экземпляры в отделах: аунл (2 экз.)
Свободны: аунл (2)
Постоянная гиперссылка

1-20 21-40 41-60 61-80 81-95

Статистика за 07.07.2024
Число запросов	202395
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)