ՀԱՊՀ Գրադարանի Գրացուցակ = NPUA Library Catalog

Your search returned 40 results. Subscribe to this search

|
Алгоритмы и рекурсивные функции / А. И. Мальцев.

by Мальцев, Анатолий Иванович.

Edition: 2-е изд.Material type: book Book Publisher: Москва : Наука. Гл. ред. физ.-мат. лит., 1986Availability: Items available for loan: [Call number: 510.51 М-21] (1).
Введение в математическую логику : Пер. с англ. / Эллиот Мендельсон ; Пер. Ф.А. Кабакова ; Под ред. С.И. Адяна.

by Мендельсон, Эллиот | Кабаков, Ф.А [trl] | Ադյան, Սերգեյ Իվանի, 1931- [edt].

Material type: book Book Publisher: Москва : Наука. Гл. ред. физ.-мат. лит., 1971Other title: Introduction to mathematical logic.Availability: Items available for loan: [Call number: 518 М-50] (1).
Введение в математическую логику / Э. Мендельсон ; Пер. с англ. Ф.А. Кабакова ; Под ред. С.И. Адяна.

by Мендельсон, Эллиот | Кабаков, Ф.А [пер.] | Ադյան, Սերգեյ Իվանի, 1931- [ред.].

Edition: 2-е изд., испр.Material type: book Book Publisher: Москва : Наука. Гл. ред. физ.-мат. лит., 1976Availability: Items available for loan: [Call number: 518 М-50] (1).
Введение в математическую логику : Учебное пособие / А.Н. Колмогоров, А.Г. Драгалин.

by Колмогоров, Андрей Николаевич | Драгалин, Альберт Григорьевич.

Material type: book Book Publisher: Москва : МГУ , 1982Availability: Items available for loan: [Call number: 517.11 К-60] (4).
Введение в математическую логику / А.И. Попов ; ЛГУ им. А.А. Жданова.

by Попов, Александр Иванович | Ленинградский государственный университет им. А.А. Жданова.

Material type: book Book Publisher: Ленинград : ЛГУ , 1959Availability: Items available for loan: [Call number: 51 П-58] (1).
Задачи по теории множеств, математической логике и теории алгоритмов / И.А. Лавров, Л.Л. Максимова.

by Лавров, Игорь Андреевич | Максимова, Лариса Львовна.

Edition: 2-е изд.Material type: book Book Publisher: Москва : Наука , 1984Availability: Items available for loan: [Call number: 510.2(076) Л-13] (2).
Конструктивная математическая логика с точки зрения классической / П.С. Новиков.

by Новиков, Петр Сергеевич | Кабаков, А.Ф.

Material type: book Book Publisher: Москва : Наука. Гл. ред. физ.-мат. лит., 1977Availability: Items available for loan: [Call number: 517 Н-73] (4).
Ламбда-исчисление : Его синтаксис и семантика / Х.П. Барендрегт ; Пер. с англ. Г.Е. Минца ; Под ред. А.С. Кузичева.

by Барендрегт, Хендрик Питер | Минц, Г.Е [пер.] | Кузичев, А.С [ред.].

Material type: book Book Publisher: Москва : Мир , 1985Availability: Items available for loan: [Call number: 510.6 Б-24] (3).
Логика, алгебра и базы данных : Пер. с англ. / П. Грэй ; Пер. Х.И. Килова, Г.Е. Минца ; Под ред. Г.В. Орловского, А.О. Слисенко.

by Грэй, Питер | Килов, Х.И [пер.] | Минц, Г.Е [пер.] | Орловский, Г.В [ред.] | Слисенко, А.О [ред.].

Material type: book Book Publisher: Москва : Машиностроение , 1989Availability: Items available for loan: [Call number: 681.3 Г-91] (5).
Логический подход к искусственному интеллекту : От классической логики к логическому программированию / [А. Тейз, П. Грибомон, Ж. Луи и др.] ; Пер. с франц. П.П. Пермякова ; Под ред. Г.П. Гаврилова.

