В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней наук. Состоит из трех частей: "Теория множеств", "Математическая логика" и "Теория алгоритмов". Задачи снабжены указаниями и ответами. Все необходимые определения сформулированы в кратких теоретических введениях к каждому параграфу. Сборник может быть использован как учебное пособие для математических факультетов университетов, педагогических институтов, а также в технических вузах при изучении кибернетики и информатики. Для математиков - алгебраистов, логиков и кибернетиков.
V knige v forme zadach sistematicheski izlozheny osnovy teorii mnozhestv, matematicheskoj logiki i teorii algoritmov. Kniga prednaznachena dlja aktivnogo izuchenija matematicheskoj logiki i smezhnykh s nej nauk. Sostoit iz trekh chastej: "Teorija mnozhestv", "Matematicheskaja logika" i "Teorija algoritmov". Zadachi snabzheny ukazanijami i otvetami. Vse neobkhodimye opredelenija sformulirovany v kratkikh teoreticheskikh vvedenijakh k kazhdomu paragrafu. Sbornik mozhet byt ispolzovan kak uchebnoe posobie dlja matematicheskikh fakultetov universitetov, pedagogicheskikh institutov, a takzhe v tekhnicheskikh vuzakh pri izuchenii kibernetiki i informatiki. Dlja matematikov - algebraistov, logikov i kibernetikov.
