Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

    • Your search returned 45 results.

    1.
    Математическая логика и теория алгоритмов [учебное пособие для вузов по специальности "Математика"] В. И. Игошин

    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
    2.
    Математическая логика [учебное пособие по техническим и естественно-научным специальностям] И. А. Лавров ; под ред. Л. Л. Максимовой

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

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

    Series: Классический университетский учебникEdition: Изд. 3-е, стер.Material type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва URSS [и др.] печ. 2006Availability: No items available :
    Log in to add tags Add to cart
    5.
    Конструктивные модели Сергей С. Гончаров, Юрий Л. Ершов; Ин-т математики СО РАН [и др.]

    by Гончаров, Сергей Савостьянович | Ершов, Юрий Леонидович, 1940-.

    Series: Сибирская школа алгебры и логикиMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Новосибирск Научная книга 1999Availability: No items available :
    Log in to add tags Add to cart
    6.
    Многомерный образ человека на пути к созданию единой науки о человеке [Юдин Б. Г., Борзенков В. Г., Редько В. Г. и др. ; под общ. ред. Б. Г. Юдина]

    by Юдин, Борис Григорьевич, 1943- | Борзенков, Владимир Григорьевич, 1942- | Редько, Владимир Георгиевич.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Прогресс-Традиция 2007Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    7.
    No cover image available
    Элементы математической логики А. А. Марков ; под ред. А. Г. Драгалина

    by Марков, Андрей Андреевич младший, 1903-1979 | Драгалин, Альберт Григорьевич, 1941-1998 [редактор].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Издательство Московского университета 1984Availability: No items available :
    Log in to add tags Add to cart
    8.
    No cover image available
    Ламбда-исчисление Его синтаксис и семантика Х. Барендрегт; Пер. с англ. Г. Е. Минца

    by Барендрегт, Хендрик Питер.

    Material type: Text Text; Format: print Language: Russian Original language: English Publication details: М. Мир 1985Availability: No items available :
    Log in to add tags Add to cart
    9.
    No cover image available
    Химия промывочных и тампонажных жидкостей [учебник для студентов вузов, обучающихся по специальности "Бурение нефтяных и газовых скважин"] Р. Г. Ахмадеев, В. С. Данюшевский

    by Ахмадеев, Рифкат Галеевич | Данюшевский, Виктор Соломонович.

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

    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
    11.
    История и синергетика: методология исследования [сборник статей] Рос. гос. гуманитар. ун-т, Фак. истории, политологии и права, Акад. воен. наук, Центр проблем СЯС ; [отв. ред. С. Ю. Малков, А. В. Коротаев]

    by Малков, Сергей Юрьевич, 1955- [edt] | Коротаев, Андрей Витальевич, 1961- [edt] | Российский государственный гуманитарный университет Факультет истории, политологии и права [com].

    Series: Синергетика в гуманитарных наукахMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Publication details: М. URSS КомКнига 2005Availability: No items available :
    Log in to add tags Add to cart
    12.
    Элементы теории множеств в курсе математического анализа учебное пособие для студентов Б. П. Демидович

    by Демидович, Борис Павлович, 1906-1977.

    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
    13.
    Уэльс. История нации [книга по страноведению на английском языке] Дэвид Росс

    by Росс, Дэвид Сазерленд.

    Material type: Text Text; Format: print Language: English Publication details: Санкт-Петербург Каро 2006Other title: Wales. History of a nation.Availability: No items available :
    Log in to add tags Add to cart
    14.
    Теория смысла и интенсиональная логика И. Б. Микиртумов ; С.-Петерб. гос. ун-т, Филос. фак.

    by Микиртумов, Иван Борисович.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Publication details: СПб. Изд-во С.-Петерб. ун-та 2006Availability: No items available :
    Log in to add tags Add to cart
    15.
    Лекции по математической логике и теории алгоритмов [Ч. 3] Н. К. Верещагин, А. Шень

    by Верещагин, Николай Константинович, 1958-.

    Series: Современные лекционные курсыEdition: Изд. 2-е, испр.Material type: Text Text; Format: print Language: Russian Publication details: М. Моск. центр непрерыв. мат. образования 2002Other title: Вычислимые функции.Availability: No items available :
    Log in to add tags Add to cart
    16.
    17.
    No cover image available
    Что такое нестандартный анализ В. А. Успенский

    by Успенский, Владимир Андреевич, 1930-2018.

    Material type: Text Text; Format: print Publication details: М. Наука 1987Availability: No items available :
    Log in to add tags Add to cart
    18.
    История и синергетика: методология исследования [Д. М. Бондаренко, С. Ю. Малков, И. Н. Ионов и др. ; отв. ред. С. Ю. Малков, А. В. Коротаев] ; Рос. гос. гуманитар. ун-т, Фак. истории, политологии и права, Акад. воен. наук, Центр проблем СЯС ;

    by Малков, Сергей Юрьевич, 1955- | Коротаев, Андрей Витальевич, 1961- [edt] | Бондаренко, Д. М | Ионов, Игорь Николаевич | Российский государственный гуманитарный университет Факультет истории, политологии и права.

    Series: Синергетика в гуманитарных наукахEdition: Изд. 2-е, испр. и доп.Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Publication details: Москва URSS 2010Availability: No items available :
    Log in to add tags Add to cart
    19.
    Как математика ум в порядок приводит А. А. Столяр

    by Столяр, Абрам Аронович.

    Edition: 2-е изд., перераб. и доп.Material type: Text Text; Format: print Publication details: Минск Вышэйшая школа 1991Availability: No items available :
    Log in to add tags Add to cart
    20.
    No cover image available
    21.
    No cover image available
    О сложности относительных вычислений автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06 Дехтярь Михаил Иосифович

    by Дехтярь, Михаил Иосифович.

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

    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
    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.
    No cover image available
    Определитель лишайников Татарской АССР Н. В. Малышева, А. Г. Смирнов

    by Малышева, Наталья Владимировна | Смирнов, А. Г.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Publication details: Казань Изд-во Казан. ун-та 1982Availability: No items available :
    Log in to add tags Add to cart
    27.
    No cover image available
    Русская логика-это очень просто! Владимир Лобанов

    by Лобанов, Владимир Иванович.

    Edition: 1-е изд.Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Publication details: М. Русская Правда 2006Availability: No items available :
    Log in to add tags Add to cart
    28.
    No cover image available
    Теорема Геделя о неполноте В. А. Успенский

    by Успенский, Владимир Андреевич, 1930-2018.

    Series: Популярные лекции по математикеMaterial type: Text Text; Format: electronic 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.
    Programme of Community action in the field of Public Health projects funded under the Call for proposals 2006 Public Health Executive Agency

    by Public Health Executive Agency.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Luxembourg Office for Official Publications of the European Communities 2008Availability: No items available :
    Log in to add tags Add to cart
    30.
    Математическая логика курс лекций : [учебное пособие для студентов вузов по специальности 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
    31.
    Математическая логика [учебное пособие для математических специальностей вузов] А. Н. Колмогоров, А. Г. Драгалин ; [отв. ред. Г. Е. Минц] ; Моск. гос. ун-т им. М. В. Ломоносова

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

    by Лейкин, Анатолий Леонидович.

    Material type: Text Text; Format: print ; Nature of contents: biography; Literary form: Fiction Publication details: Москва Детская литература 1986Availability: No items available :
    Log in to add tags Add to cart
    33.
    No cover image available
    Теория дедуктивных систем и ее применения С. Ю. Маслов

    by Маслов, Сергей Юрьевич.

    Series: КибернетикаMaterial type: Text Text; Format: print Publication details: М. Радио и связь 1986Availability: No items available :
    Log in to add tags Add to cart
    34.
    No cover image available
    Как математика ум в порядок приводит А. А. Столяр

    by Столяр, Абрам Аронович.

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Минск Вышэйшая школа 1982Availability: No items available :
    Log in to add tags Add to cart
    35.
    No cover image available
    36.
    No cover image available
    37.
    Математические задачи дальномерной навигации О. О. Барабанов, Л. П. Барабанова

    by Барабанов, Олег Олегович | Барабанова, Любовь Петровна.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. Физматлит 2007Availability: No items available :
    Log in to add tags Add to cart
    38.
    No cover image available
    39.
    Истории о русской средневековой поэзии О. А. Кузнецова ; Московский государственный университет имени М. В. Ломоносова

    by Кузнецова, Ольга Александровна.

    Series: Научно-популярная серия РФФИMaterial type: Text Text; Format: print ; Literary form: Poetry ; Audience: Specialized; Language: Russian Publication details: Москва Издательство Московского университета 2019Availability: No items available :
    Log in to add tags Add to cart
    40.
    41.
    No cover image available
    Математическая логика и автоматическое доказательство теорем Ч. Чень, Р. Ли; Перевод с англ. Г. В. Давыдова и др.

    by Чень, Ч | Ли, Р | Маслов, Сергей Юрьевич [edt].

    Series: Математическая логика и основания математикиMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: М. Наука 1983Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    42.
    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
    43.
    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
    44.
    No cover image available
    Основания математической логики Хаскелл Б. Карри ; пер. с англ. В. В. Донченко ; под ред. Ю. А. Гастева

    by Карри, Хаскелл Брокс | Гастев, Юрий Алексеевич, 1928-1993 [edt].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: English Publication details: Москва Мир 1969Other title: Foundations of mathematical logic.Availability: No items available :
    Log in to add tags Add to cart
    45.
    Достоевский в медийном пространстве современной русской культуры коллективная монография С. А. Кибальник, О. А. Кузнецова, Е. К. Муренина [и др.] ; отв. ред. С. А. Кибальник ; Ин-т рус. лит. (Пушкинский Дом)

    by Кибальник, Сергей Акимович | Кузнецова, Ольга Александровна | Муренина, Елена Константиновна.

    Series: Источники и методы в изучении наследия Ф. М. Достоевского в русской и мировой культуреMaterial type: Text Text; Format: print ; Nature of contents: biography; Literary form: Not fiction ; Audience: Specialized; Publication details: Санкт-Петербург Петрополис 2021Availability: No items available :
    Log in to add tags Add to cart