Scientific Library of Tomsk State University

   E-catalog        

Refine your search


База знаний по целевым капиталам

  •    Эндаумент
       Фандрайзинг
       Нормативные документы

    • Your search returned 25 results.

    1.
    2.
    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 :
    Log in to add tags Add to cart
    3.
    Математическая логика С. К. Клини ; пер. с англ. Ю. А. Гастева ; под ред. Г. Е. Минца

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

    Edition: Изд. 2-е, стереотип.Material type: Text Text; Format: print Language: Russian Original language: English Publication details: Москва Едиториал УРСС 2005Availability: No items available :
    Log in to add tags Add to cart
    4.
    Математическая логика С. К. Клини ; пер. с англ. Ю. А. Гастева ; под ред. Г. Е. Минца

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

    Edition: Изд. 3-е, стереотип.Material type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Original language: English Publication details: М. Едиториал УРСС 2007Availability: No items available :
    Log in to add tags Add to cart
    5.
    Математические принципы нечетной логики Новак Вилем, Перфильева Ирина, Мочкорж Иржи ; пер. с англ. А. Н. Аверкина

    by Новак, Вилем | Перфильева, Ирина | Мочкорж, Иржи.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. Физматлит 2006Availability: No items available :
    Log in to add tags Add to cart
    6.
    No cover image available
    Теория моделей Г. Кейслер, Ч. Ч. Чэн; Пер. с англ. С. С. Гончарова и др. ; Под ред. Ю. Л. Ершова, А. Д. Тайманова

    by Кейслер, Г. Дж | Чэн, Чень-чунь | Ершов, Юрий Леонидович, 1940- [ред.] | Тайманов, Асан Дабсович, 1917-1990 [ред.].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: English Publication details: М. Мир 1977Other title: Model theory.Availability: No items available :
    Log in to add tags Add to cart
    7.
    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 :
    Log in to add tags Add to cart
    8.
    Лекции по математике Т. 6 В. Босс

    by Босс, Валерий, 1944-.

    Edition: Изд. 3-е, испр. и доп.Material type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва ЛИБРОКОМ 2013Other title: Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Геделя.Availability: No items available :
    Log in to add tags Add to cart
    9.
    No cover image available
    10.
    No cover image available
    Математическая логика Учебное пособие для математических специальностей вузов Ю. Л. Ершов, Е. А, Палютин

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

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: М. Наука. Физматлит 1979Availability: No items available :
    Log in to add tags Add to cart
    11.
    12.
    13.
    14.
    Лекции по математической логике и теории алгоритмов Ч. 2 Н. К. Верещагин, А. Шень

    by Верещагин, Николай Константинович, 1958- | Шень, Александр Ханиевич, 1958-.

    Series: Современные лекционные курсыMaterial type: Text Text; Format: print ; Literary form: Not fiction Publication details: М. МЦНМО 2000Other title: Языки и исчисления.Availability: No items available :
    Log in to add tags Add to cart
    15.
    No cover image available
    Математическая логика Дж. Шенфилд; Пер. с англ. И. А. Лаврова, И. А. Мальцева; Под ред. Ю. Л. Ершова

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

    Series: Математическая логика и основания математикиMaterial type: Text Text; Format: print Language: Russian Original language: English Publication details: М. Наука, Главная редакция физико-математической литературы 1975Availability: No items available :
    Log in to add tags Add to cart
    16.
    Математическая логика учебное пособие Ю. Л. Ершов, Е. А. Палютин

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

    Series: Учебники для вузовEdition: Изд. 3-е, стереотип.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: СПб. [и др.] Лань 2004Availability: No items available :
    Log in to add tags Add to cart
    17.
    Теория моделей в Казахстане сборник научных работ, посвященный памяти А. Д. Тайманова под ред. М. М. Еримбетова

    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 :
    Log in to add tags Add to cart
    18.
    Лекции по математике Т. 6 [учебное пособие] В. Босс

    by Босс, Валерий, 1944-.

    Edition: Изд. стер.Material type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва ЛИБРОКОМ 2017Other title: Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Геделя.Availability: No items available :
    Log in to add tags Add to cart
    19.
    No cover image available
    Теория эксперимента В. В. Налимов

    by Налимов, Василий Васильевич, 1910-1997.

    Series: Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. Наука, Главная редакция физико-математической литературы 1971Availability: No items available :
    Log in to add tags Add to cart
    20.
    No cover image available
    Математические труды [журнал] Ин-т математики им. С. Л. Соболева СО РАН

    Material type: Continuing resource Continuing resource; Format: print available online remote; Type of continuing resource: periodical Publication details: Новосибирск Издательство Института математики им. С.Л. Соболева 2001-2017Online access: Доступ к электронной версии журнала в сети ТГУ через Электронную библиотеку eLIBRARY.RU Availability: No items available :
    Log in to add tags Add to cart
    21.
    Логика без экзистенциальных предпосылок Ю. Г. Гладких ; [науч. ред. Е. К. Войшвилло, В. А. Бочаров]

    by Гладких, Юрий Григорьевич | Войшвилло, Евгений Казимирович, 1913-2008 [edt] | Бочаров, Вячеслав Александрович, 1937-2012 [edt].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Издательство Московского университета 2006Availability: No items available :
    Log in to add tags Add to cart
    22.
    No cover image available
    ???-регулярные фильтры С. Р. Хусаинова

    by Хусаинова, С. Р.

    Source: Естественные науки: Региональная научно-практическая конференция: Тезисы докладов, Томск, декабрь 1994 г.Material type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    Log in to add tags Add to cart
    23.
    No cover image available
    Конструктивизм в логике и математике (Витгенштейн против Геделя: некоторые современные прочтения) К. А. Родин

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

    Source: Вестник Томского государственного университета. Философия. Социология. ПолитологияMaterial type: Article Article; Format: electronic available online remote Other title: Constructivism in logic and mathematics (Wittgenstein V. Gödel: some selected contemporary readings).Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    24.
    No cover image available
    Справочная книга по математической логике Электронный ресурс Ч. 1 в 4 ч. под ред. Дж. Барвайса

    by Барвайс, Дж | Кейслер, Х. Дж | Эклоф, П.

    Material type: Computer file Computer file; Format: electronic available online remote; Audience: Specialized; Publication details: [Б. м. б. и. 200-?]Other title: Теория моделей / Дж. Барвайс, Х. Дж. Кейслер, П. Эклоф [и др.] ; пер. с англ. С. С. Гончарова [и др.] ; под ред. Ю. Л. Ершова, Е. А. Палютина, А. Д. Тайманова.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    25.
    No cover image available
    Расстояние между формулами пятизначной логики Лукасевича и мера недостоверности высказываний экспертов в кластеризации баз знаний Е. С. Кабанова, А. А. Викентьев

    by Кабанова, Елизавета Сергеевна | Викентьев, Александр Александрович.

    Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Other title: Distance between formulas of the five-valued Lukasiewicz logic and unreliability measure of expert statements on the clustering of knowledge databases.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart