Выбор БД
Сортировать по:
1. Документ
bookCover
Савинков Владимир Ильич.
Социальная оценка качества и востребованность образования : учебное пособие / В. И. Савинков, П. А. Бакланов ; под редакцией Г. В. Осипова. – 2-е изд. ; пер. и доп. – Москва : Юрайт, 2024. – 255 с. – (Высшее образование). – Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. – URL: https://urait.ru/bcode/540402 (дата обращения: 01.11.2024). – URL: https://urait.ru/bcode/540402. – URL: https://urait.ru/book/cover/65E82FCF-0F30-4E2E-AFDF-46FAFE950CA7. – ISBN 978-5-534-11468-3.
Авторы: Савинков Владимир Ильич, Бакланов Павел Анатольевич, Осипов Геннадий Васильевич
Ключевые слова: Образование и педагогика. Общие работы, Педагогика, психология, социальная работа, Управление образовательными системами, Управление качеством образования, Измерения и оценка качества образования, Проблемы качества образования, Оценка качества образовательных систем, Мониторинг и оценка качества образования, Мониторинг качества образования, Теория и технология мониторинга качества образования, Мониторинг и оценка качества образования в высшей школе, Социологические исследования в образовании
ББК: 74.202.4
УДК: 37.026
Для просмотра необходимо войти в личный кабинет
Подробнее
Аннотация: В настоящем учебном пособии детально анализируются вопросы совершенствования системы образования, изучается спрос широких слоев населения на различные виды образования, доступность качественного образования и мотивация родителями образовательной траектории детей, подробно рассматривается каждая из ступеней системы образования. Теоретические положения подкреплены данными общероссийских социологических исследований. В заключении авторами затронуты наиболее актуальные проблемы и задачи развития российского образования.
2. Документ
bookCover
Паршенкова Ю. А.
Сборник практических заданий по дисциплине «Математическая логика и теория алгоритмов». Часть 2. Ч. 2 / Паршенкова Ю. А. – Москва : РТУ МИРЭА, 2024. – 67 с. – URL: https://e.lanbook.com/book/421124. – URL: https://e.lanbook.com/img/cover/book/421124.jpg. – ISBN 978-5-7339-2225-6.
Авторы: Паршенкова Ю. А.
ББК: 22.12
УДК: 510.6
Для просмотра необходимо войти в личный кабинет
Подробнее
Аннотация: Практикум для занятий по дисциплине «Математическая логика и теория алгоритмов». Практикум предназначен для студентов направлений подготовки 09.03.02 «Информационные системы и технологии», 10.03.01 «Информационная безопасность», 10.05.03 «Информационная безопасность автоматизированных систем», 10.05.04 «Информационно-аналитические системы безопасности», 10.05.05 «Безопасность информационных технологий в правоохранительной сфере»
3. Документ
bookCover
Паршенкова Ю. А.
Сборник практических заданий по дисциплине «Математическая логика и теория алгоритмов». Часть 1: Практикум. Ч. 1 / Паршенкова Ю. А. – Москва : РТУ МИРЭА, 2024. – 67 с. – URL: https://e.lanbook.com/book/420872. – URL: https://e.lanbook.com/img/cover/book/420872.jpg. – ISBN 978-5-7339-2184-6.
Авторы: Паршенкова Ю. А.
ББК: 22.12
УДК: 510.6
Для просмотра необходимо войти в личный кабинет
Подробнее
Аннотация: Практикум для занятий по дисциплине «Математическая логика и теория алгоритмов». Практикум предназначен для студентов направлений подготовки 09.03.02 «Информационные системы и технологии», 10.03.01 «Информационная безопасность», 10.05.03 «Информационная безопасность автоматизированных систем», 10.05.04 «Информационно-аналитические системы безопасности», 10.05.05 «Безопасность информационных технологий в правоохранительной сфере».
4. Документ
bookCover
Седова, Н. А.
Нечеткие отношения : учебное пособие / Н. А. Седова. – Нечеткие отношения ; Весь срок охраны авторского права. – Москва : Ай Пи Ар Медиа, 2024. – 60 с. – электронный. – Книга находится в премиум-версии IPR SMART. – Текст. – URL: https://www.iprbookshop.ru/140616.html. – ISBN 978-5-4497-3156-2.
Авторы: Седова, Н. А.
Ключевые слова: математическая логика, нечеткие отношения, бинарное нечеткое отношение, нечеткое отношение
ББК: 22.12
УДК: 510.6
Подробнее
Аннотация: Учебное пособие содержит материалы для изучения раздела «Нечеткие отношения» дисциплины «Математическая логика» и состоит из теоретической части, примеров, вопросов для самоподготовки, а также из 5 индивидуальных практических заданий, в каждом из которых 30 индивидуальных вариантов. Такая структура позволит студенту, изучившему теоретическую часть, получить индивидуальный вариант заданий для самостоятельного решения, а преподавателю — сформировать различные индивидуальные задания для контроля усвоения настоящего раздела. Подготовлено в соответствии с Федеральным государственным образовательным стандартом высшего образования. Учебное пособие предназначено для студентов направления подготовки «Информатика и вычислительная техника», изучающих дисциплину «Математическая логика».
5. Документ
bookCover
Яхъяева, Г. Э.
Нечеткие множества и нейронные сети : учебное пособие / Г. Э. Яхъяева. – Нечеткие множества и нейронные сети ; 2026-07-28. – Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2024. – 315 с. – электронный. – Книга находится в премиум-версии IPR SMART. – Текст. – URL: https://www.iprbookshop.ru/142277.html. – ISBN 978-5-4497-3309-2.
Авторы: Яхъяева, Г. Э.
Ключевые слова: нечеткое множество, нейронная сеть, сеть Хопфилда, машина Больцмана, когнитрон, неокогнитрон, метод Хэбба, обучение персептрона, метод Уидроу-Хоффа, обучение Коши
ББК: 22.12
УДК: 004.032
Подробнее
Аннотация: Двумя популярными направлениями Artificial Intelligence являются теория нечетких множеств (fuzzy sets) и теория нейронных сетей (neuron nets). Данное учебное пособие является систематизированным вводным курсом в эти два направления. Издание ориентировано на студентов высших учебных заведений, обучающихся по направлениям подготовки и специальностям в области информационных технологий.
6. Документ
bookCover
Афанасьев, С. Г.
Математическая логика : учебное пособие / С. Г. Афанасьев. – Математическая логика ; Весь срок охраны авторского права. – Москва : Ай Пи Ар Медиа, 2024. – 82 с. – электронный. – Книга находится в премиум-версии IPR SMART. – Текст. – URL: https://www.iprbookshop.ru/142561.html. – ISBN 978-5-4497-3544-7.
Авторы: Афанасьев, С. Г.
Ключевые слова: математическая логика, алгебра высказываний, исчисление высказываний, алгебра предикатов, рассуждение
ББК: 22.12
УДК: 510.6
Подробнее
Аннотация: Учебное пособие написано с учетом современных требований к подготовке специалистов высших учебных заведений, на базе лекций, прочитанных автором для студентов Северо-Кавказского социального института. В нем приводятся необходимые теоретические сведения по основным разделам математической логики: алгебре высказываний, исчислении высказываний, алгебре предикатов и рассуждениях, а также примеры, поясняющие их. Наряду со словесно-повествовательным характером изложения материала используется условная символика математического языка. Подготовлено в соответствии с Федеральным государственным образовательным стандартом высшего образования. Предназначено для студентов вузов, образовательная программа которых содержит дисциплины, включающие в себя математическую логику, элементы математической логики, элементы высшей математики. Издание может быть использовано как в аудиторной учебной работе, так и для самостоятельной подготовки студентов.
7. Документ
bookCover
Васюков, В. Л.
Квантовая логика / В. Л. Васюков. – Квантовая логика ; 2029-04-01. – Москва : ПЕР СЭ, Ай Пи Ар Медиа, 2024. – 192 с. – электронный. – Книга находится в премиум-версии IPR SMART. – Текст. – URL: https://www.iprbookshop.ru/140936.html. – ISBN 5-9292-0142-0.
Авторы: Васюков, В. Л.
Ключевые слова: квантовая логика, логическое исчисление, ортомодулярность, топос, логика Лукасевича, стрелка Сасаки, квантовая импликация, квантовая динамика, ортологика времени, бесконечнозначная логика
ББК: 22.12
УДК: 510
Подробнее
Аннотация: Книга посвящена квантовой логике — интердисциплинарной области науки, интересующей физиков, математиков, логиков и философов. Квантовая логика рассматривается автором монографии, прежде всего, с точки зрения логических исчислений и логической техники. Главное внимание уделяется синтаксической реконструкции систем квантовой логики и построению различного рода абстрактных семантик для полученных систем. Философские вопросы, возникающие в процессе построения систем квантовой логики, например, природы времени в квантовом мире, рассматриваются и решаются сквозь призму неклассических методов современной логики. Вместе с тем в книге кратко описывается история квантовой логики и дается обзор современных направлений исследований в этой области. Особый интерес представляют последние три главы книги, посвященные построенной автором так называемой квантовой логике наблюдаемых, призванной преодолеть разрыв между используемыми в большинстве квантовологических исследований формализмами и математическим аппаратом современной квантовой теории.
8. Документ
bookCover
Щербатых С. В.
Фундаментальные проблемы обучения математике, информатике и информатизации образования: сборник тезисов докладов международной научной конференции. 29 сентября – 1 октября 2023 г. / Щербатых С. В.,Дворяткиной С. Н.,Симоновской Г. А. – Елец : ЕГУ им. И.А. Бунина, 2023. – 264 с. – URL: https://e.lanbook.com/book/393395. – URL: https://e.lanbook.com/img/cover/book/393395.jpg. – ISBN 978-5-00151-379-7.
Авторы: Щербатых С. В., Дворяткиной С. Н., Симоновской Г. А.
ББК: 74.262.21
УДК: 51:37
Для просмотра необходимо войти в личный кабинет
Подробнее
Аннотация: В сборнике представлены тезисы докладов, сделанных на Международной научной конференции «Фундаментальные проблемы обучения математике, информатике и информатизации образования». Авторские материалы распределены по пяти разделам, первый из которых связан с пленарными докладами, а остальные соответствуют секциям, на которых представлялись сообщения. В конференции приняли участие ведущие и молодые учѐные России, а также стран дальнего (Малайзия, США) и ближнего (Армения, Белоруссия, Казахстан, Узбекистан) зарубежья. Свои материалы представили исследователи Алматы, Армавира, Архангельска, Астрахани, Брянска, Владикавказа, Волгограда, Вятки, Екатеринбурга, Ельца, Костромы, Краснодара, Куала-Лумпуры, Липецка, Минска, Москвы, Нижнего Новгорода, Новосибирска, Омска, Орла, Оренбурга, Самары, Санкт-Петербурга, Саратова, Тамбова, Ташкента, Туркестана, Шымкента и Ярославля.
9. Документ
bookCover
Долгошеева Е. В.
Теоретические основы начального курса математики с методикой преподавания : учебно-методическое пособие / Долгошеева Е. В. – Елец : ЕГУ им. И.А. Бунина, 2023. – 81 с. – URL: https://e.lanbook.com/book/393251. – URL: https://e.lanbook.com/img/cover/book/393251.jpg. – ISBN 978-5-00151-398-8.
Авторы: Долгошеева Е. В.
ББК: 74.262.21
УДК: 378.02: 372.8
Для просмотра необходимо войти в личный кабинет
Подробнее
Аннотация: В учебно-методическом пособии представлены материалы по дисциплине «Теория и методика обучения математике», раскрывающие вопросы методики формирования у младших школьников умения решать простые и первые составные арифметические задачи. Содержание издания направленно на формирование у обучающихся компетенций, установленных образовательными программами среднего профессионального образования и закрепленных в действующих федеральных государственных образовательных стандартах среднего профессионального образования по специальности 44.02.02 Преподавание в начальных классах. Пособие адресовано преподавателям и обучающимся образовательных организаций, реализующих программы подготовки специалистов среднего звена по данной специальности.
10. Документ
bookCover
Нонь Н. А.
Основы системного анализа и математической обработки данных / Нонь Н. А.,Осипова Л. А.,Долматова Т. А. – Новокузнецк : КГПИ КемГУ, 2023. – 115 с. – URL: https://e.lanbook.com/book/392114. – URL: https://e.lanbook.com/img/cover/book/392114.jpg. – ISBN 978-5-8353-2509-2.
Авторы: Нонь Н. А., Осипова Л. А., Долматова Т. А.
ББК: 22.12
УДК: 517+519.2(075.8)
Для просмотра необходимо войти в личный кабинет
Подробнее
Аннотация: Учебное пособие предназначено для освоения дисциплин «Основы системного анализа и математической обработки данных», «Основы системного анализа и математической обработки информации», «Основы математической обработки информации» для направлений обучения бакалавриата укрупненного направления 44.03.00 Образование и педагогические науки и будет способствовать наиболее рациональной организации аудиторной и самостоятельной работы по изучению данных курсов.проведения научно-исследовательских работ.
11. Документ
bookCover
Людковский С. В.
Основы математической логики : учебное пособие / Людковский С. В.,Дзержинский Р. И.,Волощук С. А. – Москва : РТУ МИРЭА, 2023. – 63 с. – URL: https://e.lanbook.com/book/382439. – URL: https://e.lanbook.com/img/cover/book/382439.jpg. – ISBN 978-5-7339-1859-4.
Авторы: Людковский С. В., Дзержинский Р. И., Волощук С. А.
ББК: 22.12
УДК: 510.6 (075.8)
Для просмотра необходимо войти в личный кабинет
Подробнее
Аннотация: Учебное пособие содержит теоретический материал по курсу «Основы математической логики», примеры и библиографический специальностей, включая направления «информатика», «прикладная математика», изучающих разделы: функции алгебры логики, исчисление высказываний, семантические парадоксы, полные системы связок, аксиоматика и теория исчислений высказываний, теории первого порядка, кванторы, интерпретации и модели, метатеоремы и теоремы теории первого порядка по курсам «Основы математической логики и теории алгоритмов» и «Основы математической логики и теории автоматов». Материал предназначен для студентов дневного отделения по курсу «Математическая логика и теория алгоритмов» или «Математическая логика и теория автоматов» для студентов, обучающихся по специальностям 01.03.04 «Прикладная математика», 09.03.03 «Прикладная информатика» и может быть использован для самостоятельной работы при освоении курса кафедры.
12. Документ
bookCover
Паршенкова Ю. А.
Основы математической логики / Паршенкова Ю. А.,Кунин Н. Т.,Алексеенко А. С. – Москва : РТУ МИРЭА, 2023. – 27 с. – URL: https://e.lanbook.com/book/368666. – URL: https://e.lanbook.com/img/cover/book/368666.jpg. – ISBN 978-5-7339-1770-2.
Авторы: Паршенкова Ю. А., Кунин Н. Т., Алексеенко А. С.
ББК: 22.12
УДК: 510.6
Для просмотра необходимо войти в личный кабинет
Подробнее
Аннотация: Практикум для занятий по дисциплине «Математическая логика и теория алгоритмов». Практикум предназначен для студентов направлений подготовки 09.03.02 «Информационные системы и технологии», 10.03.01 «Информационная безопасность», 10.05.03 «Информационная безопасность автоматизированных систем», 10.05.04 «Информационно-аналитические системы безопасности», 10.05.05 «Безопасность информационных технологий в правоохранительной сфере»
13. Документ
bookCover
Организация и проведение уроков математики в условиях смешанного обучения / Дербуш М. В.,Костюченко Р. Ю.,Скарбич С. Н.,Фисенко Т. П. – Омск : ОмГПУ, 2023. – 60 с. – URL: https://e.lanbook.com/book/416552. – URL: https://e.lanbook.com/img/cover/book/416552.jpg. – ISBN 978-5-8268-2371-2.
Авторы: Дербуш М. В., Костюченко Р. Ю., Скарбич С. Н., Фисенко Т. П.
ББК: 74.262.21
УДК: 373.5:51
Для просмотра необходимо войти в личный кабинет
Подробнее
Аннотация: Методические рекомендации содержат теоретический блок, связанный с особенностями реализации смешанного обучения математике, а также дидактико-методическую часть, в которой показаны примеры организации уроков математики с использованием различных моделей; даны практические советы по планированию занятий (структура урока с учетом различных моделей смешанного обучения, выбор цифрового контента, организация деятельности учащихся и т. д.). Материалы будут полезны учителям математики, студентам и магистрантам педагогических вузов.
14. Документ
bookCover
Магомедов Н. Г.
Обучение решению текстовых задач в начальных классах : учебно-методическое пособие для студентов 2-3 курсов бакалавриата по профилю подготовки «начальное образование» фнк / Магомедов Н. Г.,Нурмагомедов Д. М. – Махачкала : ДГПУ, 2023. – 103 с. – URL: https://e.lanbook.com/book/330065. – URL: https://e.lanbook.com/img/cover/book/330065.jpg.
Авторы: Магомедов Н. Г., Нурмагомедов Д. М.
ББК: 74.262.21
УДК: 37
Для просмотра необходимо войти в личный кабинет
Подробнее
Аннотация: Настоящее учебное пособие содержит материал для практических занятий по разделу – «Обучение решению текстовых задач на уроках математики в начальных классах» в полном соответствии с программными требованиями. Прежде всего, он обращен к студентам обучающим по направлению 44.03.01. «Педагогическое образование, профиль «Начальное образование», а также студентам педагогических колледжей, которые хотели бы «освежить» в памяти те или иные вопросы начального курса математики. Для учителей учебное пособие также может быть полезен, так как в кратком и концентрированном виде содержит все необходимые сведения по текстовым задачам: приемы, методы и способы их решения. Такое содержание справочника позволит учителю при необходимости быстро восстановить нужную информацию, не обращаясь при этом к различным учебникам или конспектам лекций. Предлагаемое пособие предназначено для студентов 2-3 курсов факультета начальных классов обучающихся по направлению 44.03.01 - «Педагогическое образование». Профиль: «Начальное образование», педколледжей и учителей начальных классов.
15. Документ
bookCover
Лыкова К. Г.
Научно-методические особенности формирования стохастического мировоззрения старшеклассников в условиях цифровизации математического образования : монография / Лыкова К. Г.,Щербатых С. В. – Елец : ЕГУ им. И.А. Бунина, 2023. – 160 с. – URL: https://e.lanbook.com/book/393293. – URL: https://e.lanbook.com/img/cover/book/393293.jpg. – ISBN 978-5-00151-352-0.
Авторы: Лыкова К. Г., Щербатых С. В.
ББК: 74.262.21
УДК: 372.8
Для просмотра необходимо войти в личный кабинет
Подробнее
Аннотация: Монография направлена на решение проблемы реализации методики формирования стохастического мировоззрения старшеклассников в условиях цифровизации математического образования за счет разработки еѐ теоретико-методологических основ, технологий и дидактических механизмов. В книге выявлены основные принципы формирования мировоззрения школьников; установлены содержательные характеристики мировоззрения в исследованиях учѐных разных стран историко-философского, психологического и педагогического характера; выявлен мировоззренческий потенциал стохастики, направленный на развитие у учащихся мировоззренческих ориентиров и качеств; проведѐн анализ функциональных возможностей различных средств цифровых технологий, применяемых при обучении стохастике. Книга предназначена для преподавателей вузов, учителей математики, аспирантов, магистрантов, бакалавров педагогического направления подготовки вузов.
16. Документ
bookCover
Магомедов Н. Г.
Материалы для практических занятий по дисциплине «Методика преподавания математики в начальных классах» : учебно-методическое пособие для студентов 3 курса фнк / Магомедов Н. Г.,Нурмагомедов Д. М. – Махачкала : ДГПУ, 2023. – 73 с. – URL: https://e.lanbook.com/book/330059. – URL: https://e.lanbook.com/img/cover/book/330059.jpg.
Авторы: Магомедов Н. Г., Нурмагомедов Д. М.
ББК: 74.262.21
УДК: 37
Для просмотра необходимо войти в личный кабинет
Подробнее
Аннотация: В предлагаемом учебно-методическом пособии приводится материалы практических занятий для 3-курса ФНК по дисциплине «Методика преподавания математики в начальных классах». Материал подобран с учетом реализации требований новых ФГОС НОО и компетентного подхода в подготовке бакалавров. В данном учебно-методическом пособии, на основе планируемых результатов изучения дисциплины, сформулированы компетентностно- ориентированные цели. Предложены, разработанные нами в соответствии учебным планом и программой, материалы практических занятий для каждого ее раздела, задания исследовательского характера, а также задания для домашней самостоятельной работы. Материалы пособия ориентированы и на реализацию требований нового стандарта начальной общеобразовательной школы в области обучения математике младших школьников и предназначено студентам 3 курса ФНК.
17. Документ
bookCover
Магомедов Н. Г.
Материалы для практических занятий по дисциплине «Методика преподавания математики в начальных классах» : учебно-методическое пособие для студентов 2 курса фнк / Магомедов Н. Г.,Нурмагомедов Д. М. – Махачкала : ДГПУ, 2023. – 114 с. – URL: https://e.lanbook.com/book/330056. – URL: https://e.lanbook.com/img/cover/book/330056.jpg.
Авторы: Магомедов Н. Г., Нурмагомедов Д. М.
ББК: 74.262.21
УДК: 37
Для просмотра необходимо войти в личный кабинет
Подробнее
Аннотация: В учебно-методическом пособии приведены материалы практических занятий по дисциплине «Методика преподавания математики» с учетом реализации требований новых ФГОС НОО и компетентного подхода в подготовке студентов. В нем, на основе ожидаемых результатов изучения дисциплины, сформулированы компетентностно - ориентированные цели, разработаны соответствующие материалы практических занятий для каждого ее раздела, а также задания для домашней работы. Особое внимание в пособии уделяется решению методических задач, выполнению заданий творческого и исследовательского характера. Материалы пособия ориентированы на реализацию требований новых стандартов в области обучения математике младших школьников и предназначено студентам 2 курса ФНК.
18. Документ
bookCover
Червенчук, И. В.
Математические основания информатики : учебное пособие / И. В. Червенчук, В. Д. Червенчук, А. С. Грицай. – Математические основания информатики ; 2029-06-27. – Омск : Омский государственный технический университет, 2023. – 104 с. – электронный. – Книга находится в премиум-версии IPR SMART. – Текст. – URL: https://www.iprbookshop.ru/140838.html. – ISBN 978-5-8149-3645-5.
Авторы: Червенчук, И. В., Червенчук, В. Д., Грицай, А. С.
Ключевые слова: дискретная математика, предикат, информатика, теория множеств, логическая функция, язык логики
ББК: 22.12
УДК: 510.22
Подробнее
Аннотация: Рассмотрены основы дискретной математики и языка логики предикатов на базе теоретико-множественной концепции с учетом современных требований, предъявляемых к изучению математических дисциплин в высшей школе. Предназначено для обучающихся по направлению 09.04.01 «Информатика и вычислительная техника».
19. Документ
bookCover
Паршенкова Ю. А.
Математическая логика и теория алгоритмов : методические указания / Паршенкова Ю. А.,Кунин Н. Т.,Алексеенко А. С. – Москва : РТУ МИРЭА, 2023. – 43 с. – URL: https://e.lanbook.com/book/368657. – URL: https://e.lanbook.com/img/cover/book/368657.jpg.
Авторы: Паршенкова Ю. А., Кунин Н. Т., Алексеенко А. С.
ББК: 22.12
УДК: 510.6
Для просмотра необходимо войти в личный кабинет
Подробнее
Аннотация: Методические указания для занятий по дисциплине «Математическая логика и теория алгоритмов». Методические указания предназначены для студентов направлений подготовки 09.03.02 «Информационные системы и технологии», 10.03.01 «Информационная безопасность», 10.05.03 «Информационная безопасность автоматизированных систем», 10.05.04 «Информационно-аналитические системы безопасности», 10.05.05 «Безопасность информационных технологий в правоохранительной сфере»
20. Документ
bookCover
Лежнина Ю. А.
Дискретная математика. Часть 1. Ч. 1 / Лежнина Ю. А. – Москва : РТУ МИРЭА, 2023. – 81 с. – URL: https://e.lanbook.com/book/382748. – URL: https://e.lanbook.com/img/cover/book/382748.jpg. – ISBN 978-5-7339-1950-8.
Авторы: Лежнина Ю. А.
ББК: 22.12
УДК: 510
Для просмотра необходимо войти в личный кабинет
Подробнее
Аннотация: Пособие содержит теоретический материал: основные определения, теоремы и методы решения типовых задач по дисциплине «Дискретная математика», необходимые для освоения компетенций согласно рабочей программе данной дисциплины. Подробно представлена теория и методы решения основных задач по следующим темам: элементы теории множеств, элементы комбинаторики, логика высказываний, исчисление высказываний, логика предикатов, исчисление предикатов