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

Базы данных

Основная база библиотеки - результаты поиска

Вид поиска

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

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

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

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

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

ЭБС «Лань»

ЭБС «Юрайт»

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

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

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

Поисковый запрос: (<.>K=ИНТУИЦИОНИЗМ<.>)

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

510
П 784


    Программирование: математическая логика [Электронный ресурс] : учебное пособие для вузов / М. В. Швецкий [и др.] ; рец.: К. Р. Пиотровская, И. Ю. Матюшичев. - 2-е изд., перераб. и доп. - Электрон. текстовые дан. - М. : Юрайт, 2020. - on-line. - (Высшее образование). - Библиогр.: с. 663-672. - ISBN 978-5-534-11009-8 : Б. ц.

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

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

Доп.точки доступа:
Швецкий, Михаил Владимирович
Демидов, Михаил Владимирович
Голанова, Анна Викторовна
Кудрявцева, Ирина Андреевна
Пиотровская, К. Р. \рец.\
Матюшичев, И. Ю. \рец.\

Перейти к внешнему ресурсу https://urait.ru/viewer/programmirovanie-matematicheskaya-logika-439066#page/1
Постоянная гиперссылка

11
М 540

    Метафизика. Век ХХI. Альманах [Электронный ресурс] / ред., сост. Ю. С. Владимиров. - 4-е изд.(эл.). - Электрон. текстовые дан. - М. : Лаборатория знаний, 2020.
   Вып. 4 : Метафизика и математика. - on-line : ил. - Библиогр. в конце разд. - ISBN 978-5-00101-714-1 : Б. ц.

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

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

Доп.точки доступа:
Владимиров, Ю. С. \ред., сост.\

Перейти к внешнему ресурсу https://e.lanbook.com/reader/book/151556/#1
Постоянная гиперссылка

16
Д 721

    Драгалин, Альберт Григорьевич.
    Конструктивная теория доказательств и нестандартный анализ : научное издание / Альберт Григорьевич Драгалин; Ред. Г. Е. Минц. - М. : Едиториал УРСС, 2003. - 543[1] с. : ил. - Библиогр.: с. 520-525. -Алф.-Предм. указ.: с. 526-543. - ISBN 5-354-00387-3 (в пер.) : 160.00 р.

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

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

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

Статистика за 01.07.2024
Число запросов	98155
Число заказов	0

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