Обучение программированию — работа в Москве
Дата: 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
дистанционно
от 1000.00 руб.
Для себя Подготовка к независимому экзамену по питону при вузе( питон без библиотек)
Москва
Репетиторы
2025-05-15
Обучение Lua
дистанционно
от 1000.00 руб.
Для себя Обучение в программирование на языке Lua.
Москва
Репетиторы
2025-05-15
Обучение программированию
дистанционно
от 1000.00 руб.
Язык программирования: Python Для работы
Москва
Репетиторы
2025-05-15
Обучение веб-программированию
договорная
Для работы Результатом работы специалиста должно быть обучение и способность ученика делать одностраничные сайты с некоторыми элементами графики и дизайна. С помощью нейросети обязательно нейросети чтобы можно было просто ставить задачи и результатом этой работы был одностраничный сайт. То есть на входе сайта нет. На выходе сайт есть
Москва
Репетиторы
2025-05-14
Обучение программированию
дистанционно
от 300.00 руб.
Язык программирования: Git hub Для себя Дистанционно проконсультировать, как размещать проекты на гит хабе, запросы пул-реквест - код пишем в vs code, автоматически подгружаем в гит хаб. Объяснить и показать на практике, как осуществляется командная работа в гит.
Москва
Репетиторы
2025-05-14
Обучение программированию
договорная
Язык программирования: Python Для ребёнка С нуля обучить ребёнка основам программирования в целом на любом языке. Желательно сразу двух детей 8 и 11 лет (последовательно).
Москва
Репетиторы
2025-05-14
Обучение веб-программированию
дистанционно
от 1000.00 руб.
Для себя При выполнении лабораторной работы возникла ошибка при подключении к php-файлу в браузере. Выдаёт ошибку SQLSTATE[08006] [7] метод аутентификации 10 не поддерживается
Новосибирск
Репетиторы
2025-05-14