МУИС-ийн номын сан

Теорема Гёделя о неполноте

Зохиогч: Успенский В.А.

Гаралтын мэдээ Москва Наука 1982
Шифр: 22.12 У-77.
Номын сан:
Эрдэм шинжилгээний фонд (2).

Алгоритмы обработки экспериментальных данных

Гаралтын мэдээ Орос Наука 1986
Шифр: 22.12/А-45.
Номын сан:
Эрдэм шинжилгээний фонд (2).

Рекурсивно перечислимые множества и степени неразрешимости

Зохиогч: Арсланов М.М.

Гаралтын мэдээ Орос Казанского Университета 1986
Шифр: 22.12/А-85.
Номын сан:
Эрдэм шинжилгээний фонд (2).

Логика математического мышления

Зохиогч: Теребилов О.Ф.

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

Логические методы анализа научного знания

Зохиогч: Смирнов В.А.

Гаралтын мэдээ Орос Наука 1987
Шифр: 87.4/С-50.
Номын сан:
Эрдэм шинжилгээний фонд (2).

Индуктивная логика и формирование научного знания

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

Избранные труды: Теория множеств и функций,математическая логика и алгебра

Зохиогч: Новиков П. С.

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

Математическая логика: Дополнительные главы

Зохиогч: Колмогоров А.Н; Драгалин А.Г.

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

Элементы математической логики

Зохиогч: Марков А.А.

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

Задачи по теории множеств математической логике и теории алгоритмов

Зохиогч: Лавров И.А; Максимова Л.Л.

Гаралтын мэдээ Орос Наука 1984
Шифр: 22.12/Л-13.
Номын сан:
Эрдэм шинжилгээний фонд (2).

А ну-ка, догадайся

Зохиогч: Мартин Гарднер.

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

Логика, алгебра и базы данных

Зохиогч: Грэй П.

Гаралтын мэдээ Орос Машиностроение 1989
Шифр: 32.965/Г-91.
Номын сан:
Эрдэм шинжилгээний фонд (3).

Современные исследования по квантовой логике

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

Математичиские новеллы

Зохиогч: Гарднер М.

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

Верификация моделей программ Model Checking

Зохиогч: Кларк Э.М; Грамберг О; Пелед Д.

Гаралтын мэдээ М МЦНМО 2002
Шифр: 22.18 К-18.
Номын сан:
Эрдэм шинжилгээний фонд (1).

Языки и исчисления

Зохиогч: Верещагин Н.К; Шень А.

Цувралын зохиогч: Лекции по математической логике и теории алгоритмов Ч. 2
Гаралтын мэдээ М МЦНМО 2000
Шифр: 22.12/В-31.
Номын сан:
Эрдэм шинжилгээний фонд (1).

О многообразиях, порожденных конечными ассоциативными кольцами, и свойствах экстремальности и критичности Диссертация на соискание ученой степени доктора физико-математических наук: 01.01.06

Зохиогч: Микей Абиш.

Гаралтын мэдээ Москва 1995
Шифр: 22.144 М 59.
Номын сан:
Эрдэм шинжилгээний фонд (1).

Некоторые свойства нестандартных моделей поля вещественных чисел Диссертация на соискание ученой степени доктора (Ph.D) математических наук F460100

Зохиогч: Батзул Төмөрөөгийн.
Эрхлэн гаргасан байгууллага: МУИС. ШУС. БУС Математикийн тэнхим

Гаралтын мэдээ УБ 2003
Шифр: 22.132 Б 335.
Номын сан:
Эрдэм шинжилгээний фонд (1).

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

