Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

    • Your search returned 35 results.

    1.
    2.
    Теорема Гёделя Э. Нагель, Дж. Р. Ньюмен ; сокр. пер. с англ. Ю. А. Гастева

    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
    3.
    Базы данных Кн. 1 [учебник для студентов вузов по направлению 230100 "Информатика и вычислительная техника"] В. П. Агальцов

    by Агальцов, Виктор Петрович.

    Series: Высшее образование | Электронно-библиотечная система "Znanium.com"Edition: 2-е изд., перераб.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Москва ИНФРА-М [и др.] 2016Other title: Локальные базы данных.Availability: No items available :
    Log in to add tags Add to cart
    4.
    Байесовские сети логико-вероятностный подход А. Л. Тулупьев, С. И. Николенко, А. В. Сироткин ; под общ. ред. Р. М. Юсупова; Рос. акад. наук, С.-Петерб. ин-т информатики и автоматизации

    by Тулупьев, Александр Львович | Николенко, Сергей Игоревич | Сироткин, Александр Владимирович | Юсупов, Рафаэль Мидхатович [edt].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Publication details: Санкт-Петербург Наука, Санкт-Петербургская издательская фирма 2006Other title: Bayesian networks.Availability: No items available :
    Log in to add tags Add to cart
    5.
    Теория и методы принятия решений, а также Хроника событий в Волшебных странах [учебник для вузов] О. И. Ларичев

    by Ларичев, Олег Иванович, 1934-2003.

    Series: Учебник XXI векаEdition: Иизд. 2-е,, перераб. и доп.Material type: Text Text; Format: print ; Audience: Specialized; Publication details: М. Логос 2003Availability: No items available :
    Log in to add tags Add to cart
    6.
    Беседы о математике Кн. 1 [в 3 кн. ] В. Г. Болтянский, А. П. Савин

    by Болтянский, Владимир Григорьевич, 1925- | Савин, Анатолий Павлович.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. ФИМА [и др.] 2002Other title: Дискретные объекты.Availability: No items available :
    Log in to add tags Add to cart
    7.
    Введение в метаматематику Стефен К. Клини ; пер. с англ. А. С. Есенина-Вольпина ; под ред. В. А. Успенского

    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
    8.
    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
    9.
    No cover image available
    Основания геометрии [Учебное пособие для вузов по специальности "Математика"] А. Д. Александров

    by Александров, Александр Данилович, 1912-1999.

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: М. Наука, Главная редакция физико-математической литературы 1987Availability: No items available :
    Log in to add tags Add to cart
    10.
    Линейная алгебра и аналитическая геометрия учебник В. А. Ильин, Г. Д. Ким ; Моск. гос. ун-т им. М. В. Ломоносова

    by Ильин, Владимир Александрович математик, 1928-2014 | Ким, Галина Динховна.

    Series: Классический университетский учебникEdition: 3-е изд., перераб. и доп.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Москва Издательство Московского университета 2007Availability: No items available :
    Log in to add tags Add to cart
    11.
    Теория и методы принятия решений, а также Хроника событий в Волшебных Странах [учебник для вузов] О. И. Ларичев

    by Ларичев, Олег Иванович, 1934-2003.

    Series: Учебник XXI векаEdition: Изд. 2-е, перераб. и доп.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
    12.
    Элементарное введение в геометрию Лобачевского А. П. Норден

    by Норден, Александр Петрович, 1904-1993.

    Series: Физико-математическое наследие : математика (геометрия)Edition: Изд. 2-е, [репр.]Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Publication details: Москва Ленанд 2018Availability: No items available :
    Log in to add tags Add to cart
    13.
    Историко-математические исследования Вторая серия, вып. 14 (49) Рос. акад. наук, Ин-т истории естествознания и техники им. С. И. Вавилова ; [редкол.: С. С. Демидов (гл. ред.) и др.]

    by Демидов, Сергей Сергеевич, 1942- [edt] | Институт истории естествознания и техники им. С. И. Вавилова (Москва).

    Material type: Text Text; Format: print ; Nature of contents: biography; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Янус-К 2011Availability: No items available :
    Log in to add tags Add to cart
    14.
    Эволюционика, или общая теория развития систем природы, общества и мышления Ю. А. Урманцев

    by Урманцев, Юнир Абдуллович.

    Edition: Изд. 2-е, перераб. и доп.Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Publication details: Москва ЛИБРОКОМ 2009Availability: No items available :
    Log in to add tags Add to cart
    15.
    Математическая логика Р. Л. Гудстейн ; пер. с англ. В. С. Чернявского ; под ред. и с предисл. С. А. Яновской

    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 :
    Log in to add tags Add to cart
    16.
    Введение в математическую логику Т. 1 [монография] А. Чёрч ; пер. с англ. В. С. Чернявского ; под ред. и с предисл. В. А. Успенского

    by Черч, Алонзо | Успенский, Владимир Андреевич, 1930-2018 [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: Москва ЛИБРОКОМ 2009Other title: Introduction to mathematical Logic.Availability: No items available :
    Log in to add tags Add to cart
    17.
    No cover image available
    Метод математики логика и гносеология математических знаний Ив. Менделеев ; [с предисл. А. В. Васильева]

    by Менделеев, Иван Дмитриевич, 1883-1936.

    Material type: Text Text; Literary form: Not fiction ; Audience: Specialized; Language: Russian Publication details: Санкт-Петербург Образование 1913Availability: No items available :
    Log in to add tags Add to cart
    18.
    Очерки социальной истории логики в России В. А. Бажанов

    by Бажанов, Валентин Александрович, 1953-.

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Симбирск-Ульяновск Издательство Средневолжского научного центра 2002Availability: No items available :
    Log in to add tags Add to cart
    19.
    No cover image available
    Логические тесты и средства когнитивной графики в комплексе интеллектуальных систем Диссертация в виде научного доклада на соискание ученой степени доктора технических наук. 05.13.18 Янковская А. Е. ; Томский гос. архитектурно-строительный ун-т

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

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

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

    by Ильин, Владимир Александрович математик, 1928-2014 | Ким, Галина Динховна.

    Series: Классический университетский учебникEdition: 3-е изд., перераб. и доп.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Москва Проспект [и др.] 2015Availability: No items available :
    Log in to add tags Add to cart
    22.
    No cover image available
    Интенсиональный модус в математическом дискурсе: "прыжок веры" и математическая практика В. В. Целищев, А. В. Хлебалин

    by Целищев, Виталий Валентинович | Хлебалин, Александр Валерьевич.

    Source: Вестник Томского государственного университета. Философия. Социология. ПолитологияMaterial type: Article Article; Format: electronic available online remote Other title: Intensional modus in mathematical discourse: a "jump of belief" and mathematical practice.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    23.
    Прикладная логика С. В. Попов, Н. Л. Брошкова

    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
    24.
    Логика высказываний: язык, алгебра, исчисления учебное пособие : [по программе бакалавриата по социально-экономическим и гуманитарным направлениям подготовки] А. Г. Кислов, Г. К. Ольховиков, С. Ю. Уколов ; Урал. федер. ун-т им. Б. Н. Ельцина ; [Ин-т соц. и полит. наук]

    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
    25.
    No cover image available
    Интенсиональность Второй теоремы Геделя о неполноте В. В. Целищев

    by Целищев, Виталий Валентинович.

    Source: Вестник Томского государственного университета. Философия. Социология. ПолитологияMaterial type: Article Article; Format: electronic available online remote Other title: Intensionality of the Gödel’s second incompleteness theorem.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    26.
    Мода, вера, фантазия и новая физика Вселенной Роджер Пенроуз ; пер. с англ. А. Пасечник, О. Сивченко

    by Пенроуз, Роджер, 1931-.

    Series: New ScienceMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Санкт-Петербург [и др.] Питер 2020Availability: No items available :
    Log in to add tags Add to cart
    27.
    No cover image available
    Итерированные модальные операторы и условия выводимости Гильберта-Бернайса В. В. Целищев

    by Целищев, Виталий Валентинович.

    Source: Вестник Томского государственного университета. Философия. Социология. ПолитологияMaterial type: Article Article; Format: electronic available online remote Other title: Iterated modal operators and Hilbert-Bernays derivability conditions.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    28.
    Базы данных Кн. 1 [учебник для вузов по направлению 230100 "Информатика и вычислительная техника"] В. П. Агальцов

    by Агальцов, Виктор Петрович.

    Series: Высшее образование | Электронно-библиотечная система "Znanium.com"Edition: 2-е изд., перераб.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Москва ИНФРА-М [и др.] 2013Other title: Локальные базы данных.Availability: No items available :
    Log in to add tags Add to cart
    29.
    No cover image available
    Декларативное определение условий непротиворечивости в ERM-метасхеме А. М. Бабанов, А. В. Петров

    by Бабанов, Алексей Михайлович | Петров, Александр Викторович.

    Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Other title: Declarative definition of consistency conditions in erm metaschema.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    30.
    No cover image available
    Конституция как аксиоматическая система В. В. Оглезнев, В. А. Суровцев

    by Оглезнев, Виталий Васильевич, 1982- | Суровцев, Валерий Александрович.

    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
    31.
    No cover image available
    Непротиворечивость знания в контексте непротиворечивости культуры М. В. Гончаренко

    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
    32.
    Распределенные системы. Принципы и парадигмы Э. Таненбаум, М. ван Стеен

    by Таненбаум, Эндрю С, 1944- | Стеен, Маартен ван.

    Series: Классика computer scienceMaterial type: Text Text; Format: print ; Literary form: Not fiction Publication details: СПб. [и др. ] Питер 2003Other title: Distributed systems. Principles and paradigms.Availability: No items available :
    Log in to add tags Add to cart
    33.
    No cover image available
    Проблема непротиворечивости схем данных и ее решение в ERM-репозитории А. М. Бабанов, А. В. Петров

    by Бабанов, Алексей Михайлович | Петров, Александр Викторович.

    Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Other title: Problem of data scheme consistency and its solution in the ERM repository.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    34.
    No cover image available
    Бестиповые теории истины и внутренняя доказуемость непротиворечивости: параллели и переплетения В. В. Целищев, А. О. Костяков

    by Целищев, Виталий Валентинович | Костяков, Артем Олегович.

    Source: Вестник Томского государственного университетаMaterial type: Article Article; Format: electronic available online remote Other title: Typeless theories of truth and the built-in provability of consistency: parallels and intertwining.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    35.
    No cover image available
    Как возможно техническое творчество? Н. А. Ястреб

    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