S SmartDocs

Linguaggi di programmazione

Tutorial su Python, C, C++, Java, JavaScript, TypeScript, Go, R e Haskell — dalla sintassi di base alle tecniche avanzate.

Go Aggiornato 2026-04-18

Chapter 6 — Binary Heap Priority Queue

A binary heap is an arraybased complete binary tree that satisfies the heap property:

Leggi l'articolo →
Go Aggiornato 2026-04-18

Chapter 7 — Balanced Binary Search Tree AVL

A binary search tree BST stores keys so that for every node N:

Leggi l'articolo →
Go Aggiornato 2026-04-18

Chapter 8 — Graphs

A graph is a set of vertices connected by edges. Edges may be:

Leggi l'articolo →
Go Aggiornato 2026-04-18

Design considerations & assumptions

This document satisfies the Checkout.com offline assessment request to capture key design considerations and assumptions.

Leggi l'articolo →
Go Aggiornato 2026-04-18

Payment Gateway Challenge Go + Echo + PostgreSQL

Implementation of the Checkout.com offline paymentgateway assessmenthttps://github.com/ckorecruitment/offlinecodinginterviewpreparation, using Go, Echo, PostgreSQL, and the official Mountebank bank simulator from the ref

Leggi l'articolo →
Imperative Languages Aggiornato 2026-05-05

2nd Revision 2021 — 題目說明與詳解

課程:5CCS2PLD Programming Language Design Paradigms,King's College London 講者:Maribel Fernández & Odinaldo Rodrigues 題目來源:2ndrevision2021.pdf共 4 題 官方參考:2ndrevision2021answers.pdfsketch of sample solutions 本文件依題目 PDF 與官方 ske

Leggi l'articolo →
Imperative Languages Aggiornato 2026-05-06

Imperative Languages — Formal Description using Abstract Machines

課程: 5CCS2PLD Programming Language Design Paradigms 學校: Department of Informatics, King's College London 主題: 以抽象機器(Abstract Machine)給予 SIMP 語言形式化的操作語義 本檔目的: 以 PDF 投影片內容為主幹,補完投影片未完整展開的推導、加入網路教材中常見的補充說明,並附高密度模擬考題與詳解。

Leggi l'articolo →
Imperative Languages Aggiornato 2026-04-23

結構化操作語意學 Structural Operational Semantics, SOS

課程來源:King's College London — Imperative Languages, Maribel Fernández 核心教科書:Glynn Winskel, The Formal Semantics of Programming Languages Chapter 2 & 4 經典原始論文:Gordon D. Plotkin, A Structural Approach to Operational Semanti

Leggi l'articolo →
Imperative Languages Aggiornato 2026-04-28

Week 5 Revision — 題目說明與詳解

課程: 5CCS2PLD Programming Language Design Paradigms(Maribel Fernández) 來源: Week 5 revision tasks(歷屆試題精選) 本文依題目 PDF 與參考答案 PDF 整理,並補上較完整的推導與概念說明。

Leggi l'articolo →
Imperative Languages Aggiornato 2026-04-30

函數式程式設計:型別與語意 Types and Semantics

課程來源:5CCS2PLD — Programming Language Design Paradigms,King's College London 講者:Dr. Odinaldo Rodrigues / Prof. Maribel Fernández 對應講義:Week7TYPESANDSEMANTICS.pdf共 84 頁,4 小節:7.1–7.4 本份教材以「先理解、再形式化、再實作」的順序,把講義中的所有定義、規則、範例、練習

Leggi l'articolo →
Imperative Languages Aggiornato 2026-05-06

Exam May 2024 — 題目說明與詳解

課程:5CCS2PLD Programming Language Design Paradigms,King's College London 講者:Maribel Fernández & Odinaldo Rodrigues 題目來源:exam2024.pdf共 2 大題、10+ 子題,本身附帶官方 sample answer 本文件依考題重新整理,補上完整概念複習、推導步驟、AST 圖、SLDtree 與計算過程,適合期末/期中考前

Leggi l'articolo →
Imperative Languages Aggiornato 2026-05-06

Exam May 2025 — 題目說明與詳解

課程:5CCS2PLD Programming Language Design Paradigms,King's College London 講者:Maribel Fernández & Odinaldo Rodrigues 題目來源:exam2025.pdf共 2 大題、9 子題;附官方 sample answer 本文件依考題重新整理,補上完整概念複習、AST 圖、推導樹與 SLDtree、Prolog 追蹤過程,適合期末/期中考

Leggi l'articolo →
Java Aggiornato 2026-04-07

Baasid後端面試題目v1.1

用戶於登入系統請求成功後,Server 產生 JWT token 回傳給客戶端,且之後的CRUD Request 都需帶入 Token 取得 Response Data

Leggi l'articolo →
Java Aggiornato 2026-04-07

Baasid 後端面試專案 — 交付摘要

psql U postgres c "CREATE DATABASE baasid;"

Leggi l'articolo →
Java Aggiornato 2026-04-09

Docker 與 Baasid 專案容器化說明

本文說明 Docker 是什麼、為何使用,以及如何在本專案(Spring Boot + PostgreSQL + Gradle)中 建置映像、執行容器,並逐項解釋相關指令與檔案。專案根目錄已提供:

Leggi l'articolo →
Java Aggiornato 2026-04-07

Baasid 後端面試專案

Language: Java 21 Framework: Spring Boot 3.4 Database: PostgreSQL Security: JWT jjwt API Documentation: Swagger / OpenAPI 3 springdoc Build Tool: Gradle

Leggi l'articolo →
Java Aggiornato 2026-04-07

Java 完整語法教材

本教材涵蓋 Java SE 的完整語法,從基礎到進階,適合初學者與有經驗的開發者參考。 範例基於 Java 17+(LTS),並涵蓋至 Java 21 的新特性。

Leggi l'articolo →
JavaScript Aggiornato 2026-02-03

🎉 JavaScript Full Curriculum COMPLETE

I've successfully created 8 complete modules with 80 detailed lessons and extensive code examples. This represents 100% of the entire curriculum and provides students with comprehensive JavaScript and fullstack developme

Leggi l'articolo →
JavaScript Aggiornato 2026-02-03

🎯 JavaScript Full Curriculum Complete Package

I've created a comprehensive JavaScript curriculum package that includes:

Leggi l'articolo →
JavaScript Aggiornato 2026-02-03

🚀 Quick Start Guide for Instructors

This JavaScript curriculum is designed to take students from absolute beginners to fullstack developers. Here's how to use it effectively:

Leggi l'articolo →
JavaScript Aggiornato 2026-02-03

🎯 JavaScript Full Curriculum MAJOR MILESTONE ACHIEVED

I've successfully created 6 complete modules with 60 detailed lessons and extensive code examples. This represents 75% of the entire curriculum and provides students with comprehensive JavaScript and fullstack developmen

Leggi l'articolo →
JavaScript Aggiornato 2026-02-03

🎯 JavaScript Full Curriculum — "From Zero to FullStack Ready"

A comprehensive, handson JavaScript curriculum designed to take students from absolute beginners to fullstack developers ready for production work.

Leggi l'articolo →
JavaScript Aggiornato 2026-02-03

Module 1: JavaScript Foundations

Goal: Understand JavaScript syntax, variables, operators, and basic programming logic.

Leggi l'articolo →
JavaScript Aggiornato 2026-02-03

Lesson 1: Introduction to Programming & JavaScript

By the end of this lesson, you will be able to:

Leggi l'articolo →