Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

    • Your search returned 19 results.

    1.
    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 :
    Log in to add tags Add to cart
    2.
    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
    3.
    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
    4.
    Математическая логика курс лекций : [учебное пособие для студентов вузов по специальности 032100 "Математика"] И. Л. Тимофеева

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

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

    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
    6.
    Лекции и задачи по дискретной математике (от теории к алгоритмам) [учебное пособие для студентов вузов, обучающихся по направлению "Прикладная математика и физика"] А. Н. Ярыгин, О. Н. Ярыгин ; [науч. ред. А. В. Флегонтов]

    by Ярыгин, Анатолий Николаевич | Ярыгин, Олег Николаевич | Флегонтов, Александр Владимирович [edt].

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Старый Оскол ТНТ 2017Availability: No items available :
    Log in to add tags Add to cart
    7.
    8.
    No cover image available
    Задачи по логике пособие для студентов-математиков НГУ И. А. Лавров, Л. Л. Максимова ; Новосиб. гос. ун-т

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

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

    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
    10.
    Задачи по теории множеств, математической логике и теории алгоритмов И. А. Лавров, Л. Л. Максимова

    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
    11.
    Математическая логика дополнительные главы : [учебное пособие для студентов математических специальностей вузов] А. Н. Колмогоров, А. Г. Драгалин ; Моск. гос. ун-т им. М. В. Ломоносова ; [редкол.: с. Г. Е. Минц (отв. ред.) и др.]

    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
    12.
    13.
    Курс математической логики и теории вычислимости учебное пособие : [для студентов по направлению подготовки "Компьютерные и информационные науки", "Информатика и вычислительная техника" и др.] А. С. Герасимов

    by Герасимов, Александр Сергеевич.

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

    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
    15.
    Дискретная математика и математическая логика [учебник для вузов по специальности "Прикладная информатика (по областям)" и другим экономическим специальностям] Ю. А. Аляев, С. Ф. Тюрин

    by Аляев, Юрий Александрович | Тюрин, Сергей Феофентович.

    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
    16.
    Проблема логического обоснования дедуктивно-математического знания от античности до XX века логико-математический и философский аспекты Б. В. Бирюков, Л. Г. Бирюкова

    by Бирюков, Борис Владимирович, 1922-2014 | Бирюкова, Любовь Гавриловна.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Ленанд 2015Availability: No items available :
    Log in to add tags Add to cart
    17.
    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
    18.
    Математическая логика [учебное пособие по техническим и естественно-научным специальностям] И. А. Лавров ; под ред. Л. Л. Максимовой

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

    Series: Университетский учебник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
    19.
    Дискретная математика и комбинаторика Джеймс А. Андерсон ; пер. с англ. М. М. Беловой ; под ред. С. С. Шкильняка, М. Р. Саит-Аметова

    by Андерсон, Джеймс А | Шкильняк, С. С [edt] | Саит-Аметов, М. Р [edt].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: English Publication details: М. [и др.] Вильямс 2003Other title: Discrete Mathematics with Combinatorics.Availability: No items available :
    Log in to add tags Add to cart