by Тейз, Андре | Грибомон, Паскаль | Луи, Жорж | Пермяков, П.П [пер.] | Гаврилов, Гарий Петрович [ред.].

Material type: book Book Publisher: Москва : Мир, 1990Availability: Items available for loan: [Call number: 519.85 Л-69] (2).
Математика метаматематики / Е. Расева, Р. Сикорский ; Пер. с англ. В.А. Янкова.

by Расева, Елена | Сикорский, Роман | Янков, В.А [пер.].

Material type: book Book Publisher: Москва : Наука. Гл. ред. физ.-мат. лит., 1972Availability: Items available for loan: [Call number: 510.6 Р-24] (5).
Математическая логика : Пер. с англ. / Р.Л. Гудстейн ; Пер. В.С. Чернявского ; Под ред. и с предисл. С.А. Яновской.

by Гудстейн, Р.Л | Чернявский, В.С [пер.] | Яновская, С.А [ред.].

Material type: book Book Publisher: Москва : Иностранной литературы, 1961Other title: Mathematical logic.Availability: Items available for loan: [Call number: 518.5 Г-93] (3).
Математическая логика : Учебное пособие / Ю.Л. Ершов и Е.А. Палютин.

by Ершов, Юрий Леонидович | Палютин, Евгений Андреевич.

Material type: book Book Publisher: Москва : Наука. Гл. ред. физ.-мат. лит., 1979Availability: Items available for loan: [Call number: 517.11 Е-80] (5).
Математическая логика : Учебное пособие / Ю.Л. Ершов и Е.А. Палютин.

by Ершов, Юрий Леонидович | Палютин, Евгений Андреевич.

Edition: 2-е изд., испр. и доп.Material type: book Book Publisher: Москва : Наука. Гл. ред. физ.-мат. лит., 1987Availability: Items available for loan: [Call number: 517.11 Е-80] (24).
Математическая логика и материалистическая диалектика : (Проблемы логико-философских оснований и обоснования теорий) / Ю.А. Петров.

by Петров, Юрий Александрович.

Material type: book Book Publisher: Москва : Изд-во Моск. ун-та, 1974Availability: Items available for loan: [Call number: 510.6 П-30] (3).
Математическая логика : Пер. с англ. / Дж. Шенфилд ; Пер. И.А. Лаврова и И.А. Мальцева ; Ред. Ю.Л. Ершов.

by Шенфилд, Джозеф | Лавров, И.А [пер.] | Мальцев, И.А [пер.] | Ершов, Ю.Л [ред.].

Material type: book Book Publisher: Москва : Наука. Гл. ред. физ.-мат. лит., 1975Availability: Items available for loan: [Call number: 510.6Ш-47] (3).
Математическая теория логического вывода / Сборник пер. под. ред. А.В. Идельсона и Г.Е. Минца.

by Идельсон, А.В [ред.] | Минц, Г.Е [ред.].

Material type: book Book Publisher: Москва : Наука, 1967Availability: Items available for loan: [Call number: 510.6 М-34] (4).
Основания математической логики : Пер. с англ. / Х.Б. Карри ; Пер. В.В. Донченко ; Под ред. Ю.А. Гастева.

by Карри, Хаскелл Б | Донченко, В.В [пер.] | Гастев, Ю.А [ред.].

Material type: book Book Publisher: Москва : Мир, 1969Availability: Items available for loan: [Call number: 517 К-26] (7).
Основы дискретной математики : Учебное пособие / В.А. Горбатов.

by Горбатов, Вячеслав Афанасьевич.

Material type: book Book Publisher: Москва : Высш. шк, 1986Availability: Items available for loan: [Call number: 510.6 Г-67] (4).
Популярная логика : Общедоступный очерк логики предложений / A. Гжегорчик ; Пер. с пол. С.П. Беляева.

by Гжегорчик, Анджей | Беляев, С.П [пер.].

Edition: 2-е изд., исправ.Material type: book Book Publisher: Москва : Наука. Гл. ред. физ.-мат. лит., 1972Availability: Items available for loan: [Call number: 510.6 Г-45] (6).

Powered by Koha