Лев Беклемишев - Беседы о логике. Часть 2 из 2. Беседует Николай Андреев
Беседы о логике. Часть 2 из 2.
Какую роль сыграла логика в создании компьютеров и языков программирования? Какие области современной науки и техни...
5 months ago 00:51:33 1
8 months ago 00:03:19 1
9 months ago 00:03:32 1
11 months ago 01:04:17 11
11 months ago 00:52:51 19
2 years ago 00:51:56 1
2 years ago 00:03:47 1
2 years ago 00:38:38 10
3 years ago 00:57:30 1
3 years ago 01:17:01 1
4 years ago 01:31:23 31
4 years ago 00:59:51 10
5 years ago 00:55:14 45
5 years ago 00:10:56 1
6 years ago 00:13:43 23
7 years ago 01:20:04 15
![Доказуемость и модальная логика [4] // Лев Беклемишев](https://sun9-39.userapi.com/1adLxjdNu9di_mJSqQer8OehlwuCKtoBMc1PTA/eSk3ncsBqhc.jpg)
7 years ago 01:18:52 9
![Доказуемость и модальная логика [3] // Лев Беклемишев](https://sun9-42.userapi.com/moHexLXFLmQm3ifJhxUy-DKAOYZgtDi5TYbVug/ebHMWYYKZFA.jpg)
7 years ago 01:14:46 12
![Доказуемость и модальная логика [2] // Лев Беклемишев](https://sun9-3.userapi.com/Q0dzN-nWTwbhAG0_f158ivjfruPA0r0yvsjlgg/4AyuoSbHUrc.jpg)
7 years ago 01:13:32 27
![Доказуемость и модальная логика [1] // Лев Беклемишев](https://sun9-77.userapi.com/1kvUudDS_npyInmLmwxY9G_yJX_M9q_I2H-I4w/uTjz-WsCw8Y.jpg)
7 years ago 01:02:20 10
7 years ago 00:57:03 11
![Алгебры доказуемости [2] // Лев Беклемишев](https://sun9-15.userapi.com/fFXaOm_hVX4RGALuuta_HiOwk_-j5RT8thM5DA/OozKegSEWCs.jpg)
7 years ago 00:59:10 23
![Алгебры доказуемости [1] // Лев Беклемишев](https://sun9-41.userapi.com/NY35Aiof6oH8nibFNA9e94xmGBVxwHGU-Cxc9g/lqUUU1JlvoM.jpg)
8 years ago 01:21:29 27
![[Коллоквиум]: Строго позитивные фрагменты модальных и дескрипционных логик](https://sun9-72.userapi.com/O2qVYylu3ZTDZLIjC01hWR160e7eKIbh_W9KqQ/DN6aY_8fQv8.jpg)