Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

    • Your search returned 39 results.

    1.
    Математическая логика и теория алгоритмов [учебное пособие для вузов по специальности "Математика"] В. И. Игошин

    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
    2.
    C++ учебный курс Паоло Франка ; [пер. с англ. П. Бибиков]

    by Франка, Паоло.

    Edition: 2-е изд.Material type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Original language: English Publication details: Санкт-Петербург [и др.] Питер 2012Other title: C++ no experience required.Availability: No items available :
    Log in to add tags Add to cart
    3.
    Программирование. Математические основы, средства, теория Учебное пособие Святослав Лавров

    by Лавров, Святослав Сергеевич, 1923-2004.

    Series: МастерMaterial type: Text Text; Format: print ; Literary form: Not fiction Publication details: СПб. БХВ-Петербург 2001Availability: No items available :
    Log in to add tags Add to cart
    4.
    Дискретная математика и комбинаторика Джеймс А. Андерсон ; пер. с англ. М. М. Беловой ; под ред. С. С. Шкильняка, М. Р. Саит-Аметова

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

    Material type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Original language: English Publication details: М. [и др.] Вильямс 2004Other title: Discrete Mathematics with Combinatorics.Availability: No items available :
    Log in to add tags Add to cart
    5.
    Дискретная математика для инженера О. П. Кузнецов

    by Кузнецов, Олег Петрович.

    Series: Учебники для вузовEdition: Изд. 6-е, стер.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
    6.
    Параллельное программирование мультикомпьютеров Учебное пособие В. Э. Малышкин; Ярославский гос. ун-т им. П. Г. Демидова

    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
    7.
    Задачи и упражнения по дискретной математике Г. П. Гаврилов, А. А. Сапоженко

    by Гаврилов, Гарий Петрович, 1935-1999 | Сапоженко, Александр Антонович.

    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
    8.
    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
    9.
    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
    10.
    Практика программирования: Бейсик, Си, Паскаль Самоучитель Юлий Кетков, Александр Кетков; Гл. ред. Екатерина Кондукова

    by Кетков, Юлий Лазаревич | Кетков, Александр Ю | Кондукова, Екатерина Владимировна [ред.].

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: СПб. и др. БХВ-Петербург 2001Availability: No items available :
    Log in to add tags Add to cart
    11.
    Сложность вычислений Джон Э. Сэвидж; Пер. с англ. Е. П. Липатова, М. И. Гринчука; Под ред. О. М. Касим-Заде

    by Сэвидж, Джон Э.

    Material type: Text Text; Format: print ; Audience: Specialized; Language: Russian Original language: English Publication details: М. Факториал 1998Other title: The Complexity of Computing.Availability: No items available :
    Log in to add tags Add to cart
    12.
    Курс математической логики и теории вычислимости учебное пособие : [для студентов по направлению подготовки "Компьютерные и информационные науки", "Информатика и вычислительная техника" и др.] А. С. Герасимов

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

    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
    15.
    Математическая логика [Учебное пособие для математических специальностей педагогических институтов] Л. А. Латотин, Ю. А. Макаренков, В. В. Николаева, А. А. Столяр; Под общ. ред. А. А. Столяра

    by Столяр, Абрам Аронович [авт.-ред.] | Латотин, Леонид Александрович | Макаренков, Юрий Алексеевич | Николаева, Валентина Владимировна.

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Минск Вышэйшая школа 1991Availability: No items available :
    Log in to add tags Add to cart
    16.
    Вычислимо перечислимые множества и степени Изучение вычислимых функций и вычислимо перечислимых множеств Роберт И. Соар; Пер. с англ. под ред. М. М. Арсланова

    by Соар, Роберт И | Арсланов, М. М [ред.-пер.].

    Material type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Original language: English Publication details: Казань Казанское математическое общество 2000Other title: Recursively Enumerable Sets and Degrees: A Study of Computable Functions and Computably Generated Sets.Availability: No items available :
    Log in to add tags Add to cart
    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 :
    Log in to add tags Add to cart
    18.
    Дискретная математика для инженера О. П. Кузнецов

    by Кузнецов, Олег Петрович.

    Series: Учебники для вузовEdition: Изд. 3-е, перераб. и доп.Material type: Text Text; Format: print Language: Russian Publication details: СПб. [и др.] Лань 2004Availability: No items available :
    Log in to add tags Add to cart
    19.
    C++ учебный курс : [программирование : осваиваем самый популярный язык объектно-ориентированного программирования] П. Франка ; пер. с англ. П. Бибикова

    by Франка, Паоло.

    Series: Учебный курсMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Original language: English Publication details: Санкт-Петербург Питер [и др.] 2005Availability: No items available :
    Log in to add tags Add to cart
    20.
    No cover image available
    Математические основания информатики Твер. гос. ун-т Ч. 1

    by Столбоушкин, А. П | Тайцлин, М. А.

    Material type: Text Text; Format: print Publication details: Тверь 1998Availability: No items available :
    Log in to add tags Add to cart
    21.
    Задачи по теории множеств, математической логике и теории алгоритмов И. А. Лавров, Л. Л. Максимова

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

    Edition: 5-е изд.Material type: Text Text; Format: print Publication details: Москва Физматлит [и др.] 2002Availability: No items available :
    Log in to add tags Add to cart
    22.
    C++: учебный курс 26 уроков для освоения языка П. Франка; Пер. с англ. П. Бибикова

    by Франка, Паоло.

    Series: Учебный курсMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Original language: English Publication details: Санкт-Петербург [и др.] Питер 2001Availability: No items available :
    Log in to add tags Add to cart
    23.
    Лекции по дискретной математике учебное пособие М. И. Дехтярь

    by Дехтярь, Михаил Иосифович.

    Series: Основы информационных технологийMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва Интернет-Ун-т информ. технологий [и др.] 2009Availability: No items available :
    Log in to add tags Add to cart
    24.
    Математическая логика учебное пособие Ю. Л. Ершов, Е. А. Палютин

    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
    25.
    26.
    Рекурсивно перечислимые множества и сводимости табличного типа

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

    Material type: Text Text; Format: print ; Audience: Specialized; Publication details: М. Наука. Физматлит 1998Availability: No items available :
    Log in to add tags Add to cart
    27.
    No cover image available
    Математические основания информатики Твер. гос. ун-т Ч. 2

    by Столбоушкин, А. П | Тайцлин, М. А.

    Material type: Text Text; Format: print Publication details: Тверь 1998Availability: No items available :
    Log in to add tags Add to cart
    28.
    Интуиция, финитизм и рекурсивное мышление В. В. Целищев ; Ин-т философии и права, Сиб. отд-ние РАН

    by Целищев, Виталий Валентинович.

    Series: Новая философия математикиMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Новосибирск Параллель 2007Availability: No items available :
    Log in to add tags Add to cart
    29.
    Лекции по дискретной математике [учебное пособие Ю. В. Капитонова, С. Л. Кривой, А. А. Летичевский, Г. М. Луцкий]

    by Капитонова, Юлия Владимировна | Кривой, Сергей Лукьянович | Летичевский, Александр Адольфович | Луцкий, Георгий Михайлович.

    Material type: Text Text; Format: print Language: Russian Publication details: СПб. БХВ-Петербург 2004Availability: No items available :
    Log in to add tags Add to cart
    30.
    31.
    Избранные труды Т. 2 А. А. Марков ; сост. и общ. ред. Н. М. Нагорного

    by Марков, Андрей Андреевич младший, 1903-1979 | Нагорный, Николай Макарович [com, edt].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Изд-во МЦНМО 2003Other title: Теория алгоритмов и конструктивная математика, математическая логика, информатика и смежные вопросы.Availability: No items available :
    Log in to add tags Add to cart
    32.
    Дискретная математика для инженера Электронный ресурс О. П. Кузнецов

    by Кузнецов, Олег Петрович.

    Series: Учебники для вузовEdition: Изд. 6-е, стер.Material type: Text Text; Format: electronic available online remote Language: Russian Publication details: Санкт-Петербург [и др.] Лань 2009Online access: ЭБС Лань Доступ к полному тексту документа после регистрации пользователя на сайте http://e.lanbook.com/ в локальной сети ТГУ Availability: No items available :
    Log in to add tags Add to cart
    33.
    No cover image available
    Об алгоритмах Матиясевича А. И. Забарина, Г. Г. Пестов

    by Забарина, Анна Ивановна | Пестов, Герман Гаврилович, 1932-2015.

    Source: Всероссийская конференция по математике и механике : тезисы докладов, 22-25 сентября 2008 годаMaterial type: Article Article; Format: print festschrift ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    Log in to add tags Add to cart
    34.
    Теория алгоритмов учебник : [для студентов вузов, обучающихся по специальности 050202.65 (030100) - информатика] Д. Ш. Матрос, Г. Б. Поднебесова

    by Матрос, Дмитрий Шаевич, 1946-2011 | Поднебесова, Галина Борисовна.

    Series: Педагогическое образование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
    35.
    No cover image available
    Лекции по математической логике и теории алгоритмов Электронный ресурс учебно-методический комплекс Агибалов Г. П. ; Том. гос. ун-т, Ин-т дистанционного образования

    by Агибалов, Геннадий Петрович, 1939-2020 | Томский государственный университет Институт дистанционного образования.

    Material type: Computer file Computer file; Format: electronic available online remote Publication details: Томск ИДО ТГУ 2007Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    36.
    Задачи и упражнения по дискретной математике Г. П. Гаврилов, А. А. Сапоженко

    by Гаврилов, Гарий Петрович, 1935-1999 | Сапоженко, Александр Антонович.

    Edition: Изд. 3-е, перераб.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
    37.
    Структуры данных в Python: начальный курс [для всех, кто изучает язык программирования Python] Дональд Р. Шихи ; пер. с англ. А. В. Снастина

    by Шихи, Дональд Р.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва ДМК Пресс 2022Other title: A First Course on Data Structures in Python.Availability: No items available :
    Log in to add tags Add to cart
    38.
    Основы теории дискретных логических и вычислительных устройств Шоломов Л. А.

    by Шоломов Л. А.

    Edition: 3-е изд., испр.Material type: Text Text; Format: electronic ; Audience: General; Language: Russian Publication details: Санкт-Петербург Лань 2022Online access: Click here to access online | Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    39.
    No cover image available
    Мозг, машина и математика М. Арбиб ; пер. с англ. А. Д. Коршунова ; под ред. М. И. Кратко

    by Арбиб, Майкл А | Кратко, М. И [edt].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: English Publication details: Москва Наука 1968Availability: No items available :
    Log in to add tags Add to cart