Математическая логика и теория алгоритмов учебное пособие

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

Ful tanımlama

Kaydedildi:

Detaylı Bibliyografya
Yazar:	Ярахмедов Г. А.
Materyal Türü:	Книга
Dil:	Russian
Baskı/Yayın Bilgisi:	Махачкала ДГПУ 2024
Konular:	множества операции над множествами алгебра множеств высказывания формулы эквивалентные формулы полные системы операций взаимно обратные теоремы закон двойственности булевы функции булева алгебра переменных нормальные формы булевых функций системы булевых функций теорема поста о полноте системы булевых функций переключательных схем принцип соответствия в математической логике и теории множеств предикаты операции над предикатами равносильные формулы общезначимости и выполнимости формул понятие выводимости правила вывода теорема геделя аксиоматические теории формализованное исчисление высказываний система аксиом формализованного исчисления высказываний теория формального вывода свойства формализованного исчисления высказываний формализованное исчисление предикатов алгоритмы вычислимые функции разрешимые и перечислимые множества вычислимые и рекурсивные функции машины тьюринга нормальные алгоритмы маркова методы математической логики и теории алгоритмов для пополнения и представления знаний
Online Erişim:	https://e.lanbook.com/book/442706 https://e.lanbook.com/img/cover/book/442706.jpg
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Internet

https://e.lanbook.com/book/442706
https://e.lanbook.com/img/cover/book/442706.jpg

Математическая логика и теория алгоритмов учебное пособие

Internet

Benzer Materyaller