Зохиогч:
Эрхлэн гаргасан байгууллага: АНСССР

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

		Теорема Гёделя о неполноте Зохиогч: Успенский В.А. Гаралтын мэдээ Москва Наука 1982 Шифр: 22.12 У-77. Номын сан: Эрдэм шинжилгээний фонд (2).
		Алгоритмы обработки экспериментальных данных Гаралтын мэдээ Орос Наука 1986 Шифр: 22.12/А-45. Номын сан: Эрдэм шинжилгээний фонд (2).
		Рекурсивно перечислимые множества и степени неразрешимости Зохиогч: Арсланов М.М. Гаралтын мэдээ Орос Казанского Университета 1986 Шифр: 22.12/А-85. Номын сан: Эрдэм шинжилгээний фонд (2).
		Логика математического мышления Зохиогч: Теребилов О.Ф. Гаралтын мэдээ Орос Издательство Ленинградского Университета 1987 Шифр: 22.12/Т-35. Номын сан: Эрдэм шинжилгээний фонд (2).
		Логические методы анализа научного знания Зохиогч: Смирнов В.А. Гаралтын мэдээ Орос Наука 1987 Шифр: 87.4/С-50. Номын сан: Эрдэм шинжилгээний фонд (2).
		Индуктивная логика и формирование научного знания Гаралтын мэдээ Орос Наука 1987 Шифр: 22.12/И-60. Номын сан: Эрдэм шинжилгээний фонд (2).
		Избранные труды: Теория множеств и функций,математическая логика и алгебра Зохиогч: Новиков П. С. Гаралтын мэдээ Орос Наука 1979 Шифр: 22.11/Н-73. Номын сан: Эрдэм шинжилгээний фонд (1).
		Математическая логика: Дополнительные главы Зохиогч: Колмогоров А.Н; Драгалин А.Г. Гаралтын мэдээ Орос Изд-во Московского Университета 1984 Шифр: 22.12/К-60. Номын сан: Эрдэм шинжилгээний фонд (1).
		Элементы математической логики Зохиогч: Марков А.А. Гаралтын мэдээ Орос Изд-во Московского Университета 1984 Шифр: 22.12/М-25. Номын сан: Эрдэм шинжилгээний фонд (1).
		Задачи по теории множеств математической логике и теории алгоритмов Зохиогч: Лавров И.А; Максимова Л.Л. Гаралтын мэдээ Орос Наука 1984 Шифр: 22.12/Л-13. Номын сан: Эрдэм шинжилгээний фонд (2).
		А ну-ка, догадайся Зохиогч: Мартин Гарднер. Гаралтын мэдээ Орос Мир 1984 Шифр: 22.12/Г-20. Номын сан: Эрдэм шинжилгээний фонд (3).
		Логика, алгебра и базы данных Зохиогч: Грэй П. Гаралтын мэдээ Орос Машиностроение 1989 Шифр: 32.965/Г-91. Номын сан: Эрдэм шинжилгээний фонд (3).
		Современные исследования по квантовой логике Гаралтын мэдээ Орос Изд-во Московского Университета 1989 Шифр: 22.12/С-56. Номын сан: Эрдэм шинжилгээний фонд (1).
		Математичиские новеллы Зохиогч: Гарднер М. Гаралтын мэдээ М Мир 1974 Шифр: 22.12 Г-20. Номын сан: Эрдэм шинжилгээний фонд (1).
		Верификация моделей программ Model Checking Зохиогч: Кларк Э.М; Грамберг О; Пелед Д. Гаралтын мэдээ М МЦНМО 2002 Шифр: 22.18 К-18. Номын сан: Эрдэм шинжилгээний фонд (1).
		Языки и исчисления Зохиогч: Верещагин Н.К; Шень А. Цувралын зохиогч: Лекции по математической логике и теории алгоритмов Ч. 2 Гаралтын мэдээ М МЦНМО 2000 Шифр: 22.12/В-31. Номын сан: Эрдэм шинжилгээний фонд (1).
		О многообразиях, порожденных конечными ассоциативными кольцами, и свойствах экстремальности и критичности Диссертация на соискание ученой степени доктора физико-математических наук: 01.01.06 Зохиогч: Микей Абиш. Гаралтын мэдээ Москва 1995 Шифр: 22.144 М 59. Номын сан: Эрдэм шинжилгээний фонд (1).
		Некоторые свойства нестандартных моделей поля вещественных чисел Диссертация на соискание ученой степени доктора (Ph.D) математических наук F460100 Зохиогч: Батзул Төмөрөөгийн. Эрхлэн гаргасан байгууллага: МУИС. ШУС. БУС Математикийн тэнхим Гаралтын мэдээ УБ 2003 Шифр: 22.132 Б 335. Номын сан: Эрдэм шинжилгээний фонд (1).
		Исследование по математическом лингвистике математической логике и информационным языкам Зохиогч: Эрхлэн гаргасан байгууллага: АНСССР Гаралтын мэдээ М Наука 1972 Шифр: 81.2 И-88. Номын сан: Эрдэм шинжилгээний фонд (1).

Хайлтын нарийвчлал

Хайлтын үр дүн