Приложение
для AndroidПолное описание
51/Р 930
Рыбаков, Николай Сергеевич. Введение в логику высказываний : учебное пособие / Н. С. Рыбаков ; Министерство науки и высшего образования Российской Федерации, Псковский государственный университет. - Псков : Псковский гос. ун-т, 2020. - 167 с. : ил. - Библиогр.: с. 167 (18 назв.). - 300 экз. - ISBN 978-5-91116-917-6 : 400 р. - Текст (визуальный) : непосредственный.
| ГРНТИ | УДК | |
| 27.03.19 | 510.633 |
Рубрики:
Алгебра логики
Кл.слова (ненормированные): мышление -- логика предикатов -- отрицание -- конъюнкция -- дизъюнкция -- импликация -- следование -- эквивалентность -- умозаключения
Аннотация: Настоящее пособие написано на основе многолетнего преподавания логики в различных вузах г. Пскова (Псковский государственный педагогический институт, впоследствии - университет, Вольный университет, филиал Санкт-Петербургского университета экономики и финансов в г. Пскове, Псковский филиал института государственного управления и др.). В нем отражен авторский опыт подготовки учителей логики общеобразовательных учебных учреждений в Псковском областном институте повышения квалификации работников образования. Учебное пособие предназначено для учащихся старших классов, студентов различных направлений подготовки, учителей школ и преподавателей вузов, а также для лиц, занимающихся самообразованием.
Доп. точки доступа:
Псковский государственный университет
Имеются экземпляры в отделах: всего 2 : ХРЦ (2)
Свободны: ХРЦ (2)
Обложка
Рыбаков, Николай Сергеевич. Логика и теория аргументации : практикум / Н. С. Рыбаков, 2021. - 82 с. - Текст (визуальный) : непосредственный.Рыбаков, Николай Сергеевич. Методология научного исследования : учебное пособие / Н. С. Рыбаков, 2024. - 281 с. - Текст (визуальный) : непосредственный.Рыбаков, Николай Сергеевич. Введение в логику высказываний : учебное пособие / Н. С. Рыбаков, 2020. - 167 с. - Текст (визуальный) : непосредственный.
Вестник Псковского государственного университета. Серия "Естественные и физико-математические науки" : научное издание / Псковский государственный университет. - Журнал выходит с 2012г. - Текст : непосредственный.Вестник Псковского государственного университета. Серия Технические науки : журнал / Псковский государственный университет. - Журнал выходит с 2015г. - Текст : непосредственный.Вестник Псковского государственного университета. Серия "Экономика, право и управление" : журнал. - Журнал выходит с 2015г. - Текст : непосредственный.Псковский регионологический журнал : научное издание / Псковский государственный университет. - Журнал выходит с 2005г. - Текст : непосредственный.Чиркова Т.Ю. Автоматизированная обработка финансовой информации : учебно-методическое пособие для студентов обучающихся по направлению подготовки 38.03.01 - экономика, все профили / Т. Ю. Чиркова, 2017. - 75 с. - Текст : непосредственный.Бахотский В.В. Анализ маркетинговой деятельности : практикум / В. В. Бахотский, И. П. Войку, 2017. - 116 с. - Текст : непосредственный.Пантелеева А.П. Страхование : учебное пособие для студентов направления подготовки 38.03.01 (экономика) / А. П. Пантелеева, 2018. - 198 с. - Текст : непосредственный.Егорова С.Е. Экономический анализ : учебное пособие для студентов, обучающихся по специальности 38.05.01 - экономическая безопасность / С. Е. Егорова, О. А. Соболева, 2017. - 343 с. - Текст : непосредственный.Магазеева Н.В. Задачи и упражнения по химии : учебно-методическое пособие / Н. В. Магазеева, 2017. - 81 с. - Текст : непосредственный.Никифоров И.П. Планирование эксперимента и обработка экспериментальных данных : учебное пособие для магистрантов, обучающихся по направлению подготовки 15.04.05 (конструкторско-технологическое обеспечение машиностроительных производств) / И. П. Никифоров, 2019. - 77 с. - Текст : непосредственный.Актуальные проблемы экономической безопасности : сборник статей II Международной молодежной научно-практической конференции, 13-14 декабря 2017 года / Министерство науки и высшего образования Российской Федерации, Псковский государственный университет, 2018. - 151 с. - Текст : непосредственный.Государственно-правовой механизм обеспечения экологической безопасности в России : коллективная монография / Б. Б. Казак, С. В. Васильев, Т. К. Кириллова [и др.], 2017. - 235 с. - Текст : непосредственный.Манаков А.Г. Этнокультурное пространство России: структура и геодинамика с XVIII века : монография / А. Г. Манаков, 2018. - 207 с. - Текст : непосредственный.Демидова, С. Е. Финансовая безопасность национальной экономики : учебное пособие. Ч. 1, 2019. - 201 с. - Текст : непосредственный.Королева Е.А. Металлические конструкции : методические указания по выполнению курсовой работы / Е. А. Королева, 2017. - 79 с. - Текст : непосредственный.Конкурентоспособность регионов. Новая геоэкономическая реальность : II международная научно-практическая конференция, 26-28 октября 2016 года : [сборник статей] / Министерство образования и науки Российской Федерации, Псковский государственный университет, 2016. - 274 с. - Текст : непосредственный.Развитие социально ориентированных некоммерческих организаций в экономике и социальной сфере региона : монография / А. Н. Самойлова, А. С. Михеев, О. С. Феоктистова [и др.], 2018. - 148 с. - Текст : непосредственный.Васильев В.Л. Расчет приводов подач станков с ЧПУ : учебное пособие / В. Л. Васильев, 2017. - 120 с. - Текст : непосредственный.Васильев В.Л. Математическое моделирование точности при формообразовании на металлорежущих станках : учебное пособие для магистров с рекомендуемым направлением подготовки 151900.68 - конструкторско-технологическое обеспечение машиностроительных производств / В. Л. Васильев, 2018. - 34 с. - Текст : непосредственный.Молодёжь - науке. 2018 : материалы молодёжных научно-практических конференций Псковского государственного университета по итогам научно-исследовательской работы в 2017/2018 учебном году / Министерство науки и высшего образования Российской Федерации, Псковский государственный университет ; редакционная коллегия: С. М. Вертешев [и др.]. Т. 7, 2018. - 289 с. - Текст : непосредственный.
Показать все результатыФедоряев С.Т. Структурные свойства алгебраической сводимости конструктивизаций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. Т. Федоряев, 1991. - 11 с. - Текст : непосредственный.Хасидашвили З.О. Системы редукции форм и редукции сокращенных форм и -термов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / З. О. Хасидашвили, 1991. - 14 с. - Текст : непосредственный.Судоплатов С.В. Базируемость стабильных теорий и свойства счетных моделей с мощными типами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. В. Судоплатов, 1990. - 13 с. - Текст : непосредственный.Важенин Ю.М. Критические теории первого порядка : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / Ю. М. Важенин, 1992. - 21 с. - Текст : непосредственный.Симонова И.Г. Доказуемостно-интуиционистская логика и ее расширения : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / И. Г. Симонова, 1992. - 16 с. - Текст : непосредственный.Любецкий В.А. Оценки и пучки теоремы переноса : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17;01.01.06 / В. А. Любецкий, 1991. - 34 с. - Текст : непосредственный.Омаров А.И. Р-формулы и булевы конструкции в теории моделей и универсальной алгебре : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / А. И. Омаров, 1992. - 19 с. - Текст : непосредственный.Касымов Н.Х. Рекурсивно отделимые нумерованные алгебры : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук:01.01.06 / Н. Х. Касымов, 1993. - 16 с. - Текст : непосредственный.Архангельский Д.А. Информационные логики : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / Д. А. Архангельский, 1993. - 16 с. - Текст : непосредственный.Венцов Ю.Г. Условия эффективности выбора в теории конструктивных моделей : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.06 / Ю. Г. Венцов, 1994. - 20 с. - Текст : непосредственный.Победин Л.Н. Теория вычислений с двуместными оракулами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Л. Н. Победин, 1993. - 10 с. - Текст : непосредственный.Пантелеев В.И. Полиномиальные разложения конечнозначных функций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / В. И. Пантелеев, 1994. - 14 с. - Текст : непосредственный.Белеградек О.В. Теория моделей унитреугольных и экзистенциально замкнутых групп : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / О. В. Белеградек, 1995. - 32 с. - Текст : непосредственный.Хомич В.И. Проблема отделимости в пропозициональных исчислениях : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17 / В. И. Хомич, 1995. - 27 с. - Текст : непосредственный.Машурян А.С. Исследование рекурсивных схем на конечных моделях некоторых нетрадиционных арифметических теорий : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / А. С. Машурян, 1995. - 14 с. - Текст : непосредственный.Ешкеев А.Р. Ионсоновские теории : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:01.01.06 / А. Р. Ешкеев, 1995. - 17 с. - Текст : непосредственный.Кудинов О.В. Автоустойчивость конструктивных моделей : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / О. В. Кудинов, 1995. - 12 с. - Текст : непосредственный.Бабенышев С.В. Исследования допустимых правил в нестандартных логиках : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. В. Бабенышев, 1995. - 13 с. - Текст : непосредственный.Конев Б.Ю. Оценки высоты термов в наиболее общем унификаторе : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / Б. Ю. Конев, 1999. - 15 с. - Текст : непосредственный.Сидон Т.Л. Динамические логики доказательств с оператором доказуемости : Автореферат диссертации на соискание ученой степени канд.физ.-мат. наук:01.01.06 / Т. Л. Сидон, 1997. - 12 с. - Текст : непосредственный.
Показать все результатыAlgebraic logic / сост. H. Andreka, 1991. - VI,746 p. p. - Текст : непосредственный.Schmidt G. Relations and graphs : Discrete mathematics for computer scientists / G.Schmidt,T.Str@:ohlein, 1993. - VIII,301 p. p. - Текст : непосредственный.Волгин Л.И. Свойства и законы двоичной булевой алгебры на множестве комплексных и действительных чисел: АМ-алгебра и ее применения : Лекция по курсу "Лог. основы и модели нейрон. сетей" / Л.И.Волгин, 1994. - 36 c. - Текст : непосредственный.Обухов В.Е. Логические уравнения и прикладные задачи / В.Е.Обухов,В.В.Павлов, 1992. - 187 c. - Текст : непосредственный.Rijke M.de The logic peirce algebras / M.de Rijke, 1994. - 23 p. - Текст : непосредственный.Pinus A.G. Constructions of boolean algebras / A.G.Pinus, 1994. - 208 c. - Текст : непосредственный.Волгин Л.И. Свойства и законы двоичной булевой алгебры на множестве комплексных и действительных чисел: АМ-алгебра и ее применения : Лекция по курсу "Лог. основы и модели нейрон. сетей" / Л.И.Волгин, 1995. - 38 c. - Текст : непосредственный.Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный.Rijke M.de A modal characterization of Peirce algebras / M.de Rijke, 1995. - 14 p. - Текст : непосредственный.Schaller C. Verallgemeinerung der Stone schen Satze : Diss / C.Schaller, 1995. - 155 S. - Текст : непосредственный.Волгин Л.И. АМ-алгебра и ее применения : Две лекции по курсу "Логические основы и модели нейронных сетей" / Л.И.Волгин, 1997. - 51 с. - Текст : непосредственный.Гончаров С.С. Счетные булевы алгебры и разрешимость / С.С.Гончаров, 1996. - 361 с. - Текст : непосредственный.Липачева Е.В. Группы рекурсивных автоморфизмов и полугруппы частичных автоморфизмов булевых алгебр / Е.В.Липачева, 1996. - 37 с. - Текст : непосредственный.Гороховская Н.Г. О понятии "быть свободной алгеброй" в HF-логике / Н.Г.Гороховская,В.Н.Ремесленников, 1995. - 21 c. - Текст : непосредственный.Алаев П.Е. Сложные булевы алгебры с малым рангом / П.Е.Алаев, 1998. - 12 с. - Текст : непосредственный.Винокуров С.Ф. Полиномиальные разложения булевых функций по образам неоднородных операторов / С.Ф.Винокуров,Н.А.Перязев, 1998. - 24 с. - Текст : непосредственный.Перязев Н.А. Слабоповторные булевы функции в бинарном базисе / Н.А.Перязев, 1998. - 12 с. - Текст : непосредственный.Власов В.Н. Конструктивизируемость булевых алгебр элементарной характеристики (1,0,1) / В.Н.Власов, 1998. - 40 с. - Текст : непосредственный.Romanski S. Algorytm wyszukiwania minimalnych punktow monotonicznej funkcji boolowskiej i jego zastosowania / S.Romanski, 1991. - 100 s. - Текст : непосредственный.Шевелев, Ю. П. Высшая математика : Учеб.пособие для студентов техн.вузов, для сред.шк. 5 : Дискретная математикаЧ. 1. Теория множеств. Булева алгебра (для автоматизированной технологии обучения), 1998. - 114 с. - Текст : непосредственный.
Показать все результатыKanovich M.I. Fast theorem proving in intuitionistic propositional logic / M.I.Kanovich, 1991. - 16 p. - Текст : непосредственный.Groote J.F. propositional formula checker HeerHugo / J.F.Groote,J.P.Warners, 1999. - 18 p. - Текст : непосредственный. Bauer F.L. Elementare Aussagenlogik / F.L.Bauer,M.Wirsing, 1991. - X,228 p. p. - Текст : непосредственный.Осокин В.В. О расшифровке логических функций : автореф. дис. .. канд. физ.-мат. наук : 01.01.09 / В. В. Осокин, 2011. - 16 с. - Текст : непосредственный.Pogorzelski W.A. Completeness theory for propositional logics / W. A. Pogorzelski, P. Wojtylak, 2008 r=on-lineРазработка и программная реализация эффективных дискретных алгоритмов минимизации булевых функций в классе полиномиальных нормальных форм с фиксированной полярностью : автореф. дис. .. канд. техн. наук : 05.13.18 / А. А. Акинин, 2013. - 18 с. - Текст : непосредственный.Верхние и нижние оценки на схемную сложность явно заданных булевых функций : автореф. дис. .. канд. физ.-мат. наук : 01.01.06 / Е. А. Деменков, 2013. - 10 с. - Текст : непосредственный.Об алгоритмической сложности распознавания свойств дискретных функций, заданных полиномами : автореф. дис. .. канд. физ.-мат. наук : 01.01.09 / А. В. Бухман, 2013. - 16 с. - Текст : непосредственный.Иванисова О.В. Математическая логика. Алгебра высказываний : учеб. пособие / О. В. Иванисова, И. В. Сухан, Г. Г. Кравченко, 2017. - 129 с.Маслова, Ирина Игоревна. О классах сверхфункций на двухэлементном множестве / И. И. Маслова, 2020. - 29 с. - Текст (визуальный) : непосредственный.Логика высказываний и булевы алгебры : учебное пособие / Д. В. Гринченков, Д. Н. Кущий, О. С. Тушканова, А. Ю. Мезенцева, 2022. - 99 с. - Текст (визуальный) : непосредственный.Быстрыгова, Анастасия Викторовна. Параметро-эффективная расшифровка булевых функций : специальность 1.1.5. - "Математическая логика, алгебра, теория чисел и дискретная математика" : автореферат диссертации на соискание ученой степени кандидата физико-математических наук / Быстрыгова Анастасия Викторовна, 2022. - 26 с. - Текст : непосредственный.Баротов, Достонжон Нумонжонович. О неравенствах между выпуклыми вогнутыми и полилинейными продолжениями булевых функций / Д. Н. Баротов, В. А. Судаков, 2024. - 13 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Трифонова, Екатерина Евгеньевна. О возможности построения произвольной пятеричной дроби с помощью индуцированных вероятностных функций / Е. Е. Трифонова, 2025. - 40 с. - Текст (визуальный) : непосредственный.Рыбаков, Николай Сергеевич. Введение в логику высказываний : учебное пособие / Н. С. Рыбаков, 2020. - 167 с. - Текст (визуальный) : непосредственный.Чикаке, Тендай Мапунгвана. Псевдобулевский полиномиальный подход к решению задач компьютерного зрения : специальность 2.3.5. Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей : автореферат диссертации на соискание учёной степени кандидата технических наук / Чикаке Тендай Мапунгвана, 2025. - 20 с. - Текст : непосредственный.
Заказ фрагмента документа ₽