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

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

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

Disgrifiad llawn

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	Гуров, С. И. (070)
Fformat:	Книга
Pynciau:	логика алгебра формула метатеория семантический метод
Mynediad Ar-lein:	Перейти к просмотру издания
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

Eitemau Tebyg

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Логика высказываний и булевы алгебры учебное пособие
gan: Гринченков Д. В.
Cyhoeddwyd: (2022)

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

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

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

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

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

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

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

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

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

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

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

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

Математическая логика
gan: Лихтарников Л. М., et al.

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

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

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

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

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

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