Libros / IA y ML / Aprendizaje automático

IA y ML

Todo Lenguajes de programación. 1874IA y ML 894Desarrollo de software 611Algoritmos y teoría 548Desarrollo web. 472DevOps e Infraestructura 367Otro 269Ciberseguridad 233SO y Sistema 214Desarrollo de videojuegos 187Bases de datos 157Sistemas embebidos. 153Gestión de TI 110
Todo Ciencia de Datos 307Aprendizaje automático 171LLM 129Redes neuronales 97Visión por computadora 41ChatGPT 39TensorFlow 30PyTorch 23Procesamiento del Lenguaje Natural 21MLOps 19Pandas 9Agentes de IA 1
Todo 2026 92025 172024 372023 202022 102021 122020 162019 82018 62017 32016 32015 32014 12012 12011 32009 12008 11990 1
RU
Lógica y computadora: Modelado del razonamiento y verificación de la corrección de programas

Lógica y computadora: Modelado del razonamiento y verificación de la corrección de programas

A

N.A. Aleshina, A.M. Anisov, P.I. Bystrov, I.A. Gerasimova, V.S. Meskov, N.N. Nepeyvoda, V.A. Smirnov, V.N. Stebletsova, V.I. Shalak

IA y ML

Puntuación de calidad del PDF:

A Excelente — texto copiable, TOC, metadatos B Bueno — texto presente, faltan algunos datos C Promedio — el texto es parcialmente extraíble D Pobre — muy probablemente un escaneo F Escaneo sin OCR — el texto no se puede extraer