Нийтийн жагсаалт:
Шинэ ном /2022 №2/ Шинэ ном /2022 №3/ Бүгдийг харах
Хувийн жагсаалт:
Жагсаалт үүсгэхийн тулд нэвтэрж орно уу
Тусламж
Текст томруулах:    
Цахим сан
Онлайн сан
Дэлгэрэнгүй хайлт
Нүүр   > Хайлтын утга:   kw,wrdl: Математическая логика
Хайлтын нарийвчлал
Бэлэн байгаа эсэх
Зохиогч
    Войшвилло Е.К.
    Карпов В.Г.
    Мощенский В.А.
    Никольская И.Л.
    Яновская С.А.
Номын сангийн байршил
    Байгалийн ухааны уншлагын танхим
    Эрдэм шинжилгээний фонд
    НУУТ
Материалын төрөл
    Ном
Хэвлэгдсэн он
Хайлтын үр дүн
Хайлтын үр дүнд 79 бичлэг олдлоо.
|
Теория формальных систем

Зохиогч: Смальян Р.


Гаралтын мэдээ Орос Наука главная редакция физико-математической литературы 1981
Шифр: 22.12/С-50.
Номын сан:
Эрдэм шинжилгээний фонд (1).


Логические основания планирования эксперимента

Зохиогч: Налимов В.В; Голикова Т.И.


Гаралтын мэдээ Орос Металлургия 1976
Шифр: 22.12/Н-23.
Номын сан:
Эрдэм шинжилгээний фонд (1).


Исследования по теории алгорифмов и математической логике


Гаралтын мэдээ Орос Наука 1979
Шифр: 22.12/И-88.
Номын сан:
Эрдэм шинжилгээний фонд (1).


Введение в математическую логику

Зохиогч: Попов А.И.


Гаралтын мэдээ Орос Издательство Ленинградского Университета 1959
Шифр: 22.12/П-58.
Номын сан:
Эрдэм шинжилгээний фонд (1).


Математическая логика и теория множеств

Зохиогч: Харин Н.Н.


Гаралтын мэдээ Орос Росвузиздат 1963
Шифр: 22.12/Х-20.
Номын сан:
Эрдэм шинжилгээний фонд (3).


Избранные главы высшей математики

Зохиогч: Колобов А. М; Неверов Г. С.


Гаралтын мэдээ Орос Вышэйшая школа 1971
Шифр: 22.11/К-61.
Номын сан:
Эрдэм шинжилгээний фонд (1).


Основания математической логики

Зохиогч: Карри Х. Б.


Гаралтын мэдээ М Мир 1969
Шифр: 22.12 К-26.
Номын сан:
Эрдэм шинжилгээний фонд (3).


Топосы. Категорный анализ логики

Зохиогч: Голдблатт Р.


Гаралтын мэдээ Орос Мир 1983
Шифр: 22.12/Г-60.
Номын сан:
Эрдэм шинжилгээний фонд (2).


Математическая логика

Зохиогч: Клини С. К.


Гаралтын мэдээ Орос Мир 1973
Шифр: 22.12/К-49.
Номын сан:
Эрдэм шинжилгээний фонд (1).


Исследования по теорий алгорифмов и математической логике том 2


Гаралтын мэдээ Орос Академий Наук СССР 1976
Шифр: 22.2/И-88.
Номын сан:
Эрдэм шинжилгээний фонд (1).


Введение в математическую логику

Зохиогч: Мендельсон Э.


Гаралтын мэдээ Орос Наука 1971
Шифр: 22.12/М-50.
Номын сан:
Эрдэм шинжилгээний фонд (1).


Введение в математическую логику

Зохиогч: Мендельсон Э.

Дахин хэвлэлт: 2ss
Гаралтын мэдээ Орос Наука 1976
Шифр: 22.12/М-50.
Номын сан:
Эрдэм шинжилгээний фонд (4).


Математическая теория логического вывода


Гаралтын мэдээ Орос Наука 1967
Шифр: 22.11/М-34.
Номын сан:
Эрдэм шинжилгээний фонд (1).


Введение в математическую логику. Том 1

Зохиогч: Чёрч А.


Гаралтын мэдээ Орос Иностранной литературы 1960
Шифр: 22.12/Ч-50.
Номын сан:
Эрдэм шинжилгээний фонд (2).


Формирование математической логики

Зохиогч: Стяжкин Н.И.


Гаралтын мэдээ Орос Наука 1967
Шифр: 22.12/С-88.
Номын сан:
Эрдэм шинжилгээний фонд (1).


Теория доказательств

Зохиогч: Такеути Г.


Гаралтын мэдээ Орос Мир 1978
Шифр: 22.12/Т-15.
Номын сан:
Эрдэм шинжилгээний фонд (1).


Теоретические основы начального курса математики


Гаралтын мэдээ Орос Просвещение 1974
Шифр: 22.1/Т-33.
Номын сан:
Эрдэм шинжилгээний фонд (1).


Общая теория оптимальных алгоритмов

Зохиогч: Трауб Дж; Вожьняковский Х.


Гаралтын мэдээ Орос Мир 1983
Шифр: 22.12/Т-65.
Номын сан:
Эрдэм шинжилгээний фонд (3).


Конструктивные множества

Зохиогч: Мостовский А.


Гаралтын мэдээ Орос Мир 1973
Шифр: 22.12/М-84.
Номын сан:
Эрдэм шинжилгээний фонд (1).


Основания теорий множеств

Зохиогч: Френкель А; Бар-Хиллел И.


Гаралтын мэдээ Орос Мир 1966
Шифр: 22.12/Ф-87.
Номын сан:
Эрдэм шинжилгээний фонд (1).