Научная библиотека ТГУ catalog › Results of search for 'su:"логика"'

1.

Введение в теорию множеств Пер. с анл. С. И. Травкина; Под ред. В. Б. Кузьмина

by Хенл, Джеймс М.

Material type: Text

Text; Format: print ; Literary form: Not fiction Language: Russian Original language: English Publication details: М. Радио и связь 1993Availability: No items available :

2.

No cover image available

Философские проблемы математики Н. И. Жуков

by Жуков, Николай Иванович.

Material type: Text

Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Минск Издательство БГУ 1977Availability: No items available :

3.

Математическая логика [учебное пособие для математических специальностей вузов] А. Н. Колмогоров, А. Г. Драгалин ; Моск. гос. ун-т им. М. В. Ломоносова

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

Series: Классический университетский учебникEdition: Изд. 3-е, стер.Material type: Text

Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва URSS [и др.] печ. 2006Availability: No items available :

4.

Элементы теории множеств и математической логики Практикум Калинингр. гос. ун-т

by Александрова, Регина Александровна | Потапова, Алефтина Михайловна.

Material type: Text

Text; Format: print Publication details: Калининград 1997Availability: No items available :

5.

No cover image available

Множества. Логика. Аксиоматические теории Роберт Р. Столл; Пер. с англ. Ю. А. Гастева, И. Х. Шмаина; Под ред. Ю. А. Шихановича

by Столл, Роберт Р | Шиханович, Юрий Александрович [ред.].

Series: Математическое просвещениеMaterial type: Text

Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: English Publication details: М. Просвещение 1968Other title: Sets. Logis, and axiomatic theories.Availability: No items available :

6.

Логические исследования Вып. 8 Рос. АН, Ин-т философии; Редкол. : Карпенко А. С. (отв. ред. ) и др.

by Карпенко, Александр Степанович, 1946- [ред.].

Material type: Text

Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. Наука 2001Other title: Logical Investigations.Availability: No items available :

7.

No cover image available

Математическая логика Дополнительные главы. [Учебное пособие для вузов по специальности "Математика"] А. Н. Колмогоров, А. Г. Драгалин

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

Material type: Text

Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. Издательство Московского университета 1984Availability: No items available :

8.

No cover image available

Избранные труды Теория множеств и функций. Математическая логика и алгебра П. С. Новиков; АН СССР. От-ние математики, Мат. ин-т им. В. А. Стеклова; Редкол. : А. Н. Колмогоров (гл. ред. ) и др.

by Новиков, Петр Сергеевич | Колмогоров, Андрей Николаевич, 1903-1987 [ред.].

Material type: Text

Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. Наука 1979Availability: No items available :

9.

Математическая логика [учебное пособие для математических специальностей вузов] А. Н. Колмогоров, А. Г. Драгалин ; [отв. ред. Г. Е. Минц] ; Моск. гос. ун-т им. М. В. Ломоносова

by Колмогоров, Андрей Николаевич, 1903-1987 | Драгалин, Альберт Григорьевич, 1941-1998 | Минц, Г. Е [edt].

Series: Классический университетский учебникEdition: Изд. 2-е, стер.Material type: Text

Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва УРСС 2005Availability: No items available :

10.

No cover image available

Малая математическая энциклопедия Э. Фрид, И. Пастор, И. Рейман, П. Ревес и др.

by Фрид, Э | Пастор, И | Рейман, И | Ревес, П.

Material type: Text

Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Будапешт Издательство АН Венгрии 1976Availability: No items available :

11.

Труды научно-исследовательского семинара логического центра Института философии РАН. 1997. Обществ. ин-т логики, когнитологии и развития личности; Отв. ред. В. А. Смирнов

by Институт философии (Москва) | Смирнов, В. А [ред.].

Material type: Text

Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. 1998Other title: Proceedings of the research logical seminar of institute of philosophy russian academy of sciences.Availability: No items available :

12.

No cover image available

Математическая логика Дж. Шенфилд; Пер. с англ. И. А. Лаврова, И. А. Мальцева; Под ред. Ю. Л. Ершова

by Шенфилд, Джозеф Р | Ершов, Юрий Леонидович, 1940- [ред.].

Series: Математическая логика и основания математикиMaterial type: Text

Text; Format: print Language: Russian Original language: English Publication details: М. Наука, Главная редакция физико-математической литературы 1975Availability: No items available :

13.

No cover image available

Теория множеств и континуум-гипотеза Пол Дж. Коэн; Пер. с англ. А. С. Есенина-Вольпина

by Коэн, Пол Дж.

