Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

    • Your search returned 85 results.

    51.
    Системы искусственного интеллекта Пер. с фр. под ред. В. Л. Стефанюка

    by Лорьер, Жан-Луи | Стефанюк, В. Л [редактор].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: French Publication details: М. Мир 1991Availability: No items available :
    Log in to add tags Add to cart
    52.
    Математическая логика курс лекций : [учебное пособие для студентов вузов по специальности 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
    53.
    54.
    Избранные работы [пер. с нем.] Готлоб Фреге ; [сост. В. В. Анашвили, А. Л. Никифоров]

    by Фреге, Готтлоб, 1848-1925 | Анашвили, Валерий Валерьевич [com] | Никифоров, Александр Леонидович, 1940- [com].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Дом интеллектуальной книги 1997Availability: No items available :
    Log in to add tags Add to cart
    55.
    Einstieg in die mathematische Logik Gert Boehme

    by Boehme, Gert.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Muenchen Wien Hanser Verlag 1981Availability: No items available :
    Log in to add tags Add to cart
    56.
    Математическая логика учебное пособие Ю. Л. Ершов, Е. А. Палютин

    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
    57.
    No cover image available
    Лекции по математической логике Учебное пособие для студентов математических специальностей вузов В. А. Мощенский

    by Мощенский, Владимир Андреевич.

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Минск Издательство БГУ им. В. И. Ленина 1973Availability: No items available :
    Log in to add tags Add to cart
    58.
    59.
    60.
    Квазиматричная (квазифункциональная) логика Ю. В. Ивлев ; Моск. гос. ун-т им. М. В. Ломоносова

    by Ивлев, Юрий Васильевич, 1936-.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Издательство Московского университета 2018Availability: No items available :
    Log in to add tags Add to cart
    61.
    No cover image available
    Теория алгоритмов [учебное пособие для студентов математических направлений и специальностей университетов] В. М. Зюзьков ; Том. гос. ун-т

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

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

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

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

    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
    66.
    Лекции по дискретной математике [учебное пособие Ю. В. Капитонова, С. Л. Кривой, А. А. Летичевский, Г. М. Луцкий]

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

    Material type: Text Text; Format: print Language: Russian Publication details: СПб. БХВ-Петербург 2004Availability: No items available :
    Log in to add tags Add to cart
    67.
    68.
    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
    69.
    Математическая логика и теория алгоритмов [учебное пособие для студентов по специальностям "Компьютерная безопасность" и "Вычислительные машины, комплексы, системы и сети"] А. К. Гуц

    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
    70.
    No cover image available
    Дискретная математика Электронный ресурс учебное пособие А. Ю. Матросова, С. А. Останин ; Том. гос. ун-т, Ин-т дистанционного образования

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

    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
    71.
    No cover image available
    Введение в логику и методологию дедуктивных наук Альфред Тарский ; пер. с англ. О. Н. Дынник ; ред. и предисл. к рус. пер. С. А. Яновской ; примеч. Г. М. Адельсона-Вельского

    by Тарский, Альфред, 1901-1983 | Яновская, Софья Александровна, 1896-1966 [edt].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: English Publication details: Москва Издательство иностранной литературы 1948Other title: Introduction to logic and to the methodology of deductive sciences.Availability: No items available :
    Log in to add tags Add to cart
    72.
    Логика высказываний: язык, алгебра, исчисления учебное пособие : [по программе бакалавриата по социально-экономическим и гуманитарным направлениям подготовки] А. Г. Кислов, Г. К. Ольховиков, С. Ю. Уколов ; Урал. федер. ун-т им. Б. Н. Ельцина ; [Ин-т соц. и полит. наук]

    by Кислов, Алексей Геннадьевич | Ольховиков, Григорий Константинович | Уколов, Сергей Юрьевич.

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Екатеринбург Изд-во Урал. ун-та 2012Availability: No items available :
    Log in to add tags Add to cart
    73.
    Дискретная математика для инженера Электронный ресурс О. П. Кузнецов

    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
    74.
    No cover image available
    Математическая логика Ч. 2 Учебно-методическое пособие по курсу "Математическая логика" Сост. Н. А. Паршина; Том. гос. ун-т. Каф. математической логики и пректирования

    by Паршина, Нина Андреевна [сост.] | Томский государственный университет.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск б. и. 2000Other title: Исчисление предикатов.Availability: No items available :
    Log in to add tags Add to cart
    75.
    76.
    Лекции и задачи по дискретной математике (от теории к алгоритмам) [учебное пособие для студентов вузов, обучающихся по направлению 050200 Физико-математическое образование] А. Н. Ярыгин, О. Н. Ярыгин ; [науч. ред. А. В. Флегонтов]

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

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Старый Оскол ТНТ 2013Availability: No items available :
    Log in to add tags Add to cart
    77.
    No cover image available
    Математический анализ в примерах и задачах Электронный ресурс учебно-методический комплекс Панько С. В., Путятина Е. Н., Кошельский Ю. К. ; Том. гос. ун-т, Ин-т дистанционного образования

    by Панько, Сергей Васильевич | Путятина, Елена Николаевна | Кошельский, Юрий Константинович | Томский государственный университет Институт дистанционного образования.

    Material type: Computer file Computer file; Format: electronic available online remote Publication details: Томск ИДО ТГУ 2008Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    78.
    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
    79.
    No cover image available
    80.
    Лекции и задачи по дискретной математике (от теории к алгоритмам) [учебное пособие для студентов вузов, обучающихся по направлению "Прикладная математика и физика"] А. Н. Ярыгин, О. Н. Ярыгин ; [науч. ред. А. В. Флегонтов]

    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
    81.
    Многозначные логики и их применения Том 1

    by Аншаков, Олег Михайлович [com] | Виноградов, Дмитрий Вячеславович [com] | Финн, Виктор Константинович, 1933- [com, edt].

    Edition: Изд. стер.Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Издательство ЛКИ 2020Other title: Логические исчисления, алгебры и функциональные свойства / сост.: О. М. Аншаков, Д. В. Виноградов, В. К. Финн ; под ред. В. К. Финна.Availability: No items available :
    Log in to add tags Add to cart
    82.
    Введение в кибернетику В. М. Глушков

    by Глушков, Виктор Михайлович, 1923-1982.

    Series: Из наследия академика В. М. Глушкова | Науки об искусственномEdition: Изд. 2-еMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Ленанд 2022Availability: No items available :
    Log in to add tags Add to cart
    83.
    Математическая логика. Курс лекций. Задачник-практикум и решения Лихтарников Л. М.,Сукачева Т. Г.

    by Лихтарников Л. М | Сукачева Т. Г.

    Edition: 4-е изд., стер.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
    84.
    Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов учебное пособие для вузов Глухов М. М.,Козлитин О. А.,Шапошников В. А.,Шишков А. Б.

    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
    85.
    No cover image available
    Элементы математической логики П. С. Новиков

    by Новиков, Петр Сергеевич.

    Series: Математическая логика и основания математикиMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Физматгиз 1959Availability: No items available :
    Log in to add tags Add to cart