Логика высказываний учебное пособие

Логика высказываний учебное пособие

Предлагаемое учебное пособие предназначено для студентов, начинающих изучать математическую логику, оно также может быть использовано при самообразовании. Подчёркиваются алгебраические аспекты исчислений высказываний классической и интуиционистской логик. Изложены методы характеризации формул логики...

保存先:

書誌詳細
第一著者:	Гуров, С. И. (070)
フォーマット:	Книга
主題:	логика алгебра формула метатеория семантический метод
オンライン･アクセス:	Перейти к просмотру издания
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

類似資料

Математическая логика учебное пособие
著者:: Алябьева, В. Г.

Приложения алгебры высказываний в математической логике учебно-методическое пособие
著者:: Кислицин, А. В.

Математическая логика учебное пособие для спо
著者:: Алаев, П. Е.

Математическая логика учебное пособие
著者:: Афанасьев, С. Г.

Математическая логика учебное пособие для спо
著者:: Афанасьев, С. Г.

Математическая логика. В 2 частях. Ч.1 учебное пособие
著者:: Алаев, П. Е.

Математическая логика и теория алгоритмов учебник
著者:: Горюшкин, А. П.

Семантический дифференциал как метод психодиагностики учебно-методическое пособие для студентов-психологов

Математическая лингвистика и автоматическая обработка текстов на естественном языке учебное пособие
著者:: Батура, Т. В.

Математическая логика и теория алгоритмов учебное пособие
著者:: Михальченко, Г. Е.

Математическая логика и теория алгоритмов учебное пособие
著者:: Перемитина, Т. О.

Логика учебное пособие
著者:: Светлов, В. А.

Математическая логика и теория алгоритмов учебное пособие
著者:: Вайнштейн, Ю. В.

Логика диссертации учебное пособие
著者:: Синченко, Г. Ч.

Математическая логика и теория алгоритмов учебное пособие
著者:: Зюзьков, В. М.

Математическая логика и теория алгоритмов учебно-методическое пособие
著者:: Геут, К. Л.

Математическая логика учебное пособие
著者:: Хворостухина, Е. В.

Математическая логика учебное пособие
著者:: Унучек, С. А.

Семантический анализ и поиск графической информации монография
著者:: Кучуганов, А. В.

Основы семантического анализа музыкальных произведений практикум для студентов очной и заочной форм обучения укрупненной группы направлений 53.03.00 «музыкальное искусство»
著者:: Умнова, И. Г.

Логика высказываний и булевы алгебры учебное пособие
著者:: Гринченков Д. В.
出版事項: (2022)

Лекции по дискретной математике. Математическая логика учебное пособие
著者:: Зарипова, Э. Р.

Логика учебник
著者:: Дегтярев, М. Г.

Краткий курс алгебры и геометрии. Примеры, задачи, тесты учебное пособие
著者:: Никонова, Н. В.

Трехзначные семантики для классической логики высказываний
著者:: Девяткин, Л. Ю.

Логика учебное пособие
著者:: Гриценко, В. П.

Логика учебное пособие
著者:: Спирин, А. Д.

Логика учебное пособие
著者:: Клепикова, Л. В.

Прикладная логика учебное пособие
著者:: Непейвода, Н. Н.

Математическая логика учебное пособие
著者:: Ткаченко, С. В.

Типовые задачи по теме «Алгебра логики» и «Логические основы ЭВМ» (на базе тестов ФЕПО) учебное пособие
著者:: Гаврилова, О. В.

Логика учебник
著者:: Антюшин, С. С.

Логика планы семинарских занятий
著者:: Беляев, И. А.

Математическая логика
著者:: Лихтарников Л. М., 等

Квазиматричная (квазифункциональная) логика
著者:: Ивлев, Ю. В.

Математическая логика. Курс лекций. Задачник-практикум и решения
著者:: Лихтарников Л. М.
出版事項: (2022)

Практическая логика учебное пособие
著者:: Светлов, В. А.

Логика учебно-методическое пособие
著者:: Кузнецова, Е. В.

Логика учебное пособие
著者:: Довгаленко, Н. В.

Логика экзаменационные ответы для студентов
著者:: Светлов, В. А.