Поиск :
Личный кабинет :
Электронный каталог: Справочник авторов
К списку авторов
Экз. чит. зала
Экз. чит. зала
Экз. чит. зала
Доступно
1 из 1
Экз. чит. зала
Экз. чит. зала
Экз. чит. зала
Экз. чит. зала
Экз. чит. зала
Тимофеева, Ирина Леонидовна
Сортировать по: заглавиюСвязанные описания:
Электронный ресурс (аналит. описание)
Тимофеева, Ирина Леонидовна
О допустимых правилах заключения в системах натурального вывода
б.г.
ISBN отсутствует
Тимофеева, Ирина Леонидовна
О допустимых правилах заключения в системах натурального вывода
б.г.
ISBN отсутствует
Книга (аналит. описание)
Тимофеева, Ирина Леонидовна
О допустимых правилах заключения в системах натурального вывода
б.г.
ISBN отсутствует
Тимофеева, Ирина Леонидовна
О допустимых правилах заключения в системах натурального вывода
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Тимофеева, Ирина Леонидовна
О косвенных правилах естественного вывода в курсе математической логики и косвенных методах дока...
б.г.
ISBN отсутствует
Тимофеева, Ирина Леонидовна
О косвенных правилах естественного вывода в курсе математической логики и косвенных методах дока...
б.г.
ISBN отсутствует
Книга (аналит. описание)
Тимофеева, Ирина Леонидовна
О курсе математической логики и его учебно-методическом обеспечении
б.г.
ISBN отсутствует
Тимофеева, Ирина Леонидовна
О курсе математической логики и его учебно-методическом обеспечении
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Тимофеева, Ирина Леонидовна
О логических эвристических средствах построения доказательств
б.г.
ISBN отсутствует
Тимофеева, Ирина Леонидовна
О логических эвристических средствах построения доказательств
б.г.
ISBN отсутствует
Книга (аналит. описание)
Тимофеева, Ирина Леонидовна
О необходимости логико-ориентированного вводного курса математики в педагогическом вузе
б.г.
ISBN отсутствует
Тимофеева, Ирина Леонидовна
О необходимости логико-ориентированного вводного курса математики в педагогическом вузе
б.г.
ISBN отсутствует
Книга (аналит. описание)
Тимофеева, Ирина Леонидовна
О проблемах систематизации логических норм математического языка
б.г.
ISBN отсутствует
Тимофеева, Ирина Леонидовна
О проблемах систематизации логических норм математического языка
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Тимофеева, Ирина Леонидовна
О проблемах систематизации логических норм математического языка
б.г.
ISBN отсутствует
Тимофеева, Ирина Леонидовна
О проблемах систематизации логических норм математического языка
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Тимофеева, Ирина Леонидовна
О символической записи на языке теории множеств предложений геометрического содержания
б.г.
ISBN отсутствует
Тимофеева, Ирина Леонидовна
О символической записи на языке теории множеств предложений геометрического содержания
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Тимофеева, Ирина Леонидовна
Об опыте обучения студентов педвуза записи предложений геометрического содержания с помощью симво...
б.г.
ISBN отсутствует
Тимофеева, Ирина Леонидовна
Об опыте обучения студентов педвуза записи предложений геометрического содержания с помощью симво...
б.г.
ISBN отсутствует
Книга (аналит. описание)
Габидуллина, К. Ф.
Об опыте организации итогового контроля знаний студентов с использованием компьютера при изучении...
б.г.
ISBN отсутствует
Габидуллина, К. Ф.
Об опыте организации итогового контроля знаний студентов с использованием компьютера при изучении...
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Тимофеева, Ирина Леонидовна
Об опыте тестирования студентов педвуза по теме "функции"
б.г.
ISBN отсутствует
Тимофеева, Ирина Леонидовна
Об опыте тестирования студентов педвуза по теме "функции"
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Тимофеева, Ирина Леонидовна
Об организации контроля при изучении дисциплины "Вводный курс математики" на математическом факул...
б.г.
ISBN отсутствует
Тимофеева, Ирина Леонидовна
Об организации контроля при изучении дисциплины "Вводный курс математики" на математическом факул...
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Тимофеева, Ирина Леонидовна
Об ошибках использования символов языка теории множеств в записи предложений геометрического соде...
б.г.
ISBN отсутствует
Тимофеева, Ирина Леонидовна
Об ошибках использования символов языка теории множеств в записи предложений геометрического соде...
б.г.
ISBN отсутствует
Экз. чит. зала
Книга
Тимофеева, Ирина Леонидовна
Практикум по вводному курсу математики: учебное пособие для вузов по направлению 050200.62 - физико-математическое образование ; специальностям: 050201.65 - Математика, 050202.65 - Информатика
МПГУ, 2010 г.
ISBN 978-5-94845-209-8
МПГУ : МАТ, МАТ2
Тимофеева, Ирина Леонидовна
Практикум по вводному курсу математики: учебное пособие для вузов по направлению 050200.62 - физико-математическое образование ; специальностям: 050201.65 - Математика, 050202.65 - Информатика
МПГУ, 2010 г.
ISBN 978-5-94845-209-8
МПГУ : МАТ, МАТ2
Экз. чит. зала
Электронный ресурс
Матросов, Виктор Леонидович
Практикум по теории алгоритмов: Учебное пособие для вузов по специальности 032100 - Математика
МПГУ, 2005 г.
ISBN 5-94845-114-3
МПГУ : ЭБС
Матросов, Виктор Леонидович
Практикум по теории алгоритмов: Учебное пособие для вузов по специальности 032100 - Математика
МПГУ, 2005 г.
ISBN 5-94845-114-3
МПГУ : ЭБС
Экз. чит. зала
Книга
Матросов, Виктор Леонидович
Практикум по теории алгоритмов: Учебное пособие для вузов по специальности 032100 - Математика
МПГУ, 2005 г.
ISBN 5-94845-114-3
МПГУ : МАТ
Матросов, Виктор Леонидович
Практикум по теории алгоритмов: Учебное пособие для вузов по специальности 032100 - Математика
МПГУ, 2005 г.
ISBN 5-94845-114-3
МПГУ : МАТ
Книга (аналит. описание)
Тимофеева, Ирина Леонидовна
Принцип индукции для натуральных выводов
б.г.
ISBN отсутствует
Тимофеева, Ирина Леонидовна
Принцип индукции для натуральных выводов
б.г.
ISBN отсутствует
Книга (аналит. описание)
Тимофеева, Ирина Леонидовна
Принцип индукции для натуральных выводов в модальных исчислениях
б.г.
ISBN отсутствует
Тимофеева, Ирина Леонидовна
Принцип индукции для натуральных выводов в модальных исчислениях
б.г.
ISBN отсутствует
Книга (аналит. описание)
Тимофеева, Ирина Леонидовна
Принцип индукции для предикатных систем натурального вывода
б.г.
ISBN отсутствует
Тимофеева, Ирина Леонидовна
Принцип индукции для предикатных систем натурального вывода
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Тимофеева, Ирина Леонидовна
Размышления об обратных теоремах и кванторах
б.г.
ISBN отсутствует
Тимофеева, Ирина Леонидовна
Размышления об обратных теоремах и кванторах
б.г.
ISBN отсутствует
Статья
Тимофеева, Ирина Леонидовна
Размышления об определениях параллельных прямых
б.г.
ISBN отсутствует
Тимофеева, Ирина Леонидовна
Размышления об определениях параллельных прямых
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Тимофеева, Ирина Леонидовна
Размышления об определениях четной и нечетной функции в школьном курсе математики
б.г.
ISBN отсутствует
Тимофеева, Ирина Леонидовна
Размышления об определениях четной и нечетной функции в школьном курсе математики
б.г.
ISBN отсутствует
Доступно
1 из 1
Экз. чит. зала
Книга
Матросов, Виктор Леонидович
Теория алгоритмов: Примерная программа дисциплины для специальности 032100- Математика
Прометей, 2004 г.
ISBN 5-7042-1799-0
МПГУ : МАТ
Матросов, Виктор Леонидович
Теория алгоритмов: Примерная программа дисциплины для специальности 032100- Математика
Прометей, 2004 г.
ISBN 5-7042-1799-0
МПГУ : МАТ
Экз. чит. зала
Экз. чит. зала
Электронный ресурс
Матросов, Виктор Леонидович
Теория алгоритмов: Примерная программа дисциплины для специальности 032100- Математика
Прометей, 2004 г.
ISBN 5-7042-1799-0
МПГУ : ЭБС
Матросов, Виктор Леонидович
Теория алгоритмов: Примерная программа дисциплины для специальности 032100- Математика
Прометей, 2004 г.
ISBN 5-7042-1799-0
МПГУ : ЭБС
Экз. чит. зала
Электронный ресурс
Матросов, Виктор Леонидович
Теория алгоритмов: Сборник задач, Учебное пособие для вузов
МПГУ, 2010 г.
ISBN 978-5-94845-202-9
МПГУ : ЭБС
Матросов, Виктор Леонидович
Теория алгоритмов: Сборник задач, Учебное пособие для вузов
МПГУ, 2010 г.
ISBN 978-5-94845-202-9
МПГУ : ЭБС
Экз. чит. зала