Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

    • Your search returned 78 results.

    1.
    Логика [учебник для студентов вузов] Е. К. Войшвилло, М. Г. Дегтярев

    by Войшвилло, Евгений Казимирович, 1913-2008 | Дегтярев, Михаил Григорьевич, 1958-.

    Series: Учебник для вузовMaterial type: Text Text; Format: print ; Literary form: Not fiction Publication details: Москва ВЛАДОС [и др.] 2010Availability: No items available :
    Log in to add tags Add to cart
    2.
    Задачи по теории множеств, математической логике и теории алгоритмов И. А. Лавров, Л. Л. Максимова

    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
    3.
    Лекции по математической логике Ч. 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
    4.
    5.
    6.
    Математическая логика и теория алгоритмов [учебное пособие для вузов по специальности "Математика"] В. И. Игошин

    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
    7.
    Дискретная математика для программистов Учебник Ф. А. Новиков

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

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Санкт-Петербург Питер 2001Availability: No items available :
    Log in to add tags Add to cart
    8.
    No cover image available
    Теория доказательств Г. Такеути; Пер. с англ. С. К. Соболева; Под ред. С. И. Адяна

    by Такеути, Г | Адян, С. И [ред.].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: English Publication details: М. Мир 1978Other title: Proof theory.Availability: No items available :
    Log in to add tags Add to cart
    9.
    10.
    Математическая логика [учебное пособие по техническим и естественно-научным специальностям] И. А. Лавров ; под ред. Л. Л. Максимовой

    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
    11.
    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
    12.
    Задачи и упражнения по математической логике и теории алгоритмов [учебное пособие для вузов по специальности 050201 "Математика"] В. И. Игошин

    by Игошин, Владимир Иванович.

    Series: Высшее профессиональное образованиеEdition: 4-е изд., стер.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Москва Академия 2008Availability: No items available :
    Log in to add tags Add to cart
    13.
    14.
    Математическая логика С. К. Клини ; пер. с англ. Ю. А. Гастева ; под ред. Г. Е. Минца

    by Клини, Стивен Коул, 1909-1994.

    Edition: Изд. 2-е, стереотип.Material type: Text Text; Format: print Language: Russian Original language: English Publication details: Москва Едиториал УРСС 2005Availability: No items available :
    Log in to add tags Add to cart
    15.
    Математическая логика С. К. Клини ; пер. с англ. Ю. А. Гастева ; под ред. Г. Е. Минца

    by Клини, Стивен Коул, 1909-1994.

    Edition: Изд. 3-е, стереотип.Material type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Original language: English Publication details: М. Едиториал УРСС 2007Availability: No items available :
    Log in to add tags Add to cart
    16.
    17.
    Дискретная математика и комбинаторика Джеймс А. Андерсон ; пер. с англ. М. М. Беловой ; под ред. С. С. Шкильняка, М. Р. Саит-Аметова

    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
    18.
    Дискретная математика для инженера О. П. Кузнецов

    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
    19.
    Логические модели интеллектуальных информационных систем Ф. И. Андон, А. Е. Яшунин, В. А. Резниченко; Отв. ред. . И. В. Сергиенко; Нац. акад. наук Украины, Ин-т программных систем

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

    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
    21.
    22.
    No cover image available
    Начало высшей математики [учебное пособие для студентов технических вузов] А. М. Сухотин ; [науч. ред. К. П. Арефьев] ; Том. политехн. ун-т

    by Сухотин, Александр Михайлович математик, 1940- | Арефьев, Константин Петрович, 1947- [edt] | Томский политехнический университет.

    Series: Учебники Томского политехнического университетаEdition: 3-е изд.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Томск Изд-во ТПУ 2008Availability: No items available :
    Log in to add tags Add to cart
    23.
    24.
    25.
    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
    26.
    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
    27.
    Теорема Гёделя Э. Нагель, Дж. Р. Ньюмен ; сокр. пер. с англ. Ю. А. Гастева

    by Нагель, Эрнест, 1901-1985 | Ньюмен, Джеймс Рой.

    Series: Науку - всем! Шедевры научно-популярной литературыEdition: Изд. 3-еMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: English Publication details: Москва URSS 2011Other title: Gödel's proof.Availability: No items available :
    Log in to add tags Add to cart
    28.
    No cover image available
    Основания математики теория доказательств Д. Гильберт, П. Бернайс ; пер . с нем. Н. М. Нагорного ; под ред. С. И. Адяна

    by Гильберт, Давид, 1862-1943 | Бернайс, Пауль | Адян, Сергей Иванович, 1931- [edt].

    Series: Математическая логика и основания математикиMaterial type: Text Text; Format: print available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Наука, Физматлит 1982Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    29.
    No cover image available
    Математические методы оптимизации и управления в сложных системах межвузовский тематический сборник ЛГУ им. А. А. Жданова, Калининский гос. ун-т ; [редкол.: Ю. А. Абрамов (отв. ред.) и др.]

    by Абрамов, Юлий Алексеевич [edt].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Калинин Калининский государственный университет 1982Availability: No items available :
    Log in to add tags Add to cart
    30.
    31.
    32.
    Введение в логику университетский курс : [учебник для студентов вузов, изучающих философские дисциплины] В. А. Бочаров, В. И. Маркин

    by Бочаров, Вячеслав Александрович, 1937-2012 | Маркин, Владимир Ильич, 1958- [aut].

    Series: Высшее образованиеMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва Форум [и др.] 2010Availability: No items available :
    Log in to add tags Add to cart
    33.
    Курс математической логики и теории вычислимости учебное пособие : [для студентов по направлению подготовки "Компьютерные и информационные науки", "Информатика и вычислительная техника" и др.] А. С. Герасимов

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

    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
    36.
    Введение в искусственный интеллект: конспект лекций Д. В. Смолин

    by Смолин, Денис Валерьевич.

    Edition: Изд. 2-е, перераб.Material type: Text Text; Format: print Language: Russian Publication details: Москва Физматлит 2007Availability: No items available :
    Log in to add tags Add to cart
    37.
    Вводный курс математической логики [учебное пособие] В. А. Успенский, Н. К. Верещагин, В. Е. Плиско

    by Успенский, Владимир Андреевич, 1930-2018 | Верещагин, Николай Константинович, 1958- | Плиско, Валерий Егорович.

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

    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
    39.
    Введение в метаматематику Стефен К. Клини ; пер. с англ. А. С. Есенина-Вольпина ; под ред. В. А. Успенского

    by Клини, Стивен Коул, 1909-1994.

    Series: Физико-математическое наследиеEdition: Изд. 2-е, испр.Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: English Publication details: Москва ЛИБРОКОМ 2009Other title: Introduction to metamathematics.Availability: No items available :
    Log in to add tags Add to cart
    40.
    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
    41.
    Полиномиальные алгоритмы решения переборных задач В. З. Стрыгин

    by Стрыгин, Владимир Захарович.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Воскресенск Лира 2002Availability: No items available :
    Log in to add tags Add to cart
    42.
    Дискретная математика для инженера О. П. Кузнецов

    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
    43.
    Математические основы теории оптимального и логического управления [учебное пособие для студентов вузов по направлению 220400 "Мехатроника и робототехника"] В. А. Иванов, В. С. Медведев

    by Иванов, Виктор Александрович канд. техн. наук | Медведев, Владимир Степанович.

    Material type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва Изд-во МГТУ им. Н. Э. Баумана 2011Availability: No items available :
    Log in to add tags Add to cart
    44.
    Лекции по математической логике и теории алгоритмов Ч. 2 Н. К. Верещагин, А. Шень

    by Верещагин, Николай Константинович, 1958- | Шень, Александр Ханиевич, 1958-.

    Series: Современные лекционные курсыMaterial type: Text Text; Format: print ; Literary form: Not fiction Publication details: М. МЦНМО 2000Other title: Языки и исчисления.Availability: No items available :
    Log in to add tags Add to cart
    45.
    Лекции по математике Т. 16 [учебное пособие для студентов, преподавателей] В. Босс

    by Босс, Валерий, 1944-.

    Edition: Изд. стер.Material type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва ЛИБРОКОМ 2014Other title: Теория множеств: от Кантора до Коэна.Availability: No items available :
    Log in to add tags Add to cart
    46.
    Математическая логика [Учебное пособие для математических специальностей вузов] А. Н. Колмогоров, А. Г. Драгалин; Моск. гос. ун-т им. М. В. Ломоносова

    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
    47.
    Математическая логика и теория алгоритмов А. К. Гуц

    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
    48.
    Математическая логика курс лекций : [учебное пособие для студентов вузов по специальности 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
    49.
    Логические и математические исчисления учебное пособие Ю. А. Шиханович

    by Шиханович, Юрий Александрович.

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Москва Научный мир 2011Availability: No items available :
    Log in to add tags Add to cart
    50.
    Задачи по теории множеств, математической логике и теории алгоритмов И. А. Лавров, Л. Л. Максимова

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

    Edition: 5-е изд.Material type: Text Text; Format: print Publication details: Москва Физматлит [и др.] 2002Availability: No items available :
    Log in to add tags Add to cart