Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

    • Your search returned 26 results.

    1.
    Задачи по теории множеств, математической логике и теории алгоритмов И. А. Лавров, Л. Л. Максимова

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

    Edition: Изд. 5-е, испр.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Москва Физматлит 2009Availability: No items available :
    Log in to add tags Add to cart
    2.
    No cover image available
    Место математического анализа как науки в подготовке специалистов на ММФ ТГУ [для студентов первого курса механико-математического факультета отв. за вып. И. А. Александров и др.] ; Том. гос. ун-т, Мех. -мат. фак. , Каф. мат. анализа

    by Александров, Игорь Александрович математик, 1932-2017 [mon] | Томский государственный университет Механико-математический факультет Кафедра математического анализа.

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Томск [ТГУ] 2008Availability: No items available :
    Log in to add tags Add to cart
    3.
    Математическая логика и теория алгоритмов [учебное пособие для вузов по специальности "Математика"] В. И. Игошин

    by Игошин, Владимир Иванович.

    Series: Учебное пособие | Высшее профессиональное образованиеEdition: 4-е изд., стер.Material type: Text Text; Format: print Language: Russian Publication details: Москва Академия 2010Availability: No items available :
    Log in to add tags Add to cart
    4.
    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
    5.
    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 :
    Log in to add tags Add to cart
    6.
    Генетические алгоритмы учебное пособие : [для студентов вузов по направлениям "Информатика и вычислительная техника", "Информационные системы"] Л. А. Гладков, В. В. Курейчик, В. М. Курейчик ; под ред. В. М. Курейчика

    by Гладков, Леонид Анатольевич | Курейчик, Владимир Викторович | Курейчик, Виктор Михайлович.

    Edition: Изд. 2-е, испр. и доп.Material type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: М. Физматлит 2006Availability: No items available :
    Log in to add tags Add to cart
    7.
    Логические модели интеллектуальных информационных систем Ф. И. Андон, А. Е. Яшунин, В. А. Резниченко; Отв. ред. . И. В. Сергиенко; Нац. акад. наук Украины, Ин-т программных систем

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

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Киев Наукова думка 1999Availability: No items available :
    Log in to add tags Add to cart
    8.
    9.
    Парадоксы теории множеств И. В. Ященко

    by Ященко, Иван Валериевич.

    Series: Библиотека "Математическое просвещение"Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: М. Изд-во Моск. центра непрерыв. мат. образования 2002Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    10.
    No cover image available
    Вопросы теории множеств и теории функций А. А. Ляпунов; Редкол. : С. Л. Соболев (гл. ред. ) и др. ; Предисл. С. Л. Соболева, Е. А. Щеголькова; АН СССР. Сибирское отделение. Ин-т математики

    by Ляпунов, Алексей Андреевич, 1911-1973 | Соболев, Сергей Львович, 1908-1989 [гл. ред.].

    Material type: Text Text; Format: print ; Audience: Specialized; Publication details: М. Наука 1979Availability: No items available :
    Log in to add tags Add to cart
    11.
    12.
    Математическая логика [Учебное пособие для математических специальностей вузов] А. Н. Колмогоров, А. Г. Драгалин; Моск. гос. ун-т им. М. В. Ломоносова

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

    Series: Классический университетский учебникMaterial type: Text Text; Format: print ; Literary form: Not fiction Publication details: М. Едиториал УРСС 2004Availability: No items available :
    Log in to add tags Add to cart
    13.
    Собрание научных трудов Т. 11 в 12 т. Николай Николаевич Боголюбов ; Российская акад. наук ; [ред.-сост. А. Д. Суханов]

    by Боголюбов, Николай Николаевич, 1909-1992 | Суханов, Александр Дмитриевич [edt, com] | Логунов, Анатолий Алексеевич, 1926-2015 | Оксак, Анатолий Иванович | Тодоров, Иван Тодорович.

    Series: Классики наукиEdition: [Науч. изд.]Material type: Text Text; Format: print ; Nature of contents: biography; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Наука 2008Other title: Квантовая теория [в 4 т.] | Collection of scientific works in twelve volumes.Availability: No items available :
    Log in to add tags Add to cart
    14.
    No cover image available
    Определение и доказательство в курсе высшей математики для слушателей факультетов повышения квалификации и преподавателей математики вузов М. Р. Куваев

    by Куваев, Михаил Романович, 1923-2001.

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Томск Издательство Томского университета 1978Availability: No items available :
    Log in to add tags Add to cart
    15.
    Генетические алгоритмы учебник : [для студентов вузов по направлению 230100 "Информатика и вычислительная техника", специальности 230104 "Системы автоматизированного проектирования"] Л. А. Гладков, В. В. Курейчик, В. М. Курейчик ; под ред. В. М. Курейчика

    by Гладков, Леонид Анатольевич | Курейчик, Владимир Викторович | Курейчик, Виктор Михайлович.

    Edition: Изд. 2-е, испр. и доп.Material type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва Физматлит 2010Availability: No items available :
    Log in to add tags Add to cart
    16.
    Задачи по теории множеств, математической логике и теории алгоритмов И. А. Лавров, Л. Л. Максимова

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

    Edition: 4-е изд.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: М. Физматлит 2001Availability: No items available :
    Log in to add tags Add to cart
    17.
    No cover image available
    Задачи по теории множеств, математической логике и теории алгоритмов И. А. Лавров, Л. Л. Максимова

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

    Edition: 2-е изд.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: М. Наука, Главная редакция физико-математической литературы 1984Availability: No items available :
    Log in to add tags Add to cart
    18.
    Моделирование на уроках геометрии Теория и методические рекомендации В. Н. Костицын

    by Костицын, Валерий Николаевич.

    Series: Библиотека учителя математикиMaterial type: Text Text; Format: print ; Literary form: Not fiction Publication details: М. Владос 2000Availability: No items available :
    Log in to add tags Add to cart
    19.
    Основания теории множеств А. А. Френкель, И. Бар-Хиллел ; пер. с англ. Ю. А. Гастева ; под ред. и со вступ. ст. А. С. Есенина-Вольпина

    by Френкель, Абрахам Адольф | Бар-Хиллел, Иегошуа | Есенин-Вольпин, Александр Сергеевич [edt].

    Series: Физико-математическое наследиеEdition: Изд. 3-еMaterial type: Text Text; Format: print Language: Russian Publication details: Москва ЛИБРОКОМ 2010Availability: No items available :
    Log in to add tags Add to cart
    20.
    Математическая логика дополнительные главы : [учебное пособие для студентов математических специальностей вузов] А. Н. Колмогоров, А. Г. Драгалин ; Моск. гос. ун-т им. М. В. Ломоносова ; [редкол.: с. Г. Е. Минц (отв. ред.) и др.]

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

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

    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
    22.
    Математическая логика Р. Л. Гудстейн ; пер. с англ. В. С. Чернявского ; под ред. и с предисл. С. А. Яновской

    by Гудстейн, Рейбен Луис | Яновская, Софья Александровна, 1896-1966 [edt].

    Series: Физико-математическое наследиеEdition: Изд. 2-еMaterial type: Text Text; Format: print ; Nature of contents: biography; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: English Publication details: Москва ЛИБРОКОМ 2010Other title: Mathematical Logic.Availability: No items available :
    Log in to add tags Add to cart
    23.
    Конструктивная теория доказательств и нестандатрный анализ А. Г. Драгалин; [Редкол. : Г. Е. Минц (отв. ред. ) и др. ]

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

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. Едиториал УРСС 2003Availability: No items available :
    Log in to add tags Add to cart
    24.
    25.
    26.
    No cover image available
    Applying logic to philosophical theology: a formal deductive inference of affirming God's existence from assuming the a-priori-ness of knowledge in the Sigma formal axiomatic theory V. О. Lobovikov

    by Lobovikov, Vladimir О.

    Source: Вестник Томского государственного университета. Философия. Социология. ПолитологияMaterial type: Article Article; Format: electronic available online remote Other title: Приложение логики к философской теологии: формальный дедуктивный вывод утверждения о бытии Бога из допущения априорности знания в формальной аксиоматической теории Сигма.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart