Обучение программированию — работа в Москве
Дата: 2025-04-13
Детали
Регион
Москва
Занятость
дистанционно
Стоимость
договорная
Дата публикации
2025-04-13
Описание
Язык программирования: Lean Для себя Здравствуйте! Интересует доказательство логических утверждений с помощью прувера Lean. Пример: https://live.lean-lang.org/#codez=HYQwtgpgzgDiDGEAEBRAHhATvAllCArAFABuImOIARgDbIAUgY8BKATwEoD3ASAXEgAqYB7GAEoiAegC0RAJLAkAFwAWeJBDSJMUHIiQBPAQFckAdxw0aSGIIEAzJFAGRLgmAK3ycA4FCIGtwAHMkEDRPMCgkW2CqKHlMBHlnITccDy8QC3gM+AMaPwAaIhw5JRU1LFx8JD8QAOQokGBdBQTtCMaAEyQAIhsDYG6kPCIbAUwqHA6OiGB8vUNI4BpmrLk/ZBCwiOmbYoguqggaAWMiegSDDOXgiP0jOnJgfaG5eBoQKAiAWV4kRRg/jAAI5IVZIQ5IABWfkSxgo8nkMxugJB/zmVAMsOQxkaiK68gEqjAcFK+F8UFq9Tsm0cUDmDhM8OQP0BKNEEjERCINLASAAggBGJD0NjMHj8ITCbjCtiAJMJhcx5SxhKIefyAEwypDMdjilxSnj0JiykWy9gq4Qm43Kk2MM0q7mhRz8gDMWsYesl0qNABqbfQfYwVVaAzbtZblUQdkgWQBvAEgz0wAC+wv+0pEaeBGaQ8qBBqQiYAvCjAVzxFIABJYZAEpIkYpBByQUqBEzYswWdY9JQQMYQMCDYqxCAgLpRbpqcAwOiDJQgRJ3ADkJGQD0wTy6xVB70+ADokAAVRQQIjQfDADwZJAdHA2Gw14A6FTzxK9/u8xQfJCgSBzTpDIkYIQusXS1CAxT/rcCymOY9gQMg25TsSdDgkcJx7jI8hLhEUC6JemwRC+J5IKM5gnI2XBcu+mADj0v5UgoJ4foMPDdLEC4DjMb5fouCzkMgAQCI2CiElYAi2KxJbdOJklEByXKSEQ1a0cEqnyMYYnWDYERRHajBzLsmiJPQr5DBE7yHHQ+IEFKKi3g20xbpehL4BQ0CRHYxSIpgkC3pxTF9rR4SgmMtGwF4t5tnWI4wD4ZnLquN5eIhry7hEMWKCcTEqDYCQHnywD4iR+DwJF5mqJ83GUOYzS9vY4DIBiiTbilSA0HsmEKRWIw4MZ8mcjRdHyEKhrGka+mWkGwYTbasrTXN03cEWRBIBqCrzVKzCMEQQ28vImreoqwrGkG8pLVwK1rYK2obUGu3McFChumNdqnTNk0GldMa/KZmpBsKI3hg9QXDQALEdi0qstq38kK20gx+CgEJDAOXbDLKmRDAOmW6909aVkUDYjT2JIak0w2tmP0Dd23Q/QmO03d9N8pq723dNXJrUpAByJxzOJDbRSeVRqFY56eN4cx3KCjQ3hAuxPPYjipT5YCTJQiIk8NhJgCAADWyCyXYYD9kgtFjtQdAHgAmgsX5JXWtEzggyAOJgmDNKYSjcnIFzXsbxPa7yIDegGk2bZdyse7oilSLIqgYNgeAeVQ+SAIIga0yw7GxTKkkvXh8UAGMSaTeExC7zEYYLrHMJ6qTL/SjJg8j9Jx1zN4gHS7YScKpMgECrp7rZBK1SsdU86IQFk3Z7clHnAAIiRXNldbdkXJcwGXkSYlo0yecEgUfl1g2PXRVBpqN2qysqabqlwLD2tKCq5hwwhR+7nvlnP8CX9Kx0ilfuad+Wp5RMCASqD+YVY7UTPryLoho/SykDJaa078SyfxgWeIqqAk6VEIOWLkDFYCu1wVgLQiAABsPUE6kkTuQ7QyAZYr2MM8NeVRej9EGABDoXglzL3Iqw/EhJ15OnCPSQkOdSL9HZJyMgFArYMD5EgAAQkgAAwtKCUIg47KRrBVOWyEZzIGJnPAQPA3qMEABREt8o70D6HIRQAouDMEAGWESAADymA9zFAsE40QsDQYh3JjY1BLArFowwdA7+cDwTk0AORENoxRRJjjEoJoIEnmitI/LJTAbH2i+tHL+XIZhdHQAwqhRAgA
Похожие заказы
Обучение Python
дистанционно
договорная
Для себя Написать программу
Санкт-Петербург
Репетиторы
2025-04-16
Обучение Python
дистанционно
договорная
Подготовка к экзамену
Москва
Репетиторы
2025-04-16
Обучение программированию
дистанционно
договорная
Язык программирования: Создать видео Для себя Ищу специалиста, который обучит созданию видео и контента с помощью ИИ. Хочу освоить современные инструменты (например, нейросети, генераторы изображений, видео и текстов), научиться создавать интересный, качественный контент для соцсетей и других платформ. Интересует пошаговое обучение с примерами, желательно в простом и понятном формате. Рассматриваю онлайн-формат. Уровень — пользователь.
Москва
Репетиторы
2025-04-15
Обучение Wordpress
дистанционно
от 500.00 руб.
Для работы Нужно сделать сайт онлан - галерею наподобие https://www.artnet.com/ или https://aramegallery.com/. Я на вордпресс работать могу, но сайт - галерею не делала никогда и не знаю, подходит ли вордпресс для этих целей. Если подходит, то сколько будет стоить онлайн поддержка для создания такого сайта? Заранее благодарна.
Москва
Репетиторы
2025-04-15
Обучение Python
дистанционно
договорная
Для себя Хочу сменить деятельность. сложность в том, что английский знаю со словарем. Кроме того нужны соответствующие программы в которых выполнять задания и тренироваться. готова изучать, но я с пустыми руками (имеется только комп со стандартным набором и интернет). Обучение с нуля, но с постоянной поддержкой специалиста.
Москва
Репетиторы
2025-04-15
Обучение программированию
от 2000.00 руб.
Язык программирования: авторская программа Для ребёнка Ищу талантливого преподавателя, который сможет провести двухнедельные летние интенсивы по программированию в г. Дедовск. Занятость 3 часа в день 5 раз в неделю. По готовой программе.
Москва
Репетиторы
2025-04-15
Обучение Python
на дому или дистанционно
от 500.00 руб.
для учёбы в колледже Научиться самой реализовывать коды, разбирать темы по python. у меня в колледже с первого курса резко начали, а я не разбираюсь в этом вообще, но очень хочу разобраться. помогите, пожалуйста 🙏
Москва
Репетиторы
2025-04-15