Электронная библиотека (репозиторий) Томского государственного университета
математическая логика

Add to Quick Collection   All 13 Results

Showing items 1 - 13 of 13.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Введение в математический анализ. Индивидуальные домашние задания : [сборник для проведения практических занятий со студентами физико-математических специальностей]
Authors: Галанова, Наталия Юрьевна | Зюбин, Сергей Александрович
Type: учебные издания
Date: 2023
Description: В сборнике представлены задачи, индивидуальные и контрольные задания по темам: математическая логика, теория множеств, метод математической индукции, бином Ньютона, свойства функций ( область определе ... More
Add   От логики Аристотеля к троичным ЭВМ
Authors: Тунда, Елена Александровна
Source: Initia: Актуальные проблемы социальных наук (24–25 апреля 2020 г.) [Электронный ресурс] : материалы XXII Международной конференции молодых ученых. Томск, 2020. С. 73-75
Type: статьи в сборниках
Date: 2020
Add   Всероссийская конференция по математике и механике, [посвященная 140-летию Томского государственного университета и 70-летию механико-математического факультета] : 2-4 октября 2018 года : тезисы докладов
Type: сборники
Date: 2018
Description: В сборник включены тезисы докладов, принятые программным комитетом для участия во Всероссийской конференции по математике и механике. Ответственность за содержание и оформление текста несут авторы.
Add   Перспективы развития фундаментальных наук : сборник трудов XV Международной конференции студентов, аспирантов и молодых ученых (Томск, 24-27 апреля 2018 г.) : в 7 т.. Т. 3
Authors: Поробова, Светлана Александровна | Воронова, Гульнара Альфридовна | Курзина, Ирина Александровна
Type: сборники
Date: 2018
Description: Сборник содержит труды участников XV Международной конференции студентов, аспирантов и молодых учёных «Перспективы развития фундаментальных наук», представленные на секции «Математика». Для студентов, ... More
Add   Введение в математическую логику : учебное пособие : [для студентов математических направлений университетов]
Authors: Зюзьков, Валентин Михайлович
Type: учебные издания
Date: 2017
Add   Углубленное изучение некоторых разделов школьной математики : учебно-методический комплекс : [для студентов вузов по направлению 01.04.01 "Математика"].
Authors: Галанова, Наталия Юрьевна | Гриншпон, Яков Самуилович
Type: онлайн-курсы ТГУ. МOODLE
Date: 2017
Description: Курс предназначен для обеспечения самостоятельной работы магистрантов ММФ по курсу «Углубленное изучение некоторых разделов школьной математики» (1, 2 семестры). Курс содержит краткий теоретический ма ... More
Add   Всероссийская конференция по математике и механике, [посвященная 135-летию Томского государственного университета и 65-летию механико-математического факультета] : тезисы докладов, Томск, 02-04 октября 2013 года]
Type: сборники
Date: 2013
Add   Основы разработки алгоритмов : учебное пособие
Authors: Костюк, Юрий Леонидович | Фукс, Ирина Львовна
Type: учебные издания
Date: 2010
Description: Загл. с экрана
Add   Л. Витгенштейн и Ф. П. Рамсей о тождестве
Authors: Суровцев, Валерий Александрович
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2009. № 4. С. 89-103
Type: статьи в журналах
Date: 2009
Description: Рассматривается теория тождества объектов, представленная Л. Витгенштейном в «Логико-философском трактате». Анализируются детали, предложенные Ф.П. Рамсеем при технической реализации этой теории. Эти ... More
Add   Лекции по математической логике и теории алгоритмов : учебно-методический комплекс
Authors: Агибалов, Геннадий Петрович
Type: учебные издания
Date: 2007
Description: Учебно-методический комплекс (УМК) "Лекции по математической логике и теории алгоритмов" разработан в рамках инновационной образовательной программы ТГУ.
Add   Логика, онтология, язык
Authors: Суровцев, Валерий Александрович
Type: сборники
Date: 2006
Add   Расширение алгебры Кодда операциями с рекурсивными объектами
Authors: Говорушко, Вероника Валерьевна. | Новосельцев, Виталий Борисович.
Source: Вестник Томского государственного университета. 2004. № 284 : Серия "Математика. Кибернетика. Информатика". С. 18-20
Type: статьи в журналах
Date: 2004
Add   Проблемы методологии и логики наук : [Доклады совещания : 21-26 мая 1960 г. ]
Authors: Уваров, Александр Иосифович
Type: сборники
Date: 1962
  • «
  • ←
  • 1
  • →
  • »

Creator

Date

Subject

Resource Type

^