04.03.2025 Четвертая лекция по математической логике (метод резолюций в логике высказываний)

Name: 04.03.2025 Четвертая лекция по математической логике (метод резолюций в логике высказываний)
Uploaded: 2025-03-04T18:47:59+03:00
Duration: 1 h 24 min 51 s
Description: 04.03.2025 Четвертая лекция по математической логике (метод резолюций в логике высказываний)