Обучение программированию — работа в Москве
Дата: 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
Похожие заказы
Машинное обучение
дистанционно
договорная
Для себя Машинное обучение, нейронные сети
Москва
Репетиторы
2025-05-18
Обучение тестированию программного обеспечения
дистанционно
договорная
Для себя
Санкт-Петербург
Репетиторы
2025-05-18
Обучение Python
на дому
договорная
Для себя Написать программу для Raspbery Pi. Функционал: Установка интеграции с программой 1С-фитнесс, получение информации о бронированиях спортивной площадки. (тайм-слоты) Функционал включения освещение: Настройка часов сумеречного времени. (каждый день по разному) Подача сигнала на управление реле Shelly 2,5 для включения освещения на площадке (в вечернее время) в оплаченное клиентом время. Подача сигнала на управление реле Shelly 2,5 для включения включения и выключения дежурного освещения мест общего пользования (в темное время суток), выключение в 23.30. Настройка звуковых сигналов: За 5 минут до окончания времени бронирования : звуковой mp3 сигнал. При детекции движения на площадке при условии что посещение не оплачено - звуковой сигнал: "внимание произведите оплату", и отправка информации о событии в ТГ администратору.
Москва
Репетиторы
2025-05-17
Обучение языку Go
дистанционно
от 1000.00 руб.
Для парня Хочу подарить своему молодому человеку несколько встреч с ментором для помощи в поиске работы/стажировке в качестве разработчика go Технический знания у него на высоком уровне , так как любые тестовые задания ( от таких компаний как Авито, ВК , Яндекс и др) он всегда выполняет и успешно проходит на следующий этап Возможно ему чего то не хватает, какой то мелочи , которая мешает перейти рубеж , поэтому я думаю что специалист сможет помочь объяснить что говорить на собеседованиях )
Москва
Репетиторы
2025-05-17
Обучение языку R
дистанционно
договорная
Для себя Необходимо написать финальную работу по курсу Structural equation modelling (SEM) в программе RStudio Для этого нужно сформировать модель с 5 latent constructs, подтвердить ее теоретически (анализ литературы), а затем провести EFA, CFA и SEM анализ. Мы предоставим файл с данными, а также файл с описанием используемых переменных. В качестве примера оформления и процедур, которые необходимо использовать мы дадим тексты наших промежуточных отчетов во время курса и код в Rstudio.
Санкт-Петербург
Репетиторы
2025-05-17
Обучение C++
дистанционно
договорная
Для себя Хочу научиться программировать на C++ с нуля до профессионального уровня. Есть базовое понимание основ, но часто допускаю ошибки при написании кода. Хочу системно изучить язык, начиная с азов, чтобы закрыть пробелы и структурировать знания. В дальнейшем планирую углубиться в разработку ПО и освоить фреймворки. Нужна помощь с объяснением зачем для чего используется, разбор ошибок и рекомендациями по эффективному написанию.
Москва
Репетиторы
2025-05-17