Математическая логика

✍ Гудстейн Р.Л. (Goodstein R.L.) 📂 Library 📅 1961 🏛 Инязлит 🌐 Russian ⚖ 4 MB

✍ Никольская И.Л. 📂 Library 📅 1981 🏛 Высшая школа 🌐 Russian ⚖ 1 MB

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

Математическая логика и теория алгоритмо

Математическая логика и теория алгоритмов

✍ Галиев Ш.И. 📂 Library 📅 2002 🌐 Russian ⚖ 7 MB

Математическая логика и автоматическое д

Математическая логика и автоматическое доказательство теорем

✍ Чень Ч., Ли Р. 📂 Library 📅 1983 🌐 Russian ⚖ 4 MB

Книга посвящена детальному изложению всего круга проблем, связанных с так называемым методом резолюций. Этот метод наиболее известен и широко используется в современных работах по доказательству на ЭВМ математических теорем и вообще при построении систем <искусственного интеллекта>. Описываются прим

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

✍ Харин Н.Н. 📂 Library 📅 1963 🏛 Росвузиздат 🌐 Russian ⚖ 2 MB

Философия математики. Логика. Математический анализ. Математическая логика. Теория множеств. Математическая абстракция. Теория алгоритмов. Философские исследования.

Математическая логика. Курс лекций

✍ Плиско В.Е. 📂 Library 📅 2004 🌐 Russian ⚖ 731 KB

Конспект лекций, читавшихся автором в 1998 году на первом курсе механико-математического факультета и в течение ряда лет на филологическом факультете МГУ.