Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

    • Your search returned 77 results.

    Sort
    Unhighlight Highlight
    Select all Clear all
    Select titles to:
    Results
    1.
    Логика [учебник для студентов вузов] Е. К. Войшвилло, М. Г. Дегтярев

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

    Series: Учебник для вузовMaterial type: Text Text; Format: print ; Literary form: Not fiction Publication details: Москва ВЛАДОС ИМПЭ 2010Availability: No items available :
    Place hold 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 :
    Place hold Log in to add tags Add to cart
    3.
    4.
    Лекции по математической логике Ч. 1 [учебное пособие для математических направлений и специальностей университетов] В. А. Романович ; Том. гос. ун-т

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

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Томск Том. гос. ун-т 2005Availability: No items available :
    Place hold Log in to add tags Add to cart
    5.
    Математическая логика и теория алгоритмов [учебное пособие для вузов по специальности "Математика"] В. И. Игошин

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

    Series: Учебное пособие | Высшее профессиональное образованиеEdition: 4-е изд., стер.Material type: Text Text; Format: print Language: Russian Publication details: Москва Академия 2010Availability: No items available :
    Place hold Log in to add tags Add to cart
    6.
    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 :
    Place hold Log in to add tags Add to cart
    7.
    Математическая логика С. К. Клини ; пер. с англ. Ю. А. Гастева ; под ред. Г. Е. Минца

    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 :
    Place hold Log in to add tags Add to cart
    8.
    9.
    Дискретная математика для инженера О. П. Кузнецов

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

    Series: Учебники для вузовEdition: Изд. 6-е, стер.Material type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Санкт-Петербург [и др.] Лань 2014Availability: No items available :
    Place hold Log in to add tags Add to cart
    10.
    Дискретная математика для программистов Учебник Ф. А. Новиков

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

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Санкт-Петербург Питер 2001Availability: No items available :
    Place hold Log in to add tags Add to cart
    11.
    Cover image
    12.
    Математическая логика С. К. Клини ; пер. с англ. Ю. А. Гастева ; под ред. Г. Е. Минца

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

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

    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 :
    Place hold Log in to add tags Add to cart
    14.
    15.
    No cover image available
    Вводный курс математической логики [учебное пособие] В. А. Успенский, Н. К. Верещагин, В. Е. Плиско

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

    Edition: 2-е изд.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Москва Физматлит 2007Availability: No items available :
    Place hold Log in to add tags Add to cart
    16.
    Введение в метаматематику Стефен К. Клини ; пер. с англ. А. С. Есенина-Вольпина ; под ред. В. А. Успенского

    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 :
    Place hold Log in to add tags Add to cart
    17.
    Избранные труды Т. 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 :
    Place hold Log in to add tags Add to cart
    18.
    Математическая логика учебное пособие Ю. Л. Ершов, Е. А. Палютин

    by Ершов, Юрий Леонидович, 1940- | Палютин, Евгений Андреевич, 1945-.

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

    by Аляев, Юрий Александрович | Тюрин, Сергей Феофентович.

    Material type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва Финансы и статистика 2006Availability: No items available :
    Place hold Log in to add tags Add to cart
    20.
    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 :
    Place hold Log in to add tags Add to cart
    21.
    Проблема логического обоснования дедуктивно-математического знания от античности до XX века логико-математический и философский аспекты Б. В. Бирюков, Л. Г. Бирюкова

    by Бирюков, Борис Владимирович, 1922-2014 | Бирюкова, Любовь Гавриловна.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Ленанд 2015Availability: No items available :
    Place hold Log in to add tags Add to cart
    22.
    Лекции по математике Т. 16 [учебное пособие для студентов, преподавателей] В. Босс

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

    Edition: Изд. стер.Material type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва ЛИБРОКОМ 2014Other title: Теория множеств: от Кантора до Коэна.Availability: No items available :
    Place hold Log in to add tags Add to cart
    23.
    Теорема Гёделя Э. Нагель, Дж. Р. Ньюмен ; сокр. пер. с англ. Ю. А. Гастева

    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 :
    Place hold Log in to add tags Add to cart
    24.
    Дискретная математика для инженера О. П. Кузнецов

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

    Series: Учебники для вузовEdition: Изд. 3-е, перераб. и доп.Material type: Text Text; Format: print Language: Russian Publication details: СПб. [и др.] Лань 2004Availability: No items available :
    Place hold Log in to add tags Add to cart
    25.
    26.
    Лекции по искусственному интеллекту Г. С. Осипов ; Российская акад. наук, Ин-т системного анализа

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

    Series: Науки об искусственномEdition: Изд. 2-е, испр. и доп.Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Publication details: Москва ЛИБРОКОМ 2013Availability: No items available :
    Place hold Log in to add tags Add to cart
    27.
    28.
    29.
    30.
    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 :
    Place hold Log in to add tags Add to cart
    31.
    32.
    Достоверный и правдоподобный вывод в интеллектуальных системах В. Н. Вагин, Е. Ю. Головина, А. А. Загорянская, М. В. Фомина ; под ред. В. Н. Вагина, Д. А. Поспелова

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

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. Физматлит 2004Availability: No items available :
    Place hold Log in to add tags Add to cart
    33.
    34.
    Дискретная математика и комбинаторика Джеймс А. Андерсон ; пер. с англ. М. М. Беловой ; под ред. С. С. Шкильняка, М. Р. Саит-Аметова

    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 :
    Place hold Log in to add tags Add to cart
    35.
    36.
    No cover image available
    Задачи по логике пособие для студентов-математиков НГУ И. А. Лавров, Л. Л. Максимова ; Новосиб. гос. ун-т

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

    Series: Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Новосибирск [б. и.] 1970Availability: No items available :
    Place hold Log in to add tags Add to cart
    37.
    38.
    Математическая логика и теория алгоритмов А. К. Гуц

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

    Edition: Изд. 2-е, доп.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Москва ЛИБРОКОМ 2009Availability: No items available :
    Place hold Log in to add tags Add to cart
    39.
    Логические модели интеллектуальных информационных систем Ф. И. Андон, А. Е. Яшунин, В. А. Резниченко; Отв. ред. . И. В. Сергиенко; Нац. акад. наук Украины, Ин-т программных систем

    by Андон, Филипп Илларионович | Яшунин, Александр Евгеньевич | Резниченко, Валерий Анатольевич.

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Киев Наукова думка 1999Availability: No items available :
    Place hold Log in to add tags Add to cart
    40.
    Математическая логика дополнительные главы : [учебное пособие для студентов математических специальностей вузов] А. Н. Колмогоров, А. Г. Драгалин ; Моск. гос. ун-т им. М. В. Ломоносова ; [редкол.: с. Г. Е. Минц (отв. ред.) и др.]

    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 :
    Place hold Log in to add tags Add to cart
    41.
    Вводный курс математической логики [учебное пособие] В. А. Успенский, Н. К. Верещагин, В. Е. Плиско

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

    Edition: [2-е изд.]Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: М. Физматлит 2004Availability: No items available :
    Place hold Log in to add tags Add to cart
    42.
    Логические и математические исчисления учебное пособие Ю. А. Шиханович

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

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Москва Научный мир 2011Availability: No items available :
    Place hold Log in to add tags Add to cart
    43.
    44.
    Понятие как форма мышления логико-гносеологический анализ Е. К. Войшвилло

    by Войшвилло, Евгений Казимирович, 1913-2008.

    Series: Из истории логики XX векаEdition: Изд. стер.Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва ЛИБРОКОМ 2014Availability: No items available :
    Place hold Log in to add tags Add to cart
    45.
    Квазиматричная (квазифункциональная) логика Ю. В. Ивлев ; Моск. гос. ун-т им. М. В. Ломоносова

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

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Издательство Московского университета 2018Availability: No items available :
    Place hold Log in to add tags Add to cart
    46.
    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 :
    Place hold Log in to add tags Add to cart
    47.
    Математическая логика Р. Л. Гудстейн ; пер. с англ. В. С. Чернявского ; под ред. и с предисл. С. А. Яновской

    by Гудстейн, Рейбен Луис | Яновская, Софья Александровна, 1896-1966 [edt].

    Series: Физико-математическое наследиеEdition: Изд. 2-еMaterial type: Text Text; Format: print ; Nature of contents: biography; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: English Publication details: Москва ЛИБРОКОМ 2010Other title: Mathematical Logic.Availability: No items available :
    Place hold Log in to add tags Add to cart
    48.
    Решетка замкнутых классов самодвойственных функций трехзначной логики Д. Н. Жук ; Московский гос. ун-т им. М. В. Ломоносова, Мех.-мат. фак.

    by Жук, Дмитрий Николаевич.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Summary language: English Publication details: Москва Издательство Московского университета 2011Availability: No items available :
    Place hold Log in to add tags Add to cart
    49.
    Лекции по дискретной математике [учебное пособие Ю. В. Капитонова, С. Л. Кривой, А. А. Летичевский, Г. М. Луцкий]

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

    Material type: Text Text; Format: print Language: Russian Publication details: СПб. БХВ-Петербург 2004Availability: No items available :
    Place hold Log in to add tags Add to cart
    50.
    Математическая логика курс лекций : [учебное пособие для студентов вузов по специальности 032100 "Математика"] И. Л. Тимофеева

    by Тимофеева, Ирина Леонидовна.

    Edition: 2-е изд., перераб.Material type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва КДУ 2007Availability: No items available :
    Place hold Log in to add tags Add to cart
    Pages