✍ Scribed by Гудстейн Р.Л. (Goodstein R.L.)
No coin nor oath required. For personal study only.
Математическая логика
📜 SIMILAR VOLUMES
Аннотация: Книга предназначена для учащихся техникумов по специальности'Прикладная математика? и содержит теоретический материал, соответствующий программе курса'Математическая логика', а также упражнения для активного усвоения курса н приобретения необходимых навыков. Изложение базируется на знания
Книга посвящена детальному изложению всего круга проблем, связанных с так называемым методом резолюций. Этот метод наиболее известен и широко используется в современных работах по доказательству на ЭВМ математических теорем и вообще при построении систем <искусственного интеллекта>. Описываются прим
Философия математики. Логика. Математический анализ. Математическая логика. Теория множеств. Математическая абстракция. Теория алгоритмов. Философские исследования.
Конспект лекций, читавшихся автором в 1998 году на первом курсе механико-математического факультета и в течение ряда лет на филологическом факультете МГУ.