Полное описание
>
Сергеева, Лариса Анатольевна. Математические основы профессиональной подготовки педагога. Теория множеств. Математическая логика : учебное пособие / Сергеева Л. А. ; Министерство образования и науки Российской Федерации, Псковский государственный университет. - Псков : Логос, 2024. - 67 с. : ил. - Библиогр.: с. 66. - 100 экз. - ISBN 978-5-6053320-2-2. - Текст (визуальный) : непосредственный.| ГРНТИ | УДК | |
| 27.03.02 | 510.3 | |
| 27.03.19 | 510.6 |
Рубрики:
Множеств теория
Математическая логика
Кл.слова (ненормированные): БИНАРНЫЕ СООТВЕТСТВИЯ -- ЛОГИКА ВЫСКАЗЫВАНИЙ -- ЛОГИКА ПРЕДИКАТОВ -- МНОЖЕСТВА -- ОПЕРАЦИИ НАД МНОЖЕСТВАМИ -- ПРЕПОДАВАНИЕ МАТЕМАТИКИ
Аннотация: Учебное пособие предназначено для студентов направления 44.03.01 "Педагогическое образование", профиль "Начальное образование". Может быть использовано для изучения теории, при проведении практических занятий по дисциплине "Математические основы профессиональной подготовки педагога" для бакалавров очной и заочной форм обучения, для самостоятельного повторения тем, представленных в пособии.
Доп. точки доступа:
Псковский государственный университет
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д11-24/30324)>
Шифр в сводном ЭК: 19359d51f742f75d70d35f52a0310acd
Сергеева, Лариса Анатольевна. Курс лекций по информатике : учебное пособие / Л. А. Сергеева, 2022. - 108, [1] с. - Текст (визуальный) : непосредственный.Сергеева, Лариса Анатольевна. Математические основы профессиональной подготовки педагога. Теория множеств. Математическая логика : учебное пособие / Сергеева Л. А., 2024. - 67 с. - Текст (визуальный) : непосредственный.
Псковский регионологический журнал : науч. изд. / Псковский государственный университет. - Журнал выходит с 2005г. - Текст : непосредственный.Магазеева Н.В. Задачи и упражнения по химии : учебно-методическое пособие / Н. В. Магазеева, 2017. - 81 с. - Текст : непосредственный.Королева Е.А. Металлические конструкции : методические указания по выполнению курсовой работы / Е. А. Королева, 2017. - 79 с. - Текст : непосредственный.Васильев В.Л. Математическое моделирование точности при формообразовании на металлорежущих станках : учебное пособие для магистров с рекомендуемым направлением подготовки 151900.68 - конструкторско-технологическое обеспечение машиностроительных производств / В. Л. Васильев, 2018. - 34 с. - Текст : непосредственный.Пантелеева А.П. Страхование : учебное пособие для студентов направления подготовки 38.03.01 (экономика) / А. П. Пантелеева, 2018. - 198 с. - Текст : непосредственный.Никифоров И.П. Планирование эксперимента и обработка экспериментальных данных : учебное пособие для магистрантов, обучающихся по направлению подготовки 15.04.05 (конструкторско-технологическое обеспечение машиностроительных производств) / И. П. Никифоров, 2019. - 77 с. - Текст : непосредственный.Актуальные проблемы экономической безопасности : сборник статей II Международной молодежной научно-практической конференции, 13-14 декабря 2017 года / Министерство науки и высшего образования Российской Федерации, Псковский государственный университет, 2018. - 151 с. - Текст : непосредственный.Егорова С.Е. Экономический анализ : учебное пособие для студентов, обучающихся по специальности 38.05.01 - экономическая безопасность / С. Е. Егорова, О. А. Соболева, 2017. - 343 с. - Текст : непосредственный.Чиркова Т.Ю. Автоматизированная обработка финансовой информации : учебно-методическое пособие для студентов обучающихся по направлению подготовки 38.03.01 - экономика, все профили / Т. Ю. Чиркова, 2017. - 75 с. - Текст : непосредственный.Манаков А.Г. Этнокультурное пространство России: структура и геодинамика с XVIII века : монография / А. Г. Манаков, 2018. - 207 с. - Текст : непосредственный.Васильев В.Л. Расчет приводов подач станков с ЧПУ : учебное пособие / В. Л. Васильев, 2017. - 120 с. - Текст : непосредственный.Бахотский В.В. Анализ маркетинговой деятельности : практикум / В. В. Бахотский, И. П. Войку, 2017. - 116 с. - Текст : непосредственный.Демидова, С. Е. Финансовая безопасность национальной экономики : учебное пособие. Ч. 1, 2019. - 201 с. - Текст : непосредственный.Конкурентоспособность регионов. Новая геоэкономическая реальность : II международная научно-практическая конференция, 26-28 октября 2016 года: [сборник статей] / Министерство образования и науки Российской Федерации, Псковский государственный университет, 2016. - 274 с. - Текст : непосредственный.Развитие социально ориентированных некоммерческих организаций в экономике и социальной сфере региона : монография / А. Н. Самойлова, А. С. Михеев, О. С. Феоктистова [и др.], 2018. - 148 с. - Текст : непосредственный.Молодёжь - науке, 2018 : материалы молодёжных научно-практических конференций Псковского государственного университета по итогам научно-исследовательской работы в 2017/2018 учебном году / Министерство науки и высшего образования Российской Федерации, Псковский государственный университет ; редакционная коллегия: С. М. Вертешев [и др.]. Т. 7, 2018. - 289 с. - Текст : непосредственный.Молодёжь - науке. 2017 : материалы молодёжных научно-практических конференций Псковского государственного университета по итогам научно-исследовательской работы в 2016/2017 учебном году / Министерство образования и науки Российской Федерации, Псковский государственный университет ; редакционная коллегия: Н. П. Никитина [и др.]. Т. 10, 2017. - 291 с. - Текст : непосредственный.Актуальные вопросы развития учета, анализа и финансового контроля : монография / С. Е. Егорова, И. С. Богданович, С. Н. Богатырева [и др.]; под редакцией С. Е. Егоровой, 2018. - 150 с. - Текст : непосредственный.Дмитриева Ю.В. Основы GR: взаимодействие бизнеса и власти : учебное пособие / Ю. В. Дмитриева, 2017. - 61 с. - Текст : непосредственный.Дмитриева Ю.В. Кадровая политика и аудит : учебное пособие / Ю. В. Дмитриева, 2019. - 77 с. - Текст : непосредственный.
Показать все результатыМир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный.Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный.Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный.Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 2000. - 286 с. - Текст : непосредственный.International series in operations research and management science / ed. F. S. Hillier. 130 : Logic and integer programming / H. P. Williams, 2009. - XI, 155 p. - Текст : непосредственный.Овчинникова Е.В. Структурные свойства и полнота класса регулярных полигонов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Е. В. Овчинникова, 2000. - 12 с. - Текст : непосредственный.Герасимов А.С. Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. С. Герасимов, 2007. - 15 с. - Текст : непосредственный.Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный.Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный.Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный.Никольская И.Л. Знакомство с математической логикой / И. Л. Никольская, 1998. - 128 с. - Текст : непосредственный.Первухин М.А. Теоретико-модельные свойства частично упорядоченных полигонов / М. А. Первухин, 2010. - 18 с. - Текст : непосредственный.Rijke M.de A modal characterization of Peirce algebras / M.de Rijke, 1995. - 14 p. - Текст : непосредственный.Blackburn P. A proof system for finite trees / P. Blackburn, W. Meyer-Viol, M.de Rijke, 1995. - 19 p. - Текст : непосредственный.Шапировский И.Б. Алгоритмические свойства модальных логик информационных систем / И. Б. Шапировский, 2007. - 15 с. - Текст : непосредственный.Булос Д. Вычислимость и логика : монография / Д. Булос, Р. Джеффри, 1994. - 396 c. - Текст : непосредственный.Пак Бен Ха.Субрекурсивная реализуемость и логика предикатов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Пак Бен Ха, 2003. - 12 с. - Текст : непосредственный.Algebra and Model Theory : coll. of papers. 7, 2009. - 152 p. - Текст : непосредственный.Кузнецов С.Л. Категориальные грамматики, основанные на вариантах исчисления Ламбека / С. Л. Кузнецов, 2012. - 12 с. - Текст : непосредственный.Чернов А.В. О некоторых вариантах понятия реализуемости : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. В. Чернов, 2003. - 16 с. - Текст : непосредственный.
Показать все результатыМир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный.Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный.Метакидес Г. Принципы логики и логического программирования / Г. Метакидес, А. Нероуд, 1998. - 288 с. - Текст : непосредственный.Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный.Игошин В.И. Математическая логика и теория алгоритмов : учебное пособие / В. И. Игошин, 2008. - 447 с. - Текст : непосредственный.Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 2000. - 286 с. - Текст : непосредственный.Окстоби Дж. Мера и категория / Дж. Окстоби, 2008. - 157 с. - Текст : непосредственный.Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный.Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный.Козловский А.В. Дискретная математика: Основные теоретико-множественные конструкции : Учеб. пособие. Ч. 7 / ред. Н. В. Крапухина, 2010. - 127 с. - Текст : непосредственный.Transactions on rough sets V / SpringerLink (Online service), 2006 r=on-lineМножества и алгоритмы : выставочные материалы / И. Ю. Харитонова, Н. М. Богословская, Ю. Г. Сергеев, С. И. Вдовин, 2016. - 98 с. - Текст : непосредственный.Baltag A. logic for suspicious players: epistemic actions and belief-update in games / A. Baltag, 2000. - 30 p. - Текст : непосредственный.Шестопал В.Е. Ограничение иерархии фон Неймана в теории множеств Цермело / В. Е. Шестопал, 1997. - 19 с. - Текст : непосредственный.Blackburn P. A proof system for finite trees / P. Blackburn, W. Meyer-Viol, M.de Rijke, 1995. - 19 p. - Текст : непосредственный.Seria monografie / Politech. Czestochowska. nr 149 : Scheduling with applying rough sets theory / H. Piech, 2008. - 170 p. - Текст : непосредственный.Булос Д. Вычислимость и логика : монография / Д. Булос, Р. Джеффри, 1994. - 396 c. - Текст : непосредственный.Хаусдорф Ф. Теория множеств : монография / Ф. Хаусдорф, 2004. - 302 с. - Текст : непосредственный.Орехов Ю.В. Математическая логика / Ю. В. Орехов, Э. Ю. Орехов, 2006. - 161 с. - Текст : непосредственный.Makkai M. Duality and definability in first order logic / M. Makkai, 1993. - X,106 p. p. - Текст : непосредственный.
Показать все результатыОвчинникова Е.В. Структурные свойства и полнота класса регулярных полигонов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Е. В. Овчинникова, 2000. - 12 с. - Текст : непосредственный.Герасимов А.С. Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. С. Герасимов, 2007. - 15 с. - Текст : непосредственный.Первухин М.А. Теоретико-модельные свойства частично упорядоченных полигонов / М. А. Первухин, 2010. - 18 с. - Текст : непосредственный.Шапировский И.Б. Алгоритмические свойства модальных логик информационных систем / И. Б. Шапировский, 2007. - 15 с. - Текст : непосредственный.Algebra and Model Theory : coll. of papers. 7, 2009. - 152 p. - Текст : непосредственный.Душенин Д.И. Абелевы Р-группы и автоустойчивость относительно оракула : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Д. И. Душенин, 2013. - 14 с. - Текст : непосредственный.Нагорный Н.М. К вопросу о непротиворечивости классической формальной арифметики / Н. М. Нагорный, 1995. - 25 c. - Текст : непосредственный.Journal of Symbolic Logic. - Журнал r=on-line. - Текст : непосредственный.Ромина А.В. Автоустойчивость и представимость моделей в допустимых множествах : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. В. Ромина, 2001. - 8 с. - Текст : непосредственный.Бунина Е.И. Автоморфизмы и элементарная эквивалентность групп Шевалле и других производных структур : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени д-ра физ.-мат. наук / Е. И. Бунина, 2010. - 32 с. - Текст : непосредственный.Фокина Е.Б. О тьюринговой сложности классов моделей и теорий : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени канд. физ.-мат. наук / Е. Б. Фокина, 2008. - 15 с. - Текст : непосредственный.Maanen H.A.N.van Axioms for No-categorical orderings / H. A.N.van Maanen, 1994. - 9 p. - Текст : непосредственный.Казанцев А.В. Элементы математической логики : выставочные материалы / А. В. Казанцев, 2013. - 147 с. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
Заказ фрагмента документа ₽