Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

    • Your search returned 67 results.

    1.
    Лекции по математической логике Ч. 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
    2.
    Программирование Т. 2 учебник : [для студентов вузов, обучающихся по направлению 050100 "Педагогическое образование"] : в 2 т. [Э. А. Нигматулина, Н. И. Пак, М. А. Сокольская, Т. А. Степанова] ; под ред. Н. И. Пака

    by Нигматулина, Эльмира Альфредовна | Пак, Николай Инсебович | Сокольская, Мария Александровна | Степанова, Татьяна Анатольевна.

    Series: Бакалавриат | Высшее профессиональное образованиеMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва Академия 2013Availability: 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.
    5.
    Практикум по программированию на С++ [учебное пособие] Е. Л. Романов ; М-во образования Рос. Федерации, Новосиб. гос. техн. ун-т

    by Романов, Евгений Леонидович.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: СПб. [и др.] БХВ-Петербург [и др.] 2004Availability: No items available :
    Log in to add tags Add to cart
    6.
    7.
    Искусственный интеллект: применение в химии [Сборник статей] Д. Смит, Ч. Риз, Дж. Стюарт и др. ; Ред. Т. Пирс, Б. Хони; Перевод с англ. А. Ю. Батыря, В. Н. Петрова; Под ред. В. Л. Стефанюка

    by Пирс, Т [ред.] | Стефанюк, В. Л [ред.] | Хони, Б [ред.] | Смит, Д | Риз, Ч | Стюарт, Дж.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. Мир 1988Other title: Artificial intelligence applications in chemistry.Availability: No items available :
    Log in to add tags Add to cart
    8.
    Введение в информатику: сборник задач Структурированное собрание упражнений с образцами решений Манфред Брой, Бернхард Румпе; Пер. с нем. Н. П. Трифонова, В. И. Громыко; Под ред. Л. Н. Королева

    by Брой, Манфред | Румпе, Бернхард.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: German Publication details: Москва Научный мир [и др.] 2000Other title: Uebungen zur Einfuhrung in die Informatik.Availability: No items available :
    Log in to add tags Add to cart
    9.
    Реляционный язык пролог и его применение Дж. Малпас; Перевод с англ. А. А. Титова; Под ред. В. Н. Соболева

    by Малпас, Джон Р | Соболев, В. Н [редактор] | Титов, А. А [переводчик].

    Material type: Text Text; Format: print Publication details: М. Наука 1990Availability: No items available :
    Log in to add tags Add to cart
    10.
    Relational data mining edited by Saso Dzeroski, Nada Lavrac

    by Dzeroski, Saso [edt] | Lavrač, Nada [edt].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Berlin [a. o.] Springer 2001Availability: No items available :
    Log in to add tags Add to cart
    11.
    Practical aspects of declarative languages third international symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001 : proceedings edited by I. V. Ramakrishnan

    by Ramakrishnan, I. V [edt].

    Series: Lecture notes in computer science / ed. by G. Goos, J. Hartmanis and J. van LeeuwenMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Berlin [a. o.] Springer 2001Availability: No items available :
    Log in to add tags Add to cart
    12.
    Нейронные сети: распознавание, управление, принятие решений А. Б. Барский

    by Барский, Аркадий Бенционович.

    Series: Прикладные информационные технологии / гл. ред. сер. С. В. ЧеремныхMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. Финансы и статистика 2004Availability: No items available :
    Log in to add tags Add to cart
    13.
    14.
    15.
    16.
    No cover image available
    Логическое программирование на языке Visual Prolog учебное пособие [сост. В. В. Андреева] ; Том. гос. ун-т, Фак. прикладной математики и кибернетики

    by Андреева, Валентина Валерьевна [com] | Томский государственный университет Факультет прикладной математики и кибернетики.

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Томск [б. и.] 2013Online access: ЭБС Лань Доступ к полному тексту документа после регистрации пользователя на сайте http://e.lanbook.com/ в локальной сети ТГУ Availability: No items available :
    Log in to add tags Add to cart
    17.
    18.
    Введение в логическое программирование Пер. с англ. М. В. Захарьящева; Под ред. Ю. И. Янова

    by Хоггер, Кристофер Джон.

    Material type: Text Text; Format: print Language: Russian Original language: English Publication details: М. Мир 1988Other title: Introduction to logic programming.Availability: No items available :
    Log in to add tags Add to cart
    19.
    Графы и алгоритмы. Структуры данных. Модели вычислений [учебник по специальности 010200 "Прикладная математика и информатика" и по направлению 510200 "Прикладная математика и информатика"] В. Е. Алексеев, В. А. Таланов

    by Алексеев, Владимир Евгеньевич | Таланов, Владимир Александрович.

    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
    20.
    21.
    Практикум по информатике [учебное пособие для студентов высших учебных заведений] А. В. Могилев, Н. И. Пак, Е. К. Хеннер ; под ред. Е. К. Хеннера

    by Могилев, Александр Владимирович | Пак, Николай Инсебович | Хеннер, Евгений Карлович, 1946-.

    Series: Высшее образованиеMaterial type: Text Text; Format: print Publication details: М. Академия 2002Availability: No items available :
    Log in to add tags Add to cart
    22.
    Параллельные информационные технологии учебное пособие А. Б. Барский

    by Барский, Аркадий Бенционович.

    Series: Основы информационных технологийMaterial type: Text Text; Format: print ; Literary form: Not fiction Publication details: М. Интернет-Университет Информационных Технологий [и др.] 2007Availability: No items available :
    Log in to add tags Add to cart
    23.
    Компьютерное моделирование логических процессов архитектура и язык решателя задач А. С. Подколзин

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

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: М Физматлит 2008Availability: No items available :
    Log in to add tags Add to cart
    24.
    Достоверный и правдоподобный вывод в интеллектуальных системах В. Н. Вагин, Е. Ю. Головина, А. А. Загорянская, М. В. Фомина ; под ред. В. Н. Вагина, Д. А. Поспелова

    by Вагин, Вадим Николаевич | Головина, Елена Юрьевна | Загорянская, Анастасия Анатольевна | Фомина, Марина Владимировна | Поспелов, Дмитрий Александрович [edt].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. Физматлит 2004Availability: No items available :
    Log in to add tags Add to cart
    25.
    Логические нейронные сети учебное пособие А. Б. Барский

    by Барский, Аркадий Бенционович.

    Series: Основы информационных технологийMaterial type: Text Text; Format: print Language: Russian Publication details: Москва Интернет-Ун-т информ. технологий 2007Availability: No items available :
    Log in to add tags Add to cart
    26.
    Искусство программирования на языке Пролог Леон Стерлинг, Эгуд Шапиро; Пер. с англ. С. Ф. Сопрунова, Л. В. Шабанова; Под ред. Ю. Г. Дадаева

    by Стерлинг, Леон | Шапиро, Эгуд.

    Material type: Text Text; Format: print Language: Russian Original language: English Publication details: М. Мир 1990Availability: No items available :
    Log in to add tags Add to cart
    27.
    28.
    Логическое программирование и базы данных С. Чери, Г. Готлоб, Л. Танка; Пер. с англ. под ред. Л. А. Калиниченко

    by Чери, Стефано | Готлоб, Георг | Танка, Летиция | Калиниченко, Л. А [редактор].

    Material type: Text Text; Format: print Language: Russian Original language: English Publication details: М. Мир 1992Availability: No items available :
    Log in to add tags Add to cart
    29.
    Теория и практика языков программирования [учебник по направлению "Информатика и вычислительная техника"] С. А. Орлов

    by Орлов, Сергей Александрович доктор техн. наук.

    Series: Учебник для вузов | Стандарт третьего поколенияEdition: 2-е изд.Material type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Санкт-Петербург [и др.] Питер 2017Availability: No items available :
    Log in to add tags Add to cart
    30.
    Искусственный интеллект с примерами на Python создание приложений искусственного интеллекта с помощью Python для взаимодействия с окружающим миром Пратик Джоши ; пер. с англ. А. Г. Гузикевича ; под ред. В. Р. Гинзбурга

    by Джоши, Пратик | Гинзбург, В. Р [edt].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: English Publication details: Санкт-Петербург [и др.] Диалектика 2019Availability: No items available :
    Log in to add tags Add to cart
    31.
    Математическая логика и теория алгоритмов А. К. Гуц

    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
    32.
    33.
    No cover image available
    34.
    Язык программирования Лого В. П. Дьяконов

    by Дьяконов, Владимир Павлович.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. Радио и связь 1991Availability: No items available :
    Log in to add tags Add to cart
    35.
    36.
    Математическая логика в программировании Сборник статей : Пер. с англ. Под ред. М. В. Захарьящева, Ю. И. Янова

    by Захарьящев, М. В [edt] | Янов, Ю. И [edt].

    Series: Математическое обеспечение ЭВМMaterial type: Text Text; Format: print Language: Russian Original language: English Publication details: М. Мир 1991Availability: No items available :
    Log in to add tags Add to cart
    37.
    Искусственный интеллект и Пролог на микроЭВМ Дж. Макаллистер ; пер. с англ. А. В. Чукашова, М. В. Сергиевского ; под ред. М. В. Сергиевского

    by Макаллистер, Дж | Сергиевский, Максим Владимирович [edt].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: English Publication details: Москва Машиностроение 1990Other title: Artificial Intelligence and Prolog on Microcomputers.Availability: No items available :
    Log in to add tags Add to cart
    38.
    Логика и компьютер Вып. 2 [Сборник] Рос. АН; Отв. ред. В. А. Смирнов

    by Смирнов, В. А [отв. ред.].

    Series: Кибернетика: неограниченные возможности и возможные ограниченияMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. Наука 1995Other title: Логические языки, содержательные рассуждения и методы поиска доказательств.Availability: No items available :
    Log in to add tags Add to cart
    39.
    Prolog for computer science M. S. Dawe and C. M. Dawe

    by Dawe, M. S | Dawe, C. M.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: London [a. o.] Springer-Verlag 1994Availability: No items available :
    Log in to add tags Add to cart
    40.
    Методика преподавания информатики [учебное пособие для вузов по специальности 030100 "Информатика"] М. П. Лапчик, И. Г. Семакин, Е. К. Хеннер ; под общ. ред. М. П. Лапчика

    by Лапчик, Михаил Павлович | Семакин, Игорь Геннадьевич | Хеннер, Евгений Карлович, 1946-.

    Series: Высшее профессиональное образованиеEdition: 3-е изд., стер.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
    41.
    Logic for computer scientists Uwe Schoening

    by Schoening, Uwe, 1955-.

    Series: Progress in computer science and applied logic / ed. by John C. Cherniavsky [a. o.]Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Boston [a. o.] Birkhaeuser 2001Availability: No items available :
    Log in to add tags Add to cart
    42.
    43.
    Логический подход к искусственному интеллекту от модальной логики к логике баз данных А. Тейз, П. Грибомон, Г. Юлен [и др.] ; пер. с фр. Г. П. Гаврилова ; под ред. Г. П. Гаврилова

    by Тейз, Андре | Грибомон, Паскаль | Юлен, Ги.

    Material type: Text Text; Format: print Language: Russian Original language: French Publication details: Москва Мир 1998Other title: Approche logique de l'intelligence artificielle De la logique modale a la logique des bases de donnees.Availability: No items available :
    Log in to add tags Add to cart
    44.
    Парадигма программирования учебное пособие для вузов Городняя Л. В.

    by Городняя Л. В.

    Edition: 2-е изд., стер.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
    45.
    Математическая логика и теория алгоритмов [учебное пособие для студентов по специальностям "Компьютерная безопасность" и "Вычислительные машины, комплексы, системы и сети"] А. К. Гуц

    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
    46.
    Теория и практика языков программирования [учебник по направлению "Информатика и вычислительная техника"] С. А. Орлов

    by Орлов, Сергей Александрович доктор техн. наук.

    Series: Учебник для вузов | Стандарт третьего поколенияMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: Russian Publication details: Санкт-Петербург [и др.] Питер 2013Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    47.
    No cover image available
    Логическое программирование на языке Пролог Электронный ресурс учебно-методический комплекс В. В. Андреева, А. Ю. Матросова ; Том. гос. ун-т, [Ин-т дистанционного образования]

    by Андреева, Валентина Валерьевна | Матросова, Анжела Юрьевна | Томский государственный университет Институт дистанционного образования.

    Material type: Computer file Computer file; Format: electronic available online remote Publication details: Томск [ИДО ТГУ] 2011Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    48.
    No cover image available
    Системы искусственного интеллекта учебник и практикум для вузов М. В. Воронов, В. И. Пименов, И. А. Небаев.

    by Воронов, М. В | Пименов | Небаев.

    Series: Высшее образованиеMaterial type: Text Text; Format: electronic available online remote 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
    49.
    No cover image available
    Пролог и искусственный интеллект Электронный ресурс учебное пособие Том. гос. ун-т, [Ин-т дистанционного образования]

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

    Material type: Computer file Computer file; Format: electronic available online remote Publication details: Томск [ИДО ТГУ] 2011Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    50.
    No cover image available
    Об альтернативе стандартной машине вывода в Прологе В. Б. Новосельцев

    by Новосельцев, Виталий Борисович.

    Source: Новые информационные технологии в исследовании сложных структур : тезисы докладов седьмой Российской конференции с международным участиемMaterial type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    Log in to add tags Add to cart