Series: Библиотека сборника "Математика"Material type: Text

Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: English Publication details: М. Мир 1969Other title: Set theory and the continuum hypothesis.Availability: No items available :

14.

No cover image available

Пособие по математике для поступающих в вузы Учебное пособие для подготовительных отделений вузов В. В. Зорин, Т. Т. Фискович

by Зорин, Василий Васильевич | Фискович, Татьяна Терентьевна.

Material type: Text

Text; Format: print ; Literary form: Not fiction Publication details: М. Высшая школа 1980Availability: No items available :

15.

Дискретная математика для инженеров учебное пособие для студентов высших учебных заведений, обучающихся по специальности 080801 - "Прикладная информатика (по областям)" и другим экономическим специальностям В. Ф. Пономарев

by Пономарев, Вениамин Федорович.

Series: Учебное пособие для высших учебных заведенийMaterial type: Text

Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва Горячая линия - Телеком 2009Availability: No items available :

16.

Логика и множества

by Локшин, Александр Александрович | Сагомонян, Елена Артуровна.

Material type: Text

Text; Format: print ; Literary form: Not fiction Publication details: Москва Вузовская книга 2002Availability: No items available :

17.

No cover image available

Введение в метаматематику Стефен К. Клини; Пер. с англ. А. С. Есенина-Вольпина; Под ред. В. А. Успенского

by Клини, Стивен Коул, 1909-1994.

Material type: Text

Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: English Publication details: М. Издательство иностранной литературы 1957Other title: Introduction to metamathematics.Availability: No items available :

18.

No cover image available

Введение в математическую логику Э. Мендельсон; Пер. с англ. Ф. А. Кабакова; Под ред. С. И. Адяна

by Мендельсон, Эллиот | Адян, С. И [ред.].

Edition: 3-е изд.Material type: Text

Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: English Publication details: М. Наука. Физматлит 1984Other title: Introduction to mathematical logic.Availability: No items available :

19.

Дискретная математика. Математика для менеджера в примерах и упражнениях Учебное пособие для вузов по экономическим и управленческим специальностям и направлениям Г. И. Москинова

by Москинова, Галина Ивановна.

Series: Учебник для XXI векаMaterial type: Text

Text; Format: print Publication details: Москва Логос 2000Availability: No items available :

20.

No cover image available

Введение в математический анализ методическая разработка Том. гос. ун-т, Мех.-мат. фак., Каф. общ. математики ; сост.: Кошельский Ю. К., Панько С. В., Путятина Е. Н.

by Кошельский, Юрий Константинович [com] | Панько, Сергей Васильевич [com] | Путятина, Елена Николаевна [com] | Томский государственный университет Механико-математический факультет Кафедра общей математики.

Material type: Text

Text; Format: print ; Literary form: Not fiction Publication details: Томск [б. и.] 2007Availability: No items available :

21.

Математические основы информатики Пособие для студентов специальности G 31 03 04 "Информатика" А. В. Мощенский, В. А. Мощенский

by Мощенский, Андрей Владимирович | Мощенский, Владимир Андреевич.

Material type: Text

Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Минск БГУ 2002Availability: No items available :

22.

No cover image available

Справочная книга по математической логике Ч. 2 в 4 ч. Д. Р. Шенфилд, Т. Д. Йех, К. Кюнен и др. ; пер. с англ. В. Г. Кановея ; под ред. Дж. Барвайса

by Шенфилд, Джозеф Р | Йех, Т. Д | Кюнен, К | Барвайс, Дж [edt] | Кановей, Владимир Григорьевич [trl].

Material type: Text

Text; Format: electronic available online remote

; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: English Publication details: М. Наука 1982Other title: Теория множеств.Online access: Click here to access online Availability: No items available :

23.

Дискретная математика учебное пособие для студентов вузов В. В. Куликов

by Куликов, Валерий Васильевич математик.

Series: Высшее образованиеMaterial type: Text

Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: М. РИОР 2007Availability: No items available :

24.

Аритмология. (Введение в онтологию) Бесконечность и рефлексивная сущность Бытия О. Б. Станишевский

by Станишевский, Олег Борисович.

Material type: Text

Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Таганрог Изд-во ТРТУ 2003Availability: No items available :

25.

No cover image available

Сборник задач по математической логике и алгебре множеств А. В. Гохман, М. А. Спивак, В. В. Розен и др.

by Гохман, Альберт Владимирович | Спивак, М. А | Розен, Виктор Владимирович.

Edition: 2-е изд., испр. и доп.Material type: Text

Text; Format: print ; Literary form: Not fiction Publication details: Саратов Издательство Саратовского университета 1969Availability: No items available :

