Вводный курс теоретической информатики: логика высказываний и предикатов, доказательства, множества, дискретные структуры и вычислимость. Материал на английском языке; доступ к оригиналу указан в источниках.
Впечатления, вопросы и разговор о прочитанном.
Действия с комментарием: правая кнопка мыши или Shift + F10. На телефоне нажмите значок реакции или удерживайте комментарий.
Задайте вопрос или поделитесь тем, что осталось с вами после чтения.
Насколько хорошо этот материал помогает разобраться в каждом вопросе?
Краткие аннотации и разные подходы к содержанию. Выше показываются описания с лучшими оценками полезности.