Взаимосвязь курсов информатики и логикидоклад на конференции