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

Зохиогч: Фрейденталь Х.


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


Средства математического моделирования технических задач


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


Теория формальных систем

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


Гаралтын мэдээ Орос Наука главная редакция физико-математической литературы 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).


Введение в теорию нечетких множеств

Зохиогч: Кофман А.


Гаралтын мэдээ Орос Радио и связь 1982
Шифр: 22.12/К-74.
Номын сан:
Эрдэм шинжилгээний фонд (1).


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

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


Гаралтын мэдээ Орос Мир 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).


Прямая и обратная теоремы: Элементы алгебры логики

Зохиогч: Градштейн И. С.


Гаралтын мэдээ Орос Объединенное научно-техническое изд-во НКТП СССР 1936
Шифр: 22.14/Г-75.
Номын сан:
Эрдэм шинжилгээний фонд (1).