26.

Математическая логика курс лекций : [учебное пособие для студентов вузов по специальности 032100 "Математика"] И. Л. Тимофеева

by Тимофеева, Ирина Леонидовна.

Edition: 2-е изд., перераб.Material type: Text

Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва КДУ 2007Availability: No items available :

27.

Теория моделей в Казахстане сборник научных работ, посвященный памяти А. Д. Тайманова под ред. М. М. Еримбетова

by Еримбетов, Мырзахан Мырзахметович [edt].

Material type: Text

Text; Format: print ; Nature of contents: festschrift biography

; Literary form: Not fiction ; Audience: Specialized; Publication details: Алматы Eco Study 2006Availability: No items available :

28.

No cover image available

Равенство, сходство, порядок Ю. А. Шрейдер

by Шрейдер, Юлий Анатольевич, 1927-1998.

Material type: Text

Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. Наука 1971Availability: No items available :

29.

No cover image available

Математическая логика Учебное пособие для математических специальностей вузов Ю. Л. Ершов, Е. А, Палютин

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

Edition: 2-е изд., испр. и доп.Material type: Text

Text; Format: print ; Literary form: Not fiction Publication details: Москва Наука, Главная редакция физико-математической литературы 1987Availability: No items available :

30.

Математическая логика и теория алгоритмов [учебное пособие] А. А. Хусаинов, Н. Н. Михайлова ; М-во образования и науки Рос. Федерации, Федер. агентство по образованию, Комсом.-на-Амуре гос. техн. ун-т, Ин-т новых информ. технологий Комсом.-на-Амуре гос. техн. ун-та

by Хусаинов, Ахмет Аксанович | Михайлова, Наталья Николаевна.

Material type: Text

Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Комсомольск-на-Амуре КНАГТУ 2005Availability: No items available :

31.

No cover image available

Математическая логика Учебное пособие для математических специальностей вузов Ю. Л. Ершов, Е. А, Палютин

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

Material type: Text

Text; Format: print ; Literary form: Not fiction Publication details: М. Наука. Физматлит 1979Availability: No items available :

32.

No cover image available

Основы математической логики и дискретной математики для специальности "Прикладная информатика" (в государственном и муниципальном управлении) учебно-методический комплекс [авт.-сост.: А. Н. Данчул, В. Е. Завьялов, А. И. Митин] ; Рос. акад. гос. службы при президенте Рос. Фед.

by Данчул, Александр Николаевич | Завьялов, В. Е | Митин, Александр Иванович.

Series: Учебная литератураMaterial type: Text

Text; Format: print ; Literary form: Not fiction Publication details: Москва Изд-во РАГС 2010Availability: No items available :

33.

No cover image available

Нечеткие множества в системах управления Методическое пособие В. Я. Пивкин, Е. П. Бакулин, Д. И. Кореньков; Новосиб. гос. ун-т, Физич. фак-т, Отд-ние информатики

by Пивкин, В. Я | Бакулин, Е. П | Кореньков, Д. И.

Material type: Text

Text; Format: print Publication details: Новосибирск 1997Availability: No items available :

34.

Математическая логика [Учебное пособие для математических специальностей вузов] А. Н. Колмогоров, А. Г. Драгалин; Моск. гос. ун-т им. М. В. Ломоносова

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

Series: Классический университетский учебникMaterial type: Text

Text; Format: print ; Literary form: Not fiction Publication details: М. Едиториал УРСС 2004Availability: No items available :

35.

Дискретная математика для программистов [Учебник] Ф. А. Новиков

by Новиков, Федор Александрович.

Material type: Text

Text; Format: print Publication details: СПб. [и др. ] Питер 2002Availability: No items available :

36.

No cover image available

Элементы математической логики и теории множеств [учебное пособие для математических специальностей вузов]

by Вольвачев, Раймонд Трофимович.

Material type: Text

Text; Format: print ; Literary form: Not fiction Publication details: Минск Университетское 1986Availability: No items available :

37.

Курс математики для гуманитариев В. С. Пилиди

by Пилиди, Владимир Ставрович.

Edition: 2-е изд.Material type: Text

Text; Format: print ; Literary form: Not fiction Publication details: Москва Вузовская книга 2007Availability: No items available :

38.

Высшая математика для гуманитариев учебное пособие С. В. Мациевский ; Российский гос. ун-т им. Иммануила Канта

by Мациевский, Сергей Валентинович.

Material type: Text

Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Калининград Изд-во Рос. гос. ун-та им. И. Канта 2010Availability: No items available :

39.

