Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

    • Your search returned 32 results.

    1.
    Теории личности основные положения, исследования и применение : [учебное пособие для студентов вузов, обучающихся по направлению и специальностям психологии] Ларри Хьелл, Дэниел Зиглер

    by Хьелл, Ларри А | Зиглер, Дэниел Дж.

    Series: Мастера психологииEdition: 3-e изд.Material type: Text Text; Format: print ; Nature of contents: biography; Literary form: Not fiction Language: Russian Original language: English Publication details: Санкт-Петербург [и др.] Питер 2016Other title: Personality theories. Basic assumptions, research, and applications.Availability: No items available :
    Log in to add tags Add to cart
    2.
    Ф. П. Рамсей и программа логицизма В. А. Суровцев ; Том. гос. ун-т

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

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск Издательство Томского университета 2012Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    3.
    Введение в математическую философию избранные работы Бертран Рассел

    by Рассел, Бертран, 1872-1970.

    Series: Пути философииMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Новосибирск Сибирское университетское издательство 2007Other title: Mathematical logic as based on the theory of types.Availability: No items available :
    Log in to add tags Add to cart
    4.
    No cover image available
    5.
    Теории личности основные положения, исследования и применение Ларри Хьелл, Дэниел Зиглер

    by Хьелл, Ларри А | Зиглер, Дэниел Дж.

    Series: Мастера психологииEdition: 3-e изд.Material type: Text Text; Format: print ; Nature of contents: biography; Literary form: Not fiction Language: Russian Original language: English Publication details: Санкт-Петербург [и др.] Питер 2014Other title: Personality theories. Basic assumptions, research, and applications.Availability: No items available :
    Log in to add tags Add to cart
    6.
    7.
    8.
    Когнитивные науки от познания к действию О. Е. Баксанский, Е. Н. Кучер

    by Баксанский, Олег Евгеньевич | Кучер, Елена Николаевна.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Publication details: Москва УРСС [и др.] 2005Availability: No items available :
    Log in to add tags Add to cart
    9.
    No cover image available
    Самореферентность, логические типы и категоризация в изобразительной теории предложений Л. Витгенштейна В. А. Суровцев

    by Суровцев, Валерий Александрович.

    Source: Праксема. Проблемы визуальной семиотикиMaterial type: Article Article; Format: electronic available online remote Other title: Self-reference, theory of types, and categorization in Wittgenstein's picture theory of statements.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    10.
    No cover image available
    Критика теории типов в философии раннего Л. Витгенштейна В. А. Ладов

    by Ладов, Всеволод Адольфович.

    Source: Вестник Томского государственного университета. Философия. Социология. ПолитологияMaterial type: Article Article; Format: electronic available online remote Other title: Сriticism of the theory of types in the early Wittgenstein's philosophy.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    11.
    No cover image available
    Был ли оригинален ранний Л. Витгенштейн? В. А. Ладов

    by Ладов, Всеволод Адольфович.

    Source: Вестник Томского государственного университета. Философия. Социология. ПолитологияMaterial type: Article Article; Format: electronic available online remote Other title: Was the early Wittgenstein original?.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    12.
    Введение в математическую философию Бертран Рассел ; [сост., пер. с англ. Целищева В. В.]

    by Рассел, Бертран, 1872-1970 | Целищев, Виталий Валентинович [com].

    Series: Пирамида. Библиотека журнала "Логос"Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Гнозис 1996Availability: No items available :
    Log in to add tags Add to cart
    13.
    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
    14.
    No cover image available
    Понимание как вычисление О. А. Доманов

    by Доманов, Олег Анатольевич.

    Source: Вестник Томского государственного университета. Философия. Социология. ПолитологияMaterial type: Article Article; Format: electronic available online remote Other title: Understanding as computation.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    15.
    No cover image available
    Критический анализ теории символизма раннего Л. Витгенштейна В. А. Ладов, А. В. Гукова

    by Ладов, Всеволод Адольфович | Гукова, Ангелина Валерьевна.

    Source: Вестник Томского государственного университета. Философия. Социология. ПолитологияMaterial type: Article Article; Format: electronic available online remote Other title: Critical analysis of early Ludwig Wittgenstein’s theory of symbolism.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    16.
    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
    17.
    No cover image available
    Философские прозрения и техническая работа: судьбы парадоксов В. В. Целищев, А. В. Хлебалин

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

    Source: Вестник Томского государственного университета. Философия. Социология. ПолитологияMaterial type: Article Article; Format: electronic available online remote Other title: Philosophical insights and technical work: the fates of paradoxes.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    18.
    No cover image available
    Теория символизма Рассела-Витгенштейна Е. В. Борисов

    by Борисов, Евгений Васильевич философ.

    Source: Вестник Томского государственного университета. Философия. Социология. ПолитологияMaterial type: Article Article; Format: electronic available online remote Other title: The Russell-Wittgenstein theory of symbolism.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    19.
    No cover image available
    Идея ограничения теории типов в философии математики в контексте критики эпистемологического релятивизма В. А. Ладов

    by Ладов, Всеволод Адольфович.

    Source: Вестник Томского государственного университета. Философия. Социология. ПолитологияMaterial type: Article Article; Format: electronic available online remote Other title: The idea of limiting the type theory in the philosophy of mathematics in the context of the criticism of epistemological relativism.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    20.
    No cover image available
    Понятие доказательства в контексте теоретико-типового подхода, III: доказательства как (некоторые) типы Л. Д. Ламберов

    by Ламберов, Лев Дмитриевич.

    Source: Вестник Томского государственного университета. Философия. Социология. ПолитологияMaterial type: Article Article; Format: electronic available online remote Other title: The concept of proof in the context of a type-theoretic approach, III: proofs as (some) types.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    21.
    No cover image available
    Критический анализ иерархического подхода Рассела-Тарского к решению проблемы парадоксов В. А. Ладов

    by Ладов, Всеволод Адольфович.

    Source: Вестник Томского государственного университета. Философия. Социология. ПолитологияMaterial type: Article Article; Format: electronic available online remote Other title: Critical analysis of the hierarchical approach to the solution of the paradox problem.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    22.
    No cover image available
    О соотношении теории типов Б. Рассела и теории типов Ф. П. Рамсея В. А. Суровцев

    by Суровцев, Валерий Александрович.

    Source: Общество знания: философия, управление, образование : материалы III Сибирского философского семинара Всероссийской научной конференции с международным участиемMaterial type: Article Article; Format: print festschrift ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    Log in to add tags Add to cart
    23.
    No cover image available
    Понятие доказательства в контексте теоретико-типового подхода, I: доказательство программ Л. Д. Ламберов

    by Ламберов, Лев Дмитриевич.

    Source: Вестник Томского государственного университета. Философия. Социология. ПолитологияMaterial type: Article Article; Format: electronic available online remote Other title: The concept of proof in the context of a type-theoretic approach, I: proof of computer program correctness.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    24.
    Программирование: теория типов учебное пособие И. А. Кудрявцева, М. В. Швецкий.

    by Кудрявцева И. Ирина | Швецкий М. В. Михаил Владимирович.

    Series: Высшее образованиеEdition: 2-е изд. пер. и допMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва Юрайт 2023Online access: Click here to access online | Click here to access online Availability: 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: Formalization of contexts in type theory with records and modules.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    26.
    No cover image available
    Является ли теория символизма Л. Витгенштейна радикальной версией теории типов? В. А. Суровцев

    by Суровцев, Валерий Александрович.

    Source: Вестник Томского государственного университета. Философия. Социология. ПолитологияMaterial type: Article Article; Format: electronic available online remote Other title: Is Wittgenstein's theory of symbolism a radical version of the theory of types?.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    27.
    No cover image available
    Основания математики. Приложение B. Теория типов Б. Рассел ; перевод В. А. Суровцева

    by Рассел, Бертран, 1872-1970 | Суровцев, Валерий Александрович [trl].

    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
    28.
    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
    29.
    No cover image available
    Проблема обоснования в формальном представлении знаний С. П. Ковалёв, А. В. Родин

    by Ковалев, Сергей Протасович | Родин, Андрей Вячеславович.

    Source: Вестник Томского государственного университета. Философия. Социология. ПолитологияMaterial type: Article Article; Format: electronic available online remote Other title: The problem of justification in formal knowledge representation.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 Ладов, Всеволод Адольфович | Эннс, Ирина Андреевна | Томский государственный университет Философский факультет Кафедра онтологии, теории познания и социальной философии | Томский государственный университет Философский факультет Кафедра истории философии и логики.

    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
    Типы теории типов в Tractatus Витгенштейна А. В. Нехаев

    by Нехаев, Андрей Викторович.

    Source: Вестник Томского государственного университета. Философия. Социология. ПолитологияMaterial type: Article Article; Format: electronic available online remote Other title: Types of the theory of types in Wittgenstein’s Tractatus.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    32.
    No cover image available
    Понятие доказательства в контексте теоретико-типового подхода, II: доказательства теорем Л. Д. Ламберов

    by Ламберов, Лев Дмитриевич.

    Source: Вестник Томского государственного университета. Философия. Социология. ПолитологияMaterial type: Article Article; Format: electronic available online remote Other title: The concept of proof in the context of a type-theoretic approach, II: proofs of theorems.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart