Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

    • Your search returned 13 results.

    1.
    No cover image available
    Методика доказательства теорем для формальной системы ERM-модели А. М. Бабанов, А. С. Скачкова

    by Бабанов, Алексей Михайлович | Скачкова, Анна Сергеевна | Томский государственный университет Факультет информатики Кафедра программной инженерии.

    Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    2.
    Системы искусственного интеллекта монография Остроух А. В.,Суркова Н. Е.

    by Остроух А. В | Суркова Н. Е.

    Edition: 3-е изд., стер.Material type: Text Text; Format: electronic ; Audience: General; Language: Russian Publication details: Санкт-Петербург Лань 2023Online access: Click here to access online | Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    3.
    Системы искусственного интеллекта монография Остроух А. В.,Суркова Н. Е.

    by Остроух А. В | Суркова Н. Е.

    Edition: 4-е изд., стер.Material type: Text Text; Format: electronic ; Audience: General; Language: Russian Publication details: Санкт-Петербург Лань 2024Online access: Click here to access online | Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    4.
    Теория логического вывода Ганичева А. В.

    by Ганичева А. В.

    Material type: Text Text; Format: electronic ; Audience: General; Language: Russian Publication details: Санкт-Петербург Лань 2021Online access: Click here to access online | Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    5.
    6.
    Курс математической логики и теории вычислимости учебное пособие : [для студентов по направлению подготовки "Компьютерные и информационные науки", "Информатика и вычислительная техника" и др.] А. С. Герасимов

    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
    7.
    Лекции по математической логике Ч. 1 [учебное пособие для математических направлений и специальностей университетов] В. А. Романович ; Том. гос. ун-т

    by Романович, Владимир Александрович | Томский государственный университет.

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Томск Том. гос. ун-т 2005Availability: No items available :
    Log in to add tags Add to cart
    8.
    Дискретная математика и математическая логика [учебник для вузов по специальности "Прикладная информатика (по областям)" и другим экономическим специальностям] Ю. А. Аляев, С. Ф. Тюрин

    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
    9.
    10.
    Лекции по искусственному интеллекту Г. С. Осипов ; Российская акад. наук, Ин-т системного анализа

    by Осипов, Геннадий Семенович.

    Series: Науки об искусственномEdition: Изд. 2-е, испр. и доп.Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Publication details: Москва ЛИБРОКОМ 2013Availability: No items available :
    Log in to add tags Add to cart
    11.
    Математическая логика и теория алгоритмов [учебное пособие для студентов по специальностям "Компьютерная безопасность" и "Вычислительные машины, комплексы, системы и сети"] А. К. Гуц

    by Гуц, Александр Константинович, 1947-.

    Edition: Изд. 3-е, испр.Material type: Text Text; Format: print ; Nature of contents: biography; Literary form: Not fiction Publication details: Москва Ленанд 2016Availability: No items available :
    Log in to add tags Add to cart
    12.
    Математическая логика и теория алгоритмов А. К. Гуц

    by Гуц, Александр Константинович, 1947-.

    Edition: Изд. 2-е, доп.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Москва ЛИБРОКОМ 2009Availability: No items available :
    Log in to add tags Add to cart
    13.
    Лекции по дискретной математике [учебное пособие Ю. В. Капитонова, С. Л. Кривой, А. А. Летичевский, Г. М. Луцкий]

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

    Material type: Text Text; Format: print Language: Russian Publication details: СПб. БХВ-Петербург 2004Availability: No items available :
    Log in to add tags Add to cart