Логические модели интеллектуальных информационных систем Ф. И. Андон, А. Е. Яшунин, В. А. Резниченко; Отв. ред. . И. В. Сергиенко; Нац. акад. наук Украины, Ин-т программных систем

by Андон, Филипп Илларионович | Яшунин, Александр Евгеньевич | Резниченко, Валерий Анатольевич.

Material type: Text

Text; Format: print ; Literary form: Not fiction Publication details: Киев Наукова думка 1999Availability: No items available :

40.

No cover image available

Вводный курс математической логики [учебное пособие] В. А. Успенский, Н. К. Верещагин, В. Е. Плиско

by Успенский, Владимир Андреевич, 1930-2018 | Верещагин, Николай Константинович, 1958- | Плиско, Валерий Егорович.

Edition: 2-е изд.Material type: Text

Text; Format: print ; Literary form: Not fiction Publication details: Москва Физматлит 2007Availability: No items available :

41.

Математика для гуманитариев Учебное пособие П. В. Грес; Отв. ред. В. И. Котюков

by Грес, Павел Власович.

Material type: Text

Text; Format: print ; Literary form: Not fiction Publication details: М. Юрайт 2000Availability: No items available :

42.

Дискретная математика учебное пособие Г. Г. Асеев, О. М. Абрамов, Д. Э. Ситников ; [отв. ред. Е. В. Бузаева]

by Асеев, Георгий Георгиевич | Абрамов, Олег Мартович | Ситников, Дмитрий Эдуардович | Бузаева, Е. В [edt].

Series: Высшее образование | УчебникиMaterial type: Text

Text; Format: print ; Literary form: Not fiction Publication details: Ростов-на-Дону [и др.] Феникс [и др.] 2003Availability: No items available :

43.

No cover image available

Математика в СССР за тридцать лет. 1917-1947 Сборник статей Под ред. А. Г. Куроша и др.

by Курош, Александр Геннадиевич, 1908-1971 [edt].

Material type: Text

Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва [и др.] ОГИЗ 1948Availability: No items available :

44.

Математика энциклопедия [гл. ред. Ю. В. Прохоров и др.]

by Прохоров, Юрий Васильевич, 1929- [edt].

Series: Золотой фондEdition: Репринтное изд. "Математического энциклопедического словаря" 1988 г.Material type: Text

Text; Format: print ; Nature of contents: biography

; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Большая российская энциклопедия 2003Availability: No items available :

45.

Конструктивная теория доказательств и нестандатрный анализ А. Г. Драгалин; [Редкол. : Г. Е. Минц (отв. ред. ) и др. ]

by Драгалин, Альберт Григорьевич, 1941-1998 | Минц, Г. Е [edt].

Material type: Text

Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. Едиториал УРСС 2003Availability: No items available :

46.

Дискретная математика [учебное пособие для студентов вузов, обучающихся по направлению подготовки бакалавров и магистров 550400 - "Телекоммуникации"] В. Г. Данилов, В. Л. Дубнов, А. Р. Лакерник, А. М. Райцин

by Данилов, Владимир Григорьевич | Дубнов, Владимир Львович | Лакерник, Александр Рафаилович | Райцин, Аркадий Михайлович.

Series: Учебное пособие для высших учебных заведенийMaterial type: Text

Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва Горячая линия - Телеком 2008Availability: No items available :

47.

Введение в математическую логику учебное пособие : [для студентов математических направлений университетов] В. М. Зюзьков ; Нац. исслед. Том. гос. ун-т

by Зюзьков, Валентин Михайлович | Томский государственный университет.

Material type: Text

Text; Format: electronic available online remote

; Literary form: Not fiction Publication details: Томск Издательский Дом Томского государственного университета 2017Online access: Click here to access online Availability: No items available :

48.

No cover image available

Задачи по логике пособие для студентов-математиков НГУ И. А. Лавров, Л. Л. Максимова ; Новосиб. гос. ун-т

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

Series: Material type: Text

Text; Format: print ; Literary form: Not fiction Publication details: Новосибирск [б. и.] 1970Availability: No items available :

49.

No cover image available

Задачи по информатике для подготовки к вступительному экзамену Ч. 1 методические указания для абитуриентов Ю. В. Фролова, В. В. Коробицын ; Омский гос. ун-т им. Ф. М. Достоевского, Фак. компьютерных наук

by Фролова, Юлия Владимировна кандидат физико-математических наук | Коробицын, Виктор Викторович.

Material type: Text

Text; Format: print ; Literary form: Not fiction Publication details: Омск [б. и.] 2006Availability